acos Pow Mul x0 x5 Mul log x0 Mul sqrt Add x0 9 1.88494253942761 
Mul -1 Mul Mul Pow Mul x0 x5 Add Mul log x0 Mul sqrt Add x0 9 1.88494253942761 -1 Add Mul Mul log x0 Mul sqrt Add x0 9 1.88494253942761 x5 Mul Mul Mul x0 x5 log Mul x0 x5 Add Mul Mul sqrt Add x0 9 1.88494253942761 Pow x0 -1 Mul log x0 Mul 1.88494253942761 Pow Mul 2 sqrt Add x0 9 -1 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 x5 Mul log x0 Mul sqrt Add x0 9 1.88494253942761 Pow Mul x0 x5 Mul log x0 Mul sqrt Add x0 9 1.88494253942761 -1 