Pow atanh x7 Mul coth Pow x0 Add x0 sqrt x3 Pow x7 Mul x2 2 
Mul Pow atanh x7 Add Mul coth Pow x0 Add x0 sqrt x3 Pow x7 Mul x2 2 -1 Mul Mul atanh x7 log atanh x7 Mul Pow x7 Mul x2 2 Mul Mul -1 Pow csch Pow x0 Add x0 sqrt x3 2 Mul Pow x0 Add Add x0 sqrt x3 -1 Add Add x0 sqrt x3 Mul x0 log x0 