tan Mul acoth tan Mul Mul 2 x0 tanh x0 atan tanh x3 
Mul Pow sec Mul acoth tan Mul Mul 2 x0 tanh x0 atan tanh x3 2 Mul atan tanh x3 Mul Mul Pow sec Mul Mul 2 x0 tanh x0 2 Add Mul tanh x0 2 Mul Mul 2 x0 Pow sech x0 2 Pow Add 1 Mul -1 Mul tan Mul Mul 2 x0 tanh x0 tan Mul Mul 2 x0 tanh x0 -1 