Simplify (x+3)-((x+2)(x^3-1))