/ Y:{[x;y;z]x[y][x y]z}{[x;y;z]x[{[x;y]x[x]y}y]z} Y:(:x[y][x y]z)(:x[(:x[x]y)y]z) fac::$[~y;1;y*x y-1] Y[fac]5