UFL is a domain specific language for declaration of finite element discretizations of variational...