Mul cosh Pow Mul cosh x0 x0 x4 Mul Pow x7 Mul -2 sech x5 x0 
Add Mul Mul Pow x7 Mul -2 sech x5 x0 Mul sinh Pow Mul cosh x0 x0 x4 Mul Pow Mul cosh x0 x0 Add x4 -1 Mul x4 Add Mul x0 sinh x0 cosh x0 Mul cosh Pow Mul cosh x0 x0 x4 Pow x7 Mul -2 sech x5 