csc log Mul Pow tan sec x0 x0 cosh x7 
Mul Mul Mul -1 cot log Mul Pow tan sec x0 x0 cosh x7 csc log Mul Pow tan sec x0 x0 cosh x7 Mul Mul cosh x7 Mul Pow tan sec x0 Add x0 -1 Add Mul x0 Mul Pow sec sec x0 2 Mul tan x0 sec x0 Mul tan sec x0 log tan sec x0 Pow Mul Pow tan sec x0 x0 cosh x7 -1 