Mul x0 cosh cosh Pow Mul Mul asec Add x6 -1 x0 x0 Mul -3 x2 
Add cosh cosh Pow Mul Mul asec Add x6 -1 x0 x0 Mul -3 x2 Mul x0 Mul sinh cosh Pow Mul Mul asec Add x6 -1 x0 x0 Mul -3 x2 Mul sinh Pow Mul Mul asec Add x6 -1 x0 x0 Mul -3 x2 Mul Pow Mul Mul asec Add x6 -1 x0 x0 Add Mul -3 x2 -1 Mul Mul -3 x2 Add Mul x0 asec Add x6 -1 Mul asec Add x6 -1 x0 