Tan2x formula in calculus