Pow Mul acos x0 Mul acot x6 log Add -4 x0 Mul E 9 
Mul Pow Mul acos x0 Mul acot x6 log Add -4 x0 Add Mul E 9 -1 Mul Mul E 9 Add Mul Mul acot x6 log Add -4 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul acot x6 Pow Add -4 x0 -1 