antiderivative of sin(x^3)