superexpand

not defined yet