supersimplify

not defined yet