Title: Mining Mathematics Simplified