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