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