in reply to solving system of equations with complex expressions
Speaking of Wolfram|Alpha, that could be a solution to your problem. instead of creating a symbolic evaluation engine, maybe you can consume it's API