Mám takovou trochu humpoláckou možnost, ale za pokus to možná stojí.
PDFCreator - tisk. Zvolit formát PNG, nastavit rozlišení 600dpi (na texty je 150 i 300dpi málo). Výsledný png otevřít (já používám XnView), znovu tisk v PDFCreator, tentokrát do PDF, opět nastavit 600dpi (tiskneš už jen obrázky).
Ve výsledném PDF už nepůjde nijak označit text, vše jsou obrázky, ale to snad nevadí. PDF bude také řádově, a to opravdu (20-30kb versus 800kb na stránku), větší - jsou to všechno bitmapy.
edit: Nevýhoda je, že se na obrázky převede všechno, ne jen ty vzorce, proto to bude dost velké.
edit2: A je to po jedné stránce, to je asi k ničemu, při tom množství...