Add -3 Mul atan sin Pow cot atan x0 x0 x0 
Add Mul x0 Mul Mul cos Pow cot atan x0 x0 Mul Pow cot atan x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csc atan x0 2 Pow Add 1 Mul x0 x0 -1 Mul cot atan x0 log cot atan x0 Pow Add 1 Mul sin Pow cot atan x0 x0 sin Pow cot atan x0 x0 -1 atan sin Pow cot atan x0 x0 