3 ms·

The Math PhD one reminds me of the sorts of symbolic algebra systems that you find in Haskell and Scala.