Code for Taylor test in Chapter 3 of "Enhancing Algorithmic Differentiation in the Firedrake Finite Element Framework" - Mohammad Usman (2020)