only use SymPy matching if necessary