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