Request for suggestions: algebraic equations in Free42

[Thomas Okken]

It looks like fully emulating the 27S/17B/etc. expression functionality will require implementing direct solutions. It sounds like this is rather simplistic, using additions and subtractions to isolate the unknown on one side of the equals sign, and using exact inverses to get it to its bare form. Is that really all there is to it? Is this documented anywhere?