Symbolic derivatives and the rust rewrite of RE · HackerTrans