sinh Pow Mul x0 Mul tan x5 x0 cot x0 
Mul cosh Pow Mul x0 Mul tan x5 x0 cot x0 Mul Pow Mul x0 Mul tan x5 x0 Add cot x0 -1 Add Mul cot x0 Add Mul tan x5 x0 Mul x0 tan x5 Mul Mul Mul x0 Mul tan x5 x0 log Mul x0 Mul tan x5 x0 Mul -1 Pow csc x0 2 