expreduce
                                
                                
                                
                                    expreduce copied to clipboard
                            
                            
                            
                        Rubi`Private`Rt[(a^2*(-1)*(a+b)),2] hangs
Traces down to
Rubi`Private`SplitProduct[Rubi`Private`NegativeQ,` (-1*a^2*(a + b))]
should not return false.
Traces to the fact that
Rubi`Private`NegativeQ[-1]
incorrectly returns False