Pow Add Pow acot Add x2 pi Add x7 Mul Add 1 acos x0 Mul x0 -1 3 7.38905609893065 
Mul Pow Add Pow acot Add x2 pi Add x7 Mul Add 1 acos x0 Mul x0 -1 3 6.38905609893065 Mul 7.38905609893065 Mul Pow acot Add x2 pi Add Add x7 Mul Add 1 acos x0 Mul x0 -1 -1 Mul Mul acot Add x2 pi log acot Add x2 pi Add Mul Mul x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add 1 acos x0 -1 