How do you integrate int tan^2x?