A mathematical expression search library.