Mul Pow x1 Pow x7 Mul x0 Pow Mul acos exp x0 x0 4 x2 
Mul x2 Mul Pow x1 Add Pow x7 Mul x0 Pow Mul acos exp x0 x0 4 -1 Mul Mul x1 log x1 Mul Pow x7 Add Mul x0 Pow Mul acos exp x0 x0 4 -1 Mul Mul x7 log x7 Add Pow Mul acos exp x0 x0 4 Mul x0 Mul Pow Mul acos exp x0 x0 3 Mul 4 Add Mul x0 Mul -1 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 acos exp x0 