Low Power Embedded Software Optimization Using Symbolic Algebra | Synapse