Add Mul Mul x0 Pow sqrt Pow acos E x0 Mul x4 x0 x2 Pow Mul x0 x4 -5 
Add Mul x2 Add Pow sqrt Pow acos E x0 Mul x4 x0 Mul x0 Mul Pow sqrt Pow acos E x0 Add Mul x4 x0 -1 Add Mul Mul x4 x0 Mul Pow Mul 2 sqrt Pow acos E x0 -1 Mul Pow acos E Add x0 -1 Mul acos E log acos E Mul Mul sqrt Pow acos E x0 log sqrt Pow acos E x0 x4 Mul Pow Mul x0 x4 6 Mul -5 x4 