SYMbolic Computer Algebra system (for embedded systems)