[tomlagier]

It doesn't even "understand" basic math - trivial to test if you give it a sufficiently unique expression (e.g. 43829583 * 5373271).