How do you integrate tan^4x dx?