Trouble with Slider Images

Hello,

I am working on a website for a friend and he wanted to get the background image to rotate between 2-4 images.
the website is:
https://www.miamihouseseller.com

I found the code and downloaded a slider plugin and have that code…but I am having a difficult time combining them together.

Here is the code in the template for this background image:

<?php
        $header_image = get_header_image();
        if( !$header_image ) {
          $header_image = get_template_directory_uri() . '/images/big-image.jpg';
        }
      ?>
      <div class="advanced-search-section container" data-stretch="<?php echo $header_image; ?>">

And here is the code with the slider and not sure how to make it work in its place.

<?php
    echo do_shortcode("[metaslider id=1031]");
?>

Or is there a better way for me to get an image to rotate between 2-4 images?

Any help is greatly appreciated!