Search results for automatic differentiation symbolic computation