Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification

Ben Ruijl, Jos Vermaseren, Aske Plaat +1

In many applications of computer algebra large expressions must be simplified to make repeated numerical evaluations tractable. Previous works presented heuristically guided improv…