Mul Pow Mul cosh x0 Pow x1 Mul x0 Add -4 x0 4 x0 
Add Mul x0 Mul Pow Mul cosh x0 Pow x1 Mul x0 Add -4 x0 3 Mul 4 Add Mul Pow x1 Mul x0 Add -4 x0 sinh x0 Mul cosh x0 Mul Pow x1 Add Mul x0 Add -4 x0 -1 Mul Mul x1 log x1 Add Add -4 x0 x0 Pow Mul cosh x0 Pow x1 Mul x0 Add -4 x0 4 