Update math.hs