Mul x0 Mul Mul x0 x5 Mul pi Mul Pow x7 sec cot sec x0 -4 
Add Mul Mul x0 x5 Mul pi Mul Pow x7 sec cot sec x0 -4 Mul x0 Add Mul Mul pi Mul Pow x7 sec cot sec x0 -4 x5 Mul Mul x0 x5 Mul pi Mul -4 Mul Pow x7 Add sec cot sec x0 -1 Mul Mul x7 log x7 Mul Mul tan cot sec x0 sec cot sec x0 Mul Mul -1 Pow csc sec x0 2 Mul tan x0 sec x0 