rework sqrt(3):1 handling
correct 2 formulae in _match_div_rewrite