atanh Add Mul asec x0 Mul x2 E tanh Pow x0 x6 
Mul Add Mul Mul x2 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow sech Pow x0 x6 2 Mul Pow x0 Add x6 -1 x6 Pow Add 1 Mul -1 Mul Add Mul asec x0 Mul x2 E tanh Pow x0 x6 Add Mul asec x0 Mul x2 E tanh Pow x0 x6 -1 