Mul x0 Add -1.00000979354521 Pow Mul pi acosh x0 Add Mul -2 x0 5 
Add Add -1.00000979354521 Pow Mul pi acosh x0 Add Mul -2 x0 5 Mul x0 Mul Pow Mul pi acosh x0 Add Add Mul -2 x0 5 -1 Add Mul Add Mul -2 x0 5 Mul pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Mul pi acosh x0 log Mul pi acosh x0 -2 