Add Pow cosh Pow Mul E -3 Pow x0 cosh E Mul x0 cosh x0 x0 
Add Mul Pow cosh Pow Mul E -3 Pow x0 cosh E Add Mul x0 cosh x0 -1 Add Mul Mul x0 cosh x0 Mul sinh Pow Mul E -3 Pow x0 cosh E Mul Pow Mul E -3 Add Pow x0 cosh E -1 Mul Mul Mul E -3 log Mul E -3 Mul Pow x0 Add cosh E -1 cosh E Mul Mul cosh Pow Mul E -3 Pow x0 cosh E log cosh Pow Mul E -3 Pow x0 cosh E Add cosh x0 Mul x0 sinh x0 1 