Mul Add x0 Mul Pow Add Pow 2 acosh x0 Add x5 Mul 2.09439510239320 x6 pi x0 0.660597742583251 
Mul 0.660597742583251 Add 1 Add Mul x0 Mul Pow Add Pow 2 acosh x0 Add x5 Mul 2.09439510239320 x6 Add pi -1 Mul pi Mul Pow 2 Add acosh x0 -1 Mul 2.69314718055995 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add Pow 2 acosh x0 Add x5 Mul 2.09439510239320 x6 pi 