fix print on unsimplify