Okay, that’s probably the case then.
Looks like that native search is within a modal of some sort. You can try enabling the automatic override, if it uses a hook, then it should be possible to replace with the Ajax Search Pro search automatically.
If that does nothing, then look for the theme customizer. Modern themes usually have an editor where you can change the search box – or at least adjust the location to the WooCommerce results page.