Fixed Bug in Simplify
Fixed Bug in Simplify

Simplify previously had some trouble with expressions like (+ (/ x 1) (/
x 1)). Those are now fixed.

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