Sound Mixed-Precision Optimization with Rewriting | IEEE Conference Publication | IEEE Xplore