Complex library mapping for embedded software using symbolic algebra