Overflow check removal and mathematical identities