Mul Pow Pow cosh E Mul cos sinh x0 x1 x0 Mul x3 -2 
Mul Mul x3 -2 Mul Pow Pow cosh E Mul cos sinh x0 x1 Add x0 -1 Add Mul x0 Mul Pow cosh E Add Mul cos sinh x0 x1 -1 Mul Mul cosh E log cosh E Mul x1 Mul Mul -1 sin sinh x0 cosh x0 Mul Pow cosh E Mul cos sinh x0 x1 log Pow cosh E Mul cos sinh x0 x1 