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