Herbie detects inaccurate expressions and finds more accurate replacements