Added inverse rules to test Eclass

Author: JJponce0913

src/core/egg-herbie.rkt

@@ -1271,14 +1271,15 @@
           ; Checks both status and val-points
          (when (and (equal? (cdr val-point) (cdr val-point2))
                     (not (equal? (car val-point) (car val-point2))))
-          (displayln "__________________")
+           (displayln "__________________")
            (display "prog:")
            (displayln prog)
            (display "diff:")
            (displayln diff)
+           (when (not (equal? diff #f))
            (if (equal? (first diff) -0.0)
-               (displayln (format "Expr 1: ~a Expr 2: ~a" (car val-point) (car val-point2)));insert match statement to check for patterns ex- x+0 -> x
-               (displayln "NO")))))
+               (format "Expr 1: ~a Expr 2: ~a" (car val-point) (car val-point2));insert match statement to check for patterns ex- x+0 -> x
+               (displayln "NO"))))))
      l]
     [`(multi . ,extractor) ; multi expression extraction
      (define regraph (make-regraph egg-graph))