@freemo @Science It just occurred to me that this is not complete. There should be a few more pages. I remember similar TeX documents requiring approximately 3-5 pages of formulas. I had to make Mathematical Models of Malaria outbreaks with different drugs, resistances and other factors that changed the model.
Side Note: this was around the time that I got more heavily involved in CS. I used Axioms to prove that a certain computation could be scaled.