The top documents tagged [substitute x x y2]