The ti89 solves limits correctly, so it is possible. A side note, I already am working on a cas (gCAS2) for GlassOS, which runs oncalc and on PC. I haven't worked on it recently, but it can parse, create a node tree, simplify and approximate it, and create output, including steps in simplifying the problem... :-D