How do I evaluate int(sec^2(x))/(tan^2(x)) d x?