Mul acos x0 Mul Add Pow x1 x0 Mul x0 Pow Mul x5 x5 x0 4 
Add Mul Mul Add Pow x1 x0 Mul x0 Pow Mul x5 x5 x0 4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul 4 Add Mul Pow x1 Add x0 -1 Mul x1 log x1 Add Pow Mul x5 x5 x0 Mul x0 Mul Pow Mul x5 x5 Add x0 -1 Mul Mul x5 x5 log Mul x5 x5 