x<<127*y*t
x<<20*t*80*y^8
x**10*y^200*t+20
x**10*y^200*t+20