atanh Mul Mul cosh cosh x1 Pow 0.0400000000000000 x0 x0 
Mul Add Mul x0 Mul cosh cosh x1 Mul Pow 0.0400000000000000 Add x0 -1 -3.17887582486820 Mul cosh cosh x1 Pow 0.0400000000000000 x0 Pow Add 1 Mul -1 Mul Mul Mul cosh cosh x1 Pow 0.0400000000000000 x0 x0 Mul Mul cosh cosh x1 Pow 0.0400000000000000 x0 x0 -1 