Pow Add acos Pow x7 x4 Pow Mul -1 acot x4 pi Add -3 x0 
Mul Pow Add acos Pow x7 x4 Pow Mul -1 acot x4 pi Add Add -3 x0 -1 Mul Add acos Pow x7 x4 Pow Mul -1 acot x4 pi log Add acos Pow x7 x4 Pow Mul -1 acot x4 pi 