Mul Add 0.995054753686730 Add x0 x2 Mul sqrt atanh x0 Add Add x3 sech x6 x0 
Add Mul sqrt atanh x0 Add Add x3 sech x6 x0 Mul Add 0.995054753686730 Add x0 x2 Add Mul Add Add x3 sech x6 x0 Mul Pow Mul 2 sqrt atanh x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 sqrt atanh x0 