atanh Add sqrt Mul Mul E Pow sech x0 x3 x0 sech x0 
Mul Add Mul Pow Mul 2 sqrt Mul Mul E Pow sech x0 x3 x0 -1 Add Mul x0 Mul E Mul Pow sech x0 Add x3 -1 Mul x3 Mul tanh x0 Mul -1 sech x0 Mul E Pow sech x0 x3 Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul Add sqrt Mul Mul E Pow sech x0 x3 x0 sech x0 Add sqrt Mul Mul E Pow sech x0 x3 x0 sech x0 -1 