acosh Mul Mul 0.756802495307928 x0 Add Pow sqrt x0 -2 Pow x2 2 
Mul Add Mul Add Pow sqrt x0 -2 Pow x2 2 0.756802495307928 Mul Mul 0.756802495307928 x0 Mul Pow sqrt x0 3 Mul -2 Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add Mul Mul 0.756802495307928 x0 Add Pow sqrt x0 -2 Pow x2 2 -1 sqrt Add 1 Mul Mul 0.756802495307928 x0 Add Pow sqrt x0 -2 Pow x2 2 -1 