How do you find the antiderivative of int (cos^2x-sin^2x)dx from [0,pi/6]?