On the diversity and frequency of code related to mathematical formulas in real-world Java projects.