Mul Pow sec cot sec x0 cosh Mul x0 Mul 3 x6 x0 
Add Mul x0 Mul Pow sec cot sec x0 Add cosh Mul x0 Mul 3 x6 -1 Add Mul cosh Mul x0 Mul 3 x6 Mul Mul tan cot sec x0 sec cot sec x0 Mul Mul -1 Pow csc sec x0 2 Mul tan x0 sec x0 Mul Mul sec cot sec x0 log sec cot sec x0 Mul sinh Mul x0 Mul 3 x6 Mul 3 x6 Pow sec cot sec x0 cosh Mul x0 Mul 3 x6 