The top documents tagged [total number of equations]