Mul Pow x4 Pow sqrt x0 acos acot Add Mul Mul x0 sqrt x1 Pow Pow x6 x4 x4 x0 x4 
Mul x4 Mul Pow x4 Add Pow sqrt x0 acos acot Add Mul Mul x0 sqrt x1 Pow Pow x6 x4 x4 x0 -1 Mul Mul x4 log x4 Mul Pow sqrt x0 Add acos acot Add Mul Mul x0 sqrt x1 Pow Pow x6 x4 x4 x0 -1 Add Mul acos acot Add Mul Mul x0 sqrt x1 Pow Pow x6 x4 x4 x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul -1 Mul Mul -1 Mul Add Mul Pow Pow x6 x4 x4 sqrt x1 1 Pow Add 1 Mul Add Mul Mul x0 sqrt x1 Pow Pow x6 x4 x4 x0 Add Mul Mul x0 sqrt x1 Pow Pow x6 x4 x4 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot Add Mul Mul x0 sqrt x1 Pow Pow x6 x4 x4 x0 acot Add Mul Mul x0 sqrt x1 Pow Pow x6 x4 x4 x0 -1 