REMaQE - Reverse Engineering Math Equations from Executables