The top documents tagged [arithmetic formulassame]