Mul Pow Add -0.250000000000000 Add sech x0 x0 x2 atanh Add x0 x0 
Add Mul atanh Add x0 x0 Mul Pow Add -0.250000000000000 Add sech x0 x0 Add x2 -1 Mul x2 Add Mul tanh x0 Mul -1 sech x0 1 Mul Pow Add -0.250000000000000 Add sech x0 x0 x2 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 