Is 'separable_reduced' a method that can ever be used to solve `eq`?