I know you've used similar symbol creation methods in previous heuristics, but I'm just noticing a problem with it. If you have power going into double digits, you can have ambiguous symbols, like `chi111`. I think you'd need to either use a Dummy instead of a Symbol, or you can put in a delimiter, so it'd be `chi_1_11`.