3 ms·

Yeah, his first papers and presentations on lisp already delved into basic pattern-based symbolic differentiation. What a brilliant guy...