Simplify (4+3x^2+8x^3)+(-7x^3+12x^5+6x^2)