fix(opensmt/egraph/EgraphStore.C): fix math function names(asin =>arcsin, etc)
fix(realpaver/rp_expression_symbol): use arcsin instead of asin, etc.