Mul x5 Add Pow Mul x0 x4 coth Add x0 x1 sech Pow Mul atanh x1 x0 atanh x0 
Mul x5 Add Mul Pow Mul x0 x4 Add coth Add x0 x1 -1 Add Mul coth Add x0 x1 x4 Mul Mul Mul x0 x4 log Mul x0 x4 Mul -1 Pow csch Add x0 x1 2 Mul Mul tanh Pow Mul atanh x1 x0 atanh x0 Mul -1 sech Pow Mul atanh x1 x0 atanh x0 Mul Pow Mul atanh x1 x0 Add atanh x0 -1 Add Mul atanh x0 atanh x1 Mul Mul Mul atanh x1 x0 log Mul atanh x1 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 