Pow sec x0 Pow Mul x0 log x0 Mul x0 5 
Mul Pow sec x0 Add Pow Mul x0 log x0 Mul x0 5 -1 Add Mul Pow Mul x0 log x0 Mul x0 5 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Pow Mul x0 log x0 Add Mul x0 5 -1 Add Mul Mul x0 5 Add log x0 Mul x0 Pow x0 -1 Mul Mul Mul x0 log x0 log Mul x0 log x0 5 