ddx x2x+3