REMaQE: Reverse Engineering Math Equations from Executables