* UOp pattern x + x -> x * 2 now there's no NEG, with this it covers all kinds of a*x+b*x * can remove x-x
gunzip
fetch
__len__