Řešením se rozumí automatická optimalizace stromových struktur. Je to pravděpodobně nejpokročilejší vlastnost Syntanu. Defaultně je zapnutá a může být zapnuta či vypnuta z hlavního menu-nastav-řešit(CTRL-O).
Je-li řešení zapnuto, jsou stromové struktury generované syntaktickým analyzátorem systematicky optimalizovány z různých hledisek tak, aby výsledná struktura byla co nejjednodušší.
Dobu potřebnou k vytvoření stromových struktur to sice prodlouží (až na několik vteřin – podle rychlosti PC a složitosti struktur), ale čas výpočtu se zkrátí, protože výsledné struktury jsou jednodušší. Protože počet vyčíslení bývá velký, je zrychlení významné.
Optimalizační proces zkouší: vyrušit výrazy, je-li to možné ( f – f = 0 ) vykrátit zlomky, je-li to možné ( f / f = 1, vykrátit polynomy největším společným dělitelem (GCD). POZOR na póly a nulové body!) napřímit vnořené inverzní funkce, neovlivní-li to jejich definiční obor (např. sqrt(sqr(f)) = abs(f)) objevit polynomy a převést je do Hornerova tvaru aplikovat komutativní zákon tak, aby stejné funkce měly stejnou stromovou strukturu, ačkoli jsou různě zapsány aplikovat asociativní zákon – sloučit ekvivalentní výrazy (např. sin(f)*3+7+ln(f)-sin(f)-3 = ln(f)+2*sin(f)+4) použít některé vzorce (např. sqr(sin(f)) + sqr(cos(f)) = 1)
Pozn. 1: Nastavení hlavní menu-nastav-radikálně(CTRL-R) dovoluje optimalizátoru změnit definiční obor funkcí (např. anihilaci pólů a nulových bodů). Defaultně je vypnuto. Pozn. 2: Proces optimalizace není vždy úspěšný. Existují funkce, na jejichž řešení je příliš hloupý. Syntan bohužel nepodporuje distributivní zákon a zatím není založen na principech umělé inteligence. Nicméně je to výzva pro případná budoucí vylepšení.
"Řešení" je velmi praktické - aplikace řeší úlohy analyticky a tato vlastnost umožňuje prezentovat uživateli vyřešené výsledky.