What is the integral of int tan^3 (2x) sec 2x dx?