Oh okay, I see. If the automatic replacement does not work, that means, the theme probably has an integrated search bar in the header, which is not possible to replace via hooks. Probably the only way to replace that is manually via a child theme by editing the source files.
You might have to ask the theme developer which is the corresponding file to edit. After that, I can suggest a possible modification to it to replace the search with the plugin shortcode.