The top documents tagged [x lnx y2]