How do you find the antiderivative of 1−cos(4x)?