Pow Pow Add acosh x0 -0.00800000000000000 x0 6 
Mul Pow Pow Add acosh x0 -0.00800000000000000 x0 5 Mul 6 Mul Pow Add acosh x0 -0.00800000000000000 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Add acosh x0 -0.00800000000000000 log Add acosh x0 -0.00800000000000000 