Tan2x formula proof