Pow atanh x6 csch Mul atanh Add Add 16 Mul -3 Pow x0 -2 x7 x2 
Mul Pow atanh x6 Add csch Mul atanh Add Add 16 Mul -3 Pow x0 -2 x7 x2 -1 Mul Mul atanh x6 log atanh x6 Mul Mul Mul -1 coth Mul atanh Add Add 16 Mul -3 Pow x0 -2 x7 x2 csch Mul atanh Add Add 16 Mul -3 Pow x0 -2 x7 x2 Mul x2 Mul Mul -3 Mul Pow x0 3 -2 Pow Add 1 Mul -1 Mul Add Add 16 Mul -3 Pow x0 -2 x7 Add Add 16 Mul -3 Pow x0 -2 x7 -1 