Mathway: An In-Depth Analysis of the Popular Math Solver