Mul Mul Add acot Pow Pow acos x3 x0 x0 x0 tan Pow x3 Mul x2 x0 x0 
Add Mul x0 Add Mul tan Pow x3 Mul x2 x0 Add Mul -1 Mul Mul Pow Pow acos x3 x0 Add x0 -1 Add Mul x0 Mul Pow acos x3 Add x0 -1 Mul acos x3 log acos x3 Mul Pow acos x3 x0 log Pow acos x3 x0 Pow Add 1 Mul Pow Pow acos x3 x0 x0 Pow Pow acos x3 x0 x0 -1 1 Mul Add acot Pow Pow acos x3 x0 x0 x0 Mul Pow sec Pow x3 Mul x2 x0 2 Mul Pow x3 Add Mul x2 x0 -1 Mul Mul x3 log x3 x2 Mul Add acot Pow Pow acos x3 x0 x0 x0 tan Pow x3 Mul x2 x0 