Symbolic computation of a finite element