Mul Mul Pow tanh acosh x0 0.00390625000000000 -5 Pow 2 x0 
Add Mul Pow 2 x0 Mul -5 Mul Pow tanh acosh x0 -0.996093750000000 Mul 0.00390625000000000 Mul Pow sech acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow tanh acosh x0 0.00390625000000000 -5 Mul Pow 2 Add x0 -1 2.69314718055995 