Add Add x0 Mul acot x0 cot Pow acos x0 5 Pow x0 x2 
Add Add 1 Add Mul cot Pow acos x0 5 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Mul -1 Pow csc Pow acos x0 5 2 Mul Pow acos x0 4 Mul 5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x0 Add x2 -1 x2 