Mul Pow Pow sqrt Mul x4 acos x0 x0 Pow x7 Mul x0 x0 exp x7 
Mul exp x7 Mul Pow Pow sqrt Mul x4 acos x0 x0 Add Pow x7 Mul x0 x0 -1 Add Mul Pow x7 Mul x0 x0 Mul Pow sqrt Mul x4 acos x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Mul x4 acos x0 -1 Mul x4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul sqrt Mul x4 acos x0 log sqrt Mul x4 acos x0 Mul Mul Pow sqrt Mul x4 acos x0 x0 log Pow sqrt Mul x4 acos x0 x0 Mul Pow x7 Add Mul x0 x0 -1 Mul Mul x7 log x7 Add x0 x0 