Mul Pow x0 cot sec Mul x0 E Add x0 x5 
Add Mul Add x0 x5 Mul Pow x0 Add cot sec Mul x0 E -1 Add cot sec Mul x0 E Mul Mul x0 log x0 Mul Mul -1 Pow csc sec Mul x0 E 2 Mul Mul tan Mul x0 E sec Mul x0 E E Pow x0 cot sec Mul x0 E 