Searching in tests/pretty/autodiff