Mul cot x0 cot Mul Mul Mul x0 x0 Add cos x0 -3 sqrt x1 
Add Mul cot Mul Mul Mul x0 x0 Add cos x0 -3 sqrt x1 Mul -1 Pow csc x0 2 Mul cot x0 Mul Mul -1 Pow csc Mul Mul Mul x0 x0 Add cos x0 -3 sqrt x1 2 Mul sqrt x1 Add Mul Add cos x0 -3 Add x0 x0 Mul Mul x0 x0 Mul -1 sin x0 