Edd(ddlmZmZddlmZdZdS))exhaust multiplex)top_downcTtttt|S)z Strategy for canonicalization Apply each branching rule in a top-down fashion through the tree. Multiplex through all branching rule traversals Keep doing this until there is no change. )rrmapr)ruless =lib/python3.11/site-packages/sympy/strategies/branch/tools.pycanonr s! 9c(E223 4 44N)corerrtraverserr r r rsH$$$$$$$$55555r