Pow Mul x0 atan log x0 coth asec Add x3 x0 
Mul Pow Mul x0 atan log x0 Add coth asec Add x3 x0 -1 Add Mul coth asec Add x3 x0 Add atan log x0 Mul x0 Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 Mul Mul Mul x0 atan log x0 log Mul x0 atan log x0 Mul Mul -1 Pow csch asec Add x3 x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x3 x0 Add x3 x0 -1 Add x3 x0 Add x3 x0 -1 