I reckon we could try changing line 326 to `S.NegativeInfinity*sign(coeff)*S.NegativeOne**(S.One + ex)` and change tests based on the current implementation of line 326 to what we obtain from the new implementation , @faze-geek you could try that .  Maybe this would address the doubt raised above .