Application of Symbolic Finite Element Tools to Nonlinear Hyperelasticity