1+tan^2x=sec^2x