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