Mul Add Mul Add Pow cot E x0 x1 Mul -3 x0 atan acos acos x0 -4 
Mul -4 Add Add Mul Mul -3 x0 Mul Pow cot E Add x0 -1 Mul cot E log cot E Mul Add Pow cot E x0 x1 -3 Mul Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos x0 acos x0 -1 Pow Add 1 Mul acos acos x0 acos acos x0 -1 