in src/math_verify/grader.py [0:0]
def sort_key(x): try: return default_sort_key(unwrap_eq(x).evalf()) except Exception: return default_sort_key(unwrap_eq(x))