Mul Add x0 Pow x6 Mul x0 cosh x4 Mul Mul -3 Add x0 Pow Mul x0 x1 4 x4 
Add Mul Mul Mul -3 Add x0 Pow Mul x0 x1 4 x4 Add 1 Mul Pow x6 Add Mul x0 cosh x4 -1 Mul Mul x6 log x6 cosh x4 Mul Add x0 Pow x6 Mul x0 cosh x4 Mul x4 Mul -3 Add 1 Mul Pow Mul x0 x1 3 Mul 4 x1 