Pow Mul Mul Mul x3 acosh pi sqrt x0 Add x0 x0 -1.09975017029462 
Mul Pow Mul Mul Mul x3 acosh pi sqrt x0 Add x0 x0 -2.09975017029462 Mul -1.09975017029462 Add Mul Add x0 x0 Mul Mul x3 acosh pi Pow Mul 2 sqrt x0 -1 Mul Mul Mul x3 acosh pi sqrt x0 2 