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