integral((x^3 + 1)cos(x))