This is a neat idea! Although I'd imagine that it'd quickly approach the power of a full computer algebra system.