rewrite_simplify()

%cd ..
import testing

/media/pc/data/lxw/ai/tvm-book/doc/read/arith

import inspect

import pytest

import tvm
import tvm.testing
from tvm import te, tir
from tvm.tir import floordiv as fld
from tvm.tir import floormod as flm
from tvm.tir import truncdiv as tdiv
from tvm.tir import truncmod as tmod

rewrite_simplify() Vector

x, y, z = te.var("x"), te.var("y"), te.var("z")
x64 = te.var("x", dtype="int64")
vx = te.var("vx", dtype="int32x2")
vc = te.var("vc", dtype="uint1")