atanh Add x5 Mul Mul Mul x0 4 x1 csch x0 
Mul Add Mul csch x0 Mul x1 4 Mul Mul Mul x0 4 x1 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul -1 Mul Add x5 Mul Mul Mul x0 4 x1 csch x0 Add x5 Mul Mul Mul x0 4 x1 csch x0 -1 