i'm really curious about what could possibly be the use case for this. it seems like a giant pain-in-the-ass way to do symbolic algebra, so i'm trying to figure it out. apparently you need to regularly perform symbolic derivations which mma can do, but the free alternatives (octave, sage, etc.) cannot; however, your uptime and latency requirements are low enough that you are willing to deal with a duct-tape ssh solution. i really have no idea why anyone would want to do this. care to enlighten me?