triple tangent identity