Autotiling getting better