fix(opensmt/egraph/EgraphStore.C): fix math function names(asin =>arcsin, etc)