NEAT: A Framework for Automated Exploration of Floating Point Approximations. - Saeid Barati 001; Lee Ehudin; Hank Hoffmann (CoRR, 2021)