def top_down_once(rule, fns=basic_fns):
    return do_one(rule, lambda expr: sall(top_down(rule, fns), fns)(expr))
Apply a rule down a tree - stop on success
dataset/ETHPy150Open sympy/sympy/sympy/strategies/traverse.py/top_down_once