antiderivative sin^2(x)