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