copilotmathematical invariant example - Search