Use std::map for Mul instead of std::unordered_map

This seems to speedup things a bit.