Envers currently does not permit the use of @Formula on an audited field. From the Envers perspective, perhaps we could simple store a snapshot of the formula value so that those fields could be supported when audited?