sec Mul Mul x5 Mul cosh x0 -2 exp Mul 4 x0 
Mul Mul tan Mul Mul x5 Mul cosh x0 -2 exp Mul 4 x0 sec Mul Mul x5 Mul cosh x0 -2 exp Mul 4 x0 Add Mul exp Mul 4 x0 Mul x5 Mul -2 sinh x0 Mul Mul x5 Mul cosh x0 -2 Mul exp Mul 4 x0 4 