What is int tan^3(2x) sec^100(2x) dx?