Mul x0 Add Pow x0 x1 Mul x0 sin Mul cosh x0 log Mul x0 -3 
Add Add Pow x0 x1 Mul x0 sin Mul cosh x0 log Mul x0 -3 Mul x0 Add Mul Pow x0 Add x1 -1 x1 Add sin Mul cosh x0 log Mul x0 -3 Mul x0 Mul cos Mul cosh x0 log Mul x0 -3 Add Mul log Mul x0 -3 sinh x0 Mul cosh x0 Mul -3 Pow Mul x0 -3 -1 