Mul x0 acosh Pow 2 Pow Mul Add x0 pi x0 2.54677820756738 
Add acosh Pow 2 Pow Mul Add x0 pi x0 2.54677820756738 Mul x0 Mul Mul Pow 2 Add Pow Mul Add x0 pi x0 2.54677820756738 -1 Mul 2.69314718055995 Mul Pow Mul Add x0 pi x0 1.54677820756738 Mul 2.54677820756738 Add x0 Add x0 pi Pow Mul sqrt Add Pow 2 Pow Mul Add x0 pi x0 2.54677820756738 -1 sqrt Add 1 Pow 2 Pow Mul Add x0 pi x0 2.54677820756738 -1 