(+ (+ (* (* a a) a) (* (* (* 3 a) b) (+ a b))) (* (* b b) b))