atanh Add x0 asinh Mul Mul x0 coth Mul x2 x7 -2 
Mul Add 1 Mul Mul -2 coth Mul x2 x7 Pow sqrt Add 1 Mul Mul Mul x0 coth Mul x2 x7 -2 Mul Mul x0 coth Mul x2 x7 -2 -1 Pow Add 1 Mul -1 Mul Add x0 asinh Mul Mul x0 coth Mul x2 x7 -2 Add x0 asinh Mul Mul x0 coth Mul x2 x7 -2 -1 