Pow sqrt asech coth Add x0 atan x0 Pow exp E x0 
Mul Pow sqrt asech coth Add x0 atan x0 Add Pow exp E x0 -1 Add Mul Pow exp E x0 Mul Pow Mul 2 sqrt asech coth Add x0 atan x0 -1 Mul Mul Mul -1 Pow csch Add x0 atan x0 2 Add 1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul coth Add x0 atan x0 coth Add x0 atan x0 sqrt Add 1 Mul -1 Pow Mul coth Add x0 atan x0 coth Add x0 atan x0 -1 -1 Mul Mul sqrt asech coth Add x0 atan x0 log sqrt asech coth Add x0 atan x0 Mul Pow exp E Add x0 -1 Mul exp E log exp E 