atanh Mul Mul exp Mul -5 acot atan Add x0 E Add x0 Pow x0 csch x0 4 
Mul Mul 4 Add Mul Add x0 Pow x0 csch x0 Mul exp Mul -5 acot atan Add x0 E Mul -5 Mul -1 Mul Pow Add 1 Mul Add x0 E Add x0 E -1 Pow Add 1 Mul atan Add x0 E atan Add x0 E -1 Mul exp Mul -5 acot atan Add x0 E Add 1 Mul Pow x0 Add csch x0 -1 Add csch x0 Mul Mul x0 log x0 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul -1 Mul Mul Mul exp Mul -5 acot atan Add x0 E Add x0 Pow x0 csch x0 4 Mul Mul exp Mul -5 acot atan Add x0 E Add x0 Pow x0 csch x0 4 -1 