Add x2 Add Mul acot Add Mul x7 x0 Mul Mul x0 x0 log acos x0 Mul sqrt x0 -4 Mul sin Pow x0 -2 3 
Add Add Mul Mul sqrt x0 -4 Mul -1 Mul Add x7 Add Mul log acos x0 Add x0 x0 Mul Mul x0 x0 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow acos x0 -1 Pow Add 1 Mul Add Mul x7 x0 Mul Mul x0 x0 log acos x0 Add Mul x7 x0 Mul Mul x0 x0 log acos x0 -1 Mul acot Add Mul x7 x0 Mul Mul x0 x0 log acos x0 Mul -4 Pow Mul 2 sqrt x0 -1 Mul 3 Mul cos Pow x0 -2 Mul Pow x0 3 -2 