Understanding the Structure of InsightMath