Why Local Search Excels in Expression Simplification

Understand

Simplifying expressions is important to make numerical integration of large expressions from High Energy Physics tractable.

• To this end, Horner's method can be used.
• Finding suitable Horner schemes is assumed to be hard, due to the lack of local heuristics.
• Recently, MCTS was reported to be able to find near optimal schemes.