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