Mul Pow acos x3 acot Add x3 Mul acot Mul x1 x0 Add x0 1 -2 
Mul -2 Mul Pow acos x3 Add acot Add x3 Mul acot Mul x1 x0 Add x0 1 -1 Mul Mul acos x3 log acos x3 Mul -1 Mul Add Mul Add x0 1 Mul -1 Mul x1 Pow Add 1 Mul Mul x1 x0 Mul x1 x0 -1 acot Mul x1 x0 Pow Add 1 Mul Add x3 Mul acot Mul x1 x0 Add x0 1 Add x3 Mul acot Mul x1 x0 Add x0 1 -1 