4 ms·

I got a pretty good idea from skimming the FriCAS book: http://fricas.sourceforge.net/doc/index.html http://fricas.sourceforge.net/doc/index.html