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