Mul x0 atanh Pow Mul atanh Mul Add pi x0 csch Add x0 x4 x0 log x0 
Add atanh Pow Mul atanh Mul Add pi x0 csch Add x0 x4 x0 log x0 Mul x0 Mul Mul Pow Mul atanh Mul Add pi x0 csch Add x0 x4 x0 Add log x0 -1 Add Mul log x0 Add Mul x0 Mul Add csch Add x0 x4 Mul Add pi x0 Mul Mul -1 coth Add x0 x4 csch Add x0 x4 Pow Add 1 Mul -1 Mul Mul Add pi x0 csch Add x0 x4 Mul Add pi x0 csch Add x0 x4 -1 atanh Mul Add pi x0 csch Add x0 x4 Mul Mul Mul atanh Mul Add pi x0 csch Add x0 x4 x0 log Mul atanh Mul Add pi x0 csch Add x0 x4 x0 Pow x0 -1 Pow Add 1 Mul -1 Mul Pow Mul atanh Mul Add pi x0 csch Add x0 x4 x0 log x0 Pow Mul atanh Mul Add pi x0 csch Add x0 x4 x0 log x0 -1 