Mul Pow acos Pow Add x7 acot x0 7 Add 4 x0 -1 
Mul -1 Mul Pow acos Pow Add x7 acot x0 7 Add Add 4 x0 -1 Add Mul Add 4 x0 Mul -1 Mul Mul Pow Add x7 acot x0 6 Mul 7 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add x7 acot x0 7 Pow Add x7 acot x0 7 -1 Mul acos Pow Add x7 acot x0 7 log acos Pow Add x7 acot x0 7 