Pow Add x0 Mul 2 x3 Add tanh acosh x0 5.84147098480790 
Mul Pow Add x0 Mul 2 x3 Add Add tanh acosh x0 5.84147098480790 -1 Add Add tanh acosh x0 5.84147098480790 Mul Mul Add x0 Mul 2 x3 log Add x0 Mul 2 x3 Mul Pow sech acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 