fix(opensmt): fix math function names(arcsin => asin)

We allow both of arcsin and asin for smt2 formula. But internally, we
only use asin (atan, atan2, matan, etc).