3 ms·

I tried it with symengine as a GHC(Haskell) Type checker plugin. But it was just too limited to be worthwhile.