variadic symbolic differentiation