cosh Mul E Mul coth E Pow Add x0 Add Mul Pow x0 -5 8 x0 x1 
Mul sinh Mul E Mul coth E Pow Add x0 Add Mul Pow x0 -5 8 x0 x1 Mul E Mul coth E Mul Pow Add x0 Add Mul Pow x0 -5 8 x0 Add x1 -1 Mul x1 Add 1 Add Mul 8 Mul Pow x0 6 -5 1 