sed s/x/2^32-/|bc