Triple tangent identity