Ajaxy: Replace existing search bar

Hi,
I’ve installed Ajaxy; the preview looks great.
Renamed searchform.php as searchforma.php.
But how do I replace the existing search bar with Ajaxy?
I intend to use Ajaxy in the header menu.

So, in which file should I paste– <?php get_search_form(); ?>

Please help,
Many Thanks,
Piyush

https://wordpress.org/plugins/ajaxy-search-form/