Mul -2 exp Add exp asech tanh x0 1.32581766366803 
Mul -2 Mul exp Add exp asech tanh x0 1.32581766366803 Mul exp asech tanh x0 Mul Pow sech x0 2 Pow Mul Mul tanh x0 tanh x0 sqrt Add 1 Mul -1 Pow Mul tanh x0 tanh x0 -1 -1 