Learning which common math subexpressions are which builtin math functions, for which data types, in each new programming language, forever.