Mul Mul Add x1 x2 4 Add x1 csc Pow cos x0 Mul acot x0 x2 
Mul Mul Add x1 x2 4 Mul Mul Mul -1 cot Pow cos x0 Mul acot x0 x2 csc Pow cos x0 Mul acot x0 x2 Mul Pow cos x0 Add Mul acot x0 x2 -1 Add Mul Mul acot x0 x2 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul x2 Mul -1 Pow Add 1 Mul x0 x0 -1 