Pow Add sec x0 cosh x6 exp Mul cot x0 x3 
Mul Pow Add sec x0 cosh x6 Add exp Mul cot x0 x3 -1 Add Mul exp Mul cot x0 x3 Mul tan x0 sec x0 Mul Mul Add sec x0 cosh x6 log Add sec x0 cosh x6 Mul exp Mul cot x0 x3 Mul x3 Mul -1 Pow csc x0 2 