Add acosh x0 Mul sinh Pow 2 Add x0 Mul Add sqrt x5 Add x0 x0 -2 x7 
Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul x7 Mul cosh Pow 2 Add x0 Mul Add sqrt x5 Add x0 x0 -2 Mul Pow 2 Add Add x0 Mul Add sqrt x5 Add x0 x0 -2 -1 2.69314718055995 