xabyxadba lujvo

x1 is exactly/approximately a quarter of x2 by standard x3.

Cf. xadba.