Try give a simplified program to the user
Try give a simplified program to the user

Does not simplify if that hurts precision.

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie