Simplify (x^3-3x+1)-(x^3+7-12x)