def top_down(rule, fns=basic_fns):
    return chain(rule, lambda expr: sall(top_down(rule, fns), fns)(expr))
Apply a rule down a tree running it on the top nodes first
dataset/ETHPy150Open sympy/sympy/sympy/strategies/traverse.py/top_down