#2062 implemented an analyzer that tracks the best symbolic expression tree which is not specific to a given problem