Herbie Simplifies mathmatical expressions so as to increase accuracy when calculating floating point numbers https://herbie.uwplse.org/demo/