align code and inline comments
use minpoly as fallback for radsimp; watch for Numbers

- also work with normal form of equation