coexpand

not defined yet