Added symbolic arithmetic and differentiation