The top documents tagged [condensed formula]