x-=(1.⁢b1⁢b2⁢…⁢bp-1)⋅2E,