Add exp Pow Add Mul cosh x0 x0 x0 x0 sinh Mul -5 Add x0 sec x4 
Add Mul exp Pow Add Mul cosh x0 x0 x0 x0 Mul Pow Add Mul cosh x0 x0 x0 Add x0 -1 Add Mul x0 Add Add Mul x0 sinh x0 cosh x0 1 Mul Add Mul cosh x0 x0 x0 log Add Mul cosh x0 x0 x0 Mul cosh Mul -5 Add x0 sec x4 -5 