Pow Mul Pow Add x3 4 x4 Mul cosh x0 3 tan x0 
Mul Pow Mul Pow Add x3 4 x4 Mul cosh x0 3 Add tan x0 -1 Add Mul tan x0 Mul Pow Add x3 4 x4 Mul 3 sinh x0 Mul Mul Mul Pow Add x3 4 x4 Mul cosh x0 3 log Mul Pow Add x3 4 x4 Mul cosh x0 3 Pow sec x0 2 