def METHOD_NAME():
    analyzer = tvm.arith.Analyzer()
    x = te.var("x", dtype="int8")
    m = analyzer.modular_set((x * 3).astype("uint32"))
    assert m.coeff == 3
    assert m.base == 0
    m = analyzer.modular_set((x * 3 + 1).astype("float32").astype("int32"))
    assert m.coeff == 3
    assert m.base == 1