atanh Add Pow Pow Add -2 Add Pow x3 x0 Add Mul x0 x4 csch x5 x0 x0 x7 
Mul Mul Pow Pow Add -2 Add Pow x3 x0 Add Mul x0 x4 csch x5 x0 Add x0 -1 Add Mul x0 Mul Pow Add -2 Add Pow x3 x0 Add Mul x0 x4 csch x5 Add x0 -1 Add Mul x0 Add Mul Pow x3 Add x0 -1 Mul x3 log x3 x4 Mul Add -2 Add Pow x3 x0 Add Mul x0 x4 csch x5 log Add -2 Add Pow x3 x0 Add Mul x0 x4 csch x5 Mul Pow Add -2 Add Pow x3 x0 Add Mul x0 x4 csch x5 x0 log Pow Add -2 Add Pow x3 x0 Add Mul x0 x4 csch x5 x0 Pow Add 1 Mul -1 Mul Add Pow Pow Add -2 Add Pow x3 x0 Add Mul x0 x4 csch x5 x0 x0 x7 Add Pow Pow Add -2 Add Pow x3 x0 Add Mul x0 x4 csch x5 x0 x0 x7 -1 