ddx x2+3xxx