csch Pow atanh Mul csch x1 Mul Add x0 x0 5 pi 
Mul Mul Mul -1 coth Pow atanh Mul csch x1 Mul Add x0 x0 5 pi csch Pow atanh Mul csch x1 Mul Add x0 x0 5 pi Mul Pow atanh Mul csch x1 Mul Add x0 x0 5 Add pi -1 Mul pi Mul Mul csch x1 7 Pow Add 1 Mul -1 Mul Mul csch x1 Mul Add x0 x0 5 Mul csch x1 Mul Add x0 x0 5 -1 