: 2DUP ( x1 x2 – x1 x2 x1 x2 ) over over ;