Performs one beta reduction in the binary