Exploiting symmetrization and D-reducibility for approximate logic synthesis