supersimplicity rationalization simplication reduction semidiscretization simplified expression semisimplicity abuse of notation parsimonization implicitization