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