Mul x0 atanh tan Pow acosh Add 3 x0 Mul -3 exp tanh x0 
Add atanh tan Pow acosh Add 3 x0 Mul -3 exp tanh x0 Mul x0 Mul Mul Pow sec Pow acosh Add 3 x0 Mul -3 exp tanh x0 2 Mul Pow acosh Add 3 x0 Add Mul -3 exp tanh x0 -1 Add Mul Mul -3 exp tanh x0 Pow Mul sqrt Add Add 3 x0 -1 sqrt Add 1 Add 3 x0 -1 Mul Mul acosh Add 3 x0 log acosh Add 3 x0 Mul -3 Mul exp tanh x0 Pow sech x0 2 Pow Add 1 Mul -1 Mul tan Pow acosh Add 3 x0 Mul -3 exp tanh x0 tan Pow acosh Add 3 x0 Mul -3 exp tanh x0 -1 