dinvelvi'u lujvo

x1 is the excess money/change after x2 (amount) is removed/subtracted/deducted from x3 by x4

cf. djini velvi'u See also di'ardu'edi'i