It’s called FunSearch because it searches for mathematical functions.
Source link