"During the proof search" vs "during searching the proof"

I am writing an academic paper and use "during searching the proof" in my paper.
But my friend suggested me to use "during the proof search".
I also feel "during the proof search" is better than "during searching the proof",
but I cannot understand the reason for my feeling.

Could you give me some suggestions? Thanks in advance!