Mul tan x0 Mul asec x3 Mul Pow Pow x0 Mul x3 -4 5 -1 
Add Mul Mul asec x3 Mul Pow Pow x0 Mul x3 -4 5 -1 Pow sec x0 2 Mul tan x0 Mul asec x3 Mul -1 Mul Pow Pow x0 Mul x3 -4 4 Mul 5 Mul Pow x0 Add Mul x3 -4 -1 Mul x3 -4 