fix equiv simplification