Mul sec x0 Pow cosh Mul 4 Mul 5 acsc x5 Add Mul x0 x0 x0 
Add Mul Pow cosh Mul 4 Mul 5 acsc x5 Add Mul x0 x0 x0 Mul tan x0 sec x0 Mul sec x0 Mul Pow cosh Mul 4 Mul 5 acsc x5 Add Add Mul x0 x0 x0 -1 Mul Mul cosh Mul 4 Mul 5 acsc x5 log cosh Mul 4 Mul 5 acsc x5 Add Add x0 x0 1 