Add Pow x5 x0 Add acot Pow x7 Mul x0 Mul -3 Mul acos Pow Mul Mul 2 x0 -5 x3 x3 -1 
Add Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul -1 Mul Mul Pow x7 Add Mul x0 Mul -3 Mul acos Pow Mul Mul 2 x0 -5 x3 x3 -1 Mul Mul x7 log x7 Add Mul -3 Mul acos Pow Mul Mul 2 x0 -5 x3 x3 Mul x0 Mul -3 Mul x3 Mul -1 Mul Mul Pow Mul Mul 2 x0 -5 Add x3 -1 Mul x3 3 Pow sqrt Add 1 Mul -1 Mul Pow Mul Mul 2 x0 -5 x3 Pow Mul Mul 2 x0 -5 x3 -1 Pow Add 1 Mul Pow x7 Mul x0 Mul -3 Mul acos Pow Mul Mul 2 x0 -5 x3 x3 Pow x7 Mul x0 Mul -3 Mul acos Pow Mul Mul 2 x0 -5 x3 x3 -1 