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