FErari (Finite Element rearrangement to automatically reduce instructions) generates optimized code for evaluation of the element tensor (element stiffness matrix) and functions as an optimizing backend for FFC.