Pow 5 Mul Pow atanh acos cosh pi Pow 2 x0 0.540302305868140 
Mul Pow 5 Add Mul Pow atanh acos cosh pi Pow 2 x0 0.540302305868140 -1 Mul 6.60943791243410 Mul 0.540302305868140 Mul Pow atanh acos cosh pi Add Pow 2 x0 -1 Mul Mul atanh acos cosh pi log atanh acos cosh pi Mul Pow 2 Add x0 -1 2.69314718055995 