sech exp Add x0 Add -5 Add Mul Pow Mul E atanh x1 -1 Add sech x0 x5 x0 
Mul Mul tanh exp Add x0 Add -5 Add Mul Pow Mul E atanh x1 -1 Add sech x0 x5 x0 Mul -1 sech exp Add x0 Add -5 Add Mul Pow Mul E atanh x1 -1 Add sech x0 x5 x0 Mul exp Add x0 Add -5 Add Mul Pow Mul E atanh x1 -1 Add sech x0 x5 x0 Add 1 Add Mul Pow Mul E atanh x1 -1 Mul tanh x0 Mul -1 sech x0 1 