The top documents tagged [x y2 f1 x]