Generate smaller expressions for bounds of x * constant
Generate smaller expressions for bounds of x * constant

fengzhyuan/Halide,smxlong/Halide,adasworks/Halide,aam/Halide,mcanthony/Halide,kenkuang1213/Halide,dougkwan/Halide,psuriana/Halide,mcanthony/Halide,delcypher/Halide,lglucin/Halide,damienfir/Halide,fengzhyuan/Halide,adasworks/Halide,jiawen/Halide,rodrigob/Halide,damienfir/Halide,dan-tull/Halide,delcypher/Halide,ronen/Halide,mikeseven/Halide,fengzhyuan/Halide,myrtleTree33/Halide,ronen/Halide,smxlong/Halide,tdenniston/Halide,ayanazmat/Halide,kenkuang1213/Halide,tdenniston/Halide,lglucin/Halide,kenkuang1213/Halide,myrtleTree33/Halide,jiawen/Halide,damienfir/Halide,ayanazmat/Halide,tdenniston/Halide,rodrigob/Halide,jiawen/Halide,myrtleTree33/Halide,lglucin/Halide,damienfir/Halide,lglucin/Halide,psuriana/Halide,smxlong/Halide,kgnk/Halide,kenkuang1213/Halide,aam/Halide,mikeseven/Halide,rodrigob/Halide,rodrigob/Halide,adasworks/Halide,gchauras/Halide,smxlong/Halide,myrtleTree33/Halide,tdenniston/Halide,tdenniston/Halide,dougkwan/Halide,delcypher/Halide,kgnk/Halide,dougkwan/Halide,ronen/Halide,jiawen/Halide,dan-tull/Halide,aam/Halide,adasworks/Halide,gchauras/Halide,gchauras/Halide,adasworks/Halide,psuriana/Halide,damienfir/Halide,damienfir/Halide,lglucin/Halide,kgnk/Halide,dan-tull/Halide,kenkuang1213/Halide,mikeseven/Halide,lglucin/Halide,tdenniston/Halide,aam/Halide,adasworks/Halide,kgnk/Halide,delcypher/Halide,ronen/Halide,delcypher/Halide,damienfir/Halide,kenkuang1213/Halide,ayanazmat/Halide,ayanazmat/Halide,tdenniston/Halide,jiawen/Halide,kgnk/Halide,fengzhyuan/Halide,gchauras/Halide,kgnk/Halide,kgnk/Halide,smxlong/Halide,damienfir/Halide,dan-tull/Halide,psuriana/Halide,myrtleTree33/Halide,smxlong/Halide,mcanthony/Halide,fengzhyuan/Halide,myrtleTree33/Halide,kenkuang1213/Halide,rodrigob/Halide,aam/Halide,dougkwan/Halide,mcanthony/Halide,gchauras/Halide,adasworks/Halide,jiawen/Halide,dan-tull/Halide,aam/Halide,ronen/Halide,ronen/Halide,lglucin/Halide,psuriana/Halide,dougkwan/Halide,tdenniston/Halide,psuriana/Halide,ayanazmat/Halide,dougkwan/Halide,dougkwan/Halide,gchauras/Halide,smxlong/Halide,adasworks/Halide,mcanthony/Halide,dan-tull/Halide,psuriana/Halide,ayanazmat/Halide,ronen/Halide,delcypher/Halide,kenkuang1213/Halide,fengzhyuan/Halide,delcypher/Halide,jiawen/Halide,rodrigob/Halide,fengzhyuan/Halide,delcypher/Halide,mikeseven/Halide,ronen/Halide,dan-tull/Halide,dan-tull/Halide,smxlong/Halide,mcanthony/Halide,rodrigob/Halide,aam/Halide,ayanazmat/Halide,ayanazmat/Halide,rodrigob/Halide,myrtleTree33/Halide,fengzhyuan/Halide,mcanthony/Halide,dougkwan/Halide,mcanthony/Halide,myrtleTree33/Halide,kgnk/Halide,mikeseven/Halide