Add Mul x0 Add sech Mul Pow x0 x0 E Mul sqrt x0 Mul acosh x0 2.71828182845905 x0 
Add Add Add sech Mul Pow x0 x0 E Mul sqrt x0 Mul acosh x0 2.71828182845905 Mul x0 Add Mul Mul tanh Mul Pow x0 x0 E Mul -1 sech Mul Pow x0 x0 E Mul E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add Mul Mul acosh x0 2.71828182845905 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul 2.71828182845905 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 