manualintegrate: change `in x.free_symbol` to `x.has`
Spell out cases in manualintegrate.find_substitutions