Remove unnecessary instance.
"Fix" the algebraic simplification test.