Mul x0 Mul sec Mul Mul x0 Add x0 x0 Add cosh Pow x0 4 Add x0 Mul E Pow Pow x2 x0 Mul -4 exp x6 x0 
Add Mul sec Mul Mul x0 Add x0 x0 Add cosh Pow x0 4 Add x0 Mul E Pow Pow x2 x0 Mul -4 exp x6 x0 Mul x0 Add Mul x0 Mul Mul tan Mul Mul x0 Add x0 x0 Add cosh Pow x0 4 Add x0 Mul E Pow Pow x2 x0 Mul -4 exp x6 sec Mul Mul x0 Add x0 x0 Add cosh Pow x0 4 Add x0 Mul E Pow Pow x2 x0 Mul -4 exp x6 Add Mul Add cosh Pow x0 4 Add x0 Mul E Pow Pow x2 x0 Mul -4 exp x6 Add Add x0 x0 Mul x0 2 Mul Mul x0 Add x0 x0 Add Mul sinh Pow x0 4 Mul Pow x0 3 4 Add 1 Mul E Mul Pow Pow x2 x0 Add Mul -4 exp x6 -1 Mul Mul -4 exp x6 Mul Pow x2 Add x0 -1 Mul x2 log x2 sec Mul Mul x0 Add x0 x0 Add cosh Pow x0 4 Add x0 Mul E Pow Pow x2 x0 Mul -4 exp x6 