teach instsimplify to transform (X / Y) * Y to X