Reverted Equival Exchange 3 translation