antiderivative of cos^2(3x) dx