diff --git a/src/core/utilities.js b/src/core/utilities.js
index d6ff13212..7bdd4dce6 100644
--- a/src/core/utilities.js
+++ b/src/core/utilities.js
@@ -3,6 +3,7 @@ import Logger from '../logger';
 
 export const toString = Object.prototype.toString;
 export const hasOwn = Object.prototype.hasOwnProperty;
+export const slice = Array.prototype.slice;
 
 const nativePerf = getNativePerf();
 
diff --git a/src/equiv.js b/src/equiv.js
index 83f05f196..bb8e527f2 100644
--- a/src/equiv.js
+++ b/src/equiv.js
@@ -1,320 +1,190 @@
-import { objectType } from './core/utilities';
-
-// Test for equality any JavaScript type.
-// Authors: Philippe Rathé <prathe@gmail.com>, David Chan <david@troi.org>
-export default (function () {
-  // Value pairs queued for comparison. Used for breadth-first processing order, recursion
-  // detection and avoiding repeated comparison (see below for details).
-  // Elements are { a: val, b: val }.
-  let pairs = [];
-
-  function useStrictEquality (a, b) {
-    // This only gets called if a and b are not strict equal, and is used to compare on
-    // the primitive values inside object wrappers. For example:
-    // `var i = 1;`
-    // `var j = new Number(1);`
-    // Neither a nor b can be null, as a !== b and they have the same type.
-    if (typeof a === 'object') {
-      a = a.valueOf();
-    }
-    if (typeof b === 'object') {
-      b = b.valueOf();
-    }
-
-    return a === b;
+import { objectType, slice } from './core/utilities';
+import { StringSet, ArrayFrom } from './globals';
+
+const CONTAINER_TYPES = new StringSet(['object', 'array', 'map', 'set']);
+
+function useStrictEquality (a, b) {
+  // This only gets called if a and b are not strict equal, and is used to compare on
+  // the primitive values inside object wrappers. For example:
+  // `var i = 1;`
+  // `var j = new Number(1);`
+  // Neither a nor b can be null, as a !== b and they have the same type.
+  if (typeof a === 'object') {
+    a = a.valueOf();
+  }
+  if (typeof b === 'object') {
+    b = b.valueOf();
   }
 
-  function compareConstructors (a, b) {
-    let protoA = Object.getPrototypeOf(a);
-    let protoB = Object.getPrototypeOf(b);
-
-    // Comparing constructors is more strict than using `instanceof`
-    if (a.constructor === b.constructor) {
-      return true;
-    }
+  return a === b;
+}
 
-    // Ref #851
-    // If the obj prototype descends from a null constructor, treat it
-    // as a null prototype.
-    if (protoA && protoA.constructor === null) {
-      protoA = null;
-    }
-    if (protoB && protoB.constructor === null) {
-      protoB = null;
-    }
+function getConstructor (obj) {
+  const proto = Object.getPrototypeOf(obj);
 
-    // Allow objects with no prototype to be equivalent to
-    // objects with Object as their constructor.
-    if (
-      (protoA === null && protoB === Object.prototype) ||
-      (protoB === null && protoA === Object.prototype)
-    ) {
-      return true;
-    }
+  return !proto || proto.constructor === null ? Object : proto.constructor;
+}
 
-    return false;
-  }
+function compareConstructors (a, b) {
+  return getConstructor(a) === getConstructor(b);
+}
 
-  function getRegExpFlags (regexp) {
-    return 'flags' in regexp ? regexp.flags : regexp.toString().match(/[gimuy]*$/)[0];
-  }
+function getRegExpFlags (regexp) {
+  return 'flags' in regexp ? regexp.flags : regexp.toString().match(/[gimuy]*$/)[0];
+}
 
-  function isContainer (val) {
-    return ['object', 'array', 'map', 'set'].indexOf(objectType(val)) !== -1;
-  }
-
-  function breadthFirstCompareChild (a, b) {
-    // If a is a container not reference-equal to b, postpone the comparison to the
-    // end of the pairs queue -- unless (a, b) has been seen before, in which case skip
-    // over the pair.
-    if (a === b) {
-      return true;
-    }
-    if (!isContainer(a)) {
-      return typeEquiv(a, b);
-    }
-    if (pairs.every(function (pair) {
-      return pair.a !== a || pair.b !== b;
-    })) {
-      // Not yet started comparing this pair
-      pairs.push({ a: a, b: b });
-    }
+function breadthFirstCompareChild (a, b, pairs) {
+  // If a is a container not reference-equal to b, postpone the comparison to the
+  // end of the pairs queue -- unless (a, b) has been seen before, in which case skip
+  // over the pair.
+  if (a === b) {
     return true;
+  } else if (!CONTAINER_TYPES.has(objectType(a))) {
+    return typeEquiv(a, b, pairs);
+  } else if (pairs.every((pair) => pair.a !== a || pair.b !== b)) {
+    // Not yet started comparing this pair
+    pairs.push({ a, b });
   }
+  return true;
+}
+
+const callbacks = {
+  string: useStrictEquality,
+  boolean: useStrictEquality,
+  number: useStrictEquality,
+  null: useStrictEquality,
+  undefined: useStrictEquality,
+  symbol: useStrictEquality,
+  date: useStrictEquality,
+
+  nan () {
+    return true;
+  },
 
-  const callbacks = {
-    string: useStrictEquality,
-    boolean: useStrictEquality,
-    number: useStrictEquality,
-    null: useStrictEquality,
-    undefined: useStrictEquality,
-    symbol: useStrictEquality,
-    date: useStrictEquality,
+  regexp (a, b) {
+    return a.source === b.source && getRegExpFlags(a) === getRegExpFlags(b);
+  },
 
-    nan: function () {
-      return true;
-    },
+  // abort (identical references / instance methods were skipped earlier)
+  function () {
+    return false;
+  },
 
-    regexp: function (a, b) {
-      return a.source === b.source &&
+  array (a, b, pairs) {
+    if (a.length !== b.length) {
+      return false;
+    }
 
-        // Include flags in the comparison
-        getRegExpFlags(a) === getRegExpFlags(b);
-    },
+    return a.every((element, index) => breadthFirstCompareChild(element, b[index], pairs));
+  },
 
-    // abort (identical references / instance methods were skipped earlier)
-    function: function () {
+  // Define sets a and b to be equivalent if for each element aVal in a, there
+  // is some element bVal in b such that aVal and bVal are equivalent. Element
+  // repetitions are not counted, so these are equivalent:
+  // a = new Set( [ {}, [], [] ] );
+  // b = new Set( [ {}, {}, [] ] );
+  set (a, b) {
+    if (a.size !== b.size) {
       return false;
-    },
+    }
 
-    array: function (a, b) {
-      const len = a.length;
-      if (len !== b.length) {
-        // Safe and faster
-        return false;
-      }
+    const B_ARRAY = ArrayFrom(b);
 
-      for (let i = 0; i < len; i++) {
-        // Compare non-containers; queue non-reference-equal containers
-        if (!breadthFirstCompareChild(a[i], b[i])) {
-          return false;
-        }
-      }
-      return true;
-    },
-
-    // Define sets a and b to be equivalent if for each element aVal in a, there
-    // is some element bVal in b such that aVal and bVal are equivalent. Element
-    // repetitions are not counted, so these are equivalent:
-    // a = new Set( [ {}, [], [] ] );
-    // b = new Set( [ {}, {}, [] ] );
-    set: function (a, b) {
-      if (a.size !== b.size) {
-        // This optimization has certain quirks because of the lack of
-        // repetition counting. For instance, adding the same
-        // (reference-identical) element to two equivalent sets can
-        // make them non-equivalent.
-        return false;
-      }
+    return ArrayFrom(a).every((aVal) => B_ARRAY.some((bVal) => innerEquiv(bVal, aVal)));
+  },
 
-      let outerEq = true;
-
-      a.forEach(function (aVal) {
-        // Short-circuit if the result is already known. (Using for...of
-        // with a break clause would be cleaner here, but it would cause
-        // a syntax error on older JavaScript implementations even if
-        // Set is unused)
-        if (!outerEq) {
-          return;
-        }
-
-        let innerEq = false;
-
-        b.forEach(function (bVal) {
-          // Likewise, short-circuit if the result is already known
-          if (innerEq) {
-            return;
-          }
-
-          // Swap out the global pairs list, as the nested call to
-          // innerEquiv will clobber its contents
-          const parentPairs = pairs;
-          if (innerEquiv(bVal, aVal)) {
-            innerEq = true;
-          }
-
-          // Replace the global pairs list
-          pairs = parentPairs;
-        });
-
-        if (!innerEq) {
-          outerEq = false;
-        }
-      });
-
-      return outerEq;
-    },
-
-    // Define maps a and b to be equivalent if for each key-value pair (aKey, aVal)
-    // in a, there is some key-value pair (bKey, bVal) in b such that
-    // [ aKey, aVal ] and [ bKey, bVal ] are equivalent. Key repetitions are not
-    // counted, so these are equivalent:
-    // a = new Map( [ [ {}, 1 ], [ {}, 1 ], [ [], 1 ] ] );
-    // b = new Map( [ [ {}, 1 ], [ [], 1 ], [ [], 1 ] ] );
-    map: function (a, b) {
-      if (a.size !== b.size) {
-        // This optimization has certain quirks because of the lack of
-        // repetition counting. For instance, adding the same
-        // (reference-identical) key-value pair to two equivalent maps
-        // can make them non-equivalent.
-        return false;
-      }
-
-      let outerEq = true;
-
-      a.forEach(function (aVal, aKey) {
-        // Short-circuit if the result is already known. (Using for...of
-        // with a break clause would be cleaner here, but it would cause
-        // a syntax error on older JavaScript implementations even if
-        // Map is unused)
-        if (!outerEq) {
-          return;
-        }
-
-        let innerEq = false;
-
-        b.forEach(function (bVal, bKey) {
-          // Likewise, short-circuit if the result is already known
-          if (innerEq) {
-            return;
-          }
-
-          // Swap out the global pairs list, as the nested call to
-          // innerEquiv will clobber its contents
-          const parentPairs = pairs;
-          if (innerEquiv([bVal, bKey], [aVal, aKey])) {
-            innerEq = true;
-          }
-
-          // Replace the global pairs list
-          pairs = parentPairs;
-        });
-
-        if (!innerEq) {
-          outerEq = false;
-        }
-      });
-
-      return outerEq;
-    },
-
-    object: function (a, b) {
-      if (compareConstructors(a, b) === false) {
-        return false;
-      }
+  // Define maps a and b to be equivalent if for each key-value pair (aKey, aVal)
+  // in a, there is some key-value pair (bKey, bVal) in b such that
+  // [ aKey, aVal ] and [ bKey, bVal ] are equivalent. Key repetitions are not
+  // counted, so these are equivalent:
+  // a = new Map( [ [ {}, 1 ], [ {}, 1 ], [ [], 1 ] ] );
+  // b = new Map( [ [ {}, 1 ], [ [], 1 ], [ [], 1 ] ] );
+  map (a, b) {
+    if (a.size !== b.size) {
+      return false;
+    }
 
-      const aProperties = [];
-      const bProperties = [];
-
-      // Be strict: don't ensure hasOwnProperty and go deep
-      for (const i in a) {
-        // Collect a's properties
-        aProperties.push(i);
-
-        // Skip OOP methods that look the same
-        if (
-          a.constructor !== Object &&
-          typeof a.constructor !== 'undefined' &&
-          typeof a[i] === 'function' &&
-          typeof b[i] === 'function' &&
-          a[i].toString() === b[i].toString()
-        ) {
-          continue;
-        }
-
-        // Compare non-containers; queue non-reference-equal containers
-        if (!breadthFirstCompareChild(a[i], b[i])) {
-          return false;
-        }
-      }
+    const B_ARRAY = ArrayFrom(b);
 
-      for (const i in b) {
-        // Collect b's properties
-        bProperties.push(i);
-      }
+    return ArrayFrom(a)
+      .every(([aKey, aVal]) => B_ARRAY.some(([bKey, bVal]) => innerEquiv([bKey, bVal], [aKey, aVal])));
+  },
 
-      // Ensures identical properties name
-      return typeEquiv(aProperties.sort(), bProperties.sort());
+  object (a, b, pairs) {
+    if (compareConstructors(a, b) === false) {
+      return false;
     }
-  };
-
-  function typeEquiv (a, b) {
-    const type = objectType(a);
-
-    // Callbacks for containers will append to the pairs queue to achieve breadth-first
-    // search order. The pairs queue is also used to avoid reprocessing any pair of
-    // containers that are reference-equal to a previously visited pair (a special case
-    // this being recursion detection).
-    //
-    // Because of this approach, once typeEquiv returns a false value, it should not be
-    // called again without clearing the pair queue else it may wrongly report a visited
-    // pair as being equivalent.
-    return objectType(b) === type && callbacks[type](a, b);
-  }
 
-  function innerEquiv (a, b) {
-    // We're done when there's nothing more to compare
-    if (arguments.length < 2) {
-      return true;
-    }
+    const aKeys = Object.keys(a);
+    const bKeys = Object.keys(b);
 
-    // Clear the global pair queue and add the top-level values being compared
-    pairs = [{ a: a, b: b }];
+    if (aKeys.length !== bKeys.length) {
+      return false;
+    }
 
-    for (let i = 0; i < pairs.length; i++) {
-      const pair = pairs[i];
+    for (const key in a) {
+      if (
+        a.constructor !== Object &&
+        typeof a.constructor !== 'undefined' &&
+        typeof a[key] === 'function' &&
+        typeof b[key] === 'function' &&
+        a[key].toString() === b[key].toString()
+      ) {
+        continue;
+      } else if (!(key in b)) {
+        return false;
+      }
 
-      // Perform type-specific comparison on any pairs that are not strictly
-      // equal. For container types, that comparison will postpone comparison
-      // of any sub-container pair to the end of the pair queue. This gives
-      // breadth-first search order. It also avoids the reprocessing of
-      // reference-equal siblings, cousins etc, which can have a significant speed
-      // impact when comparing a container of small objects each of which has a
-      // reference to the same (singleton) large object.
-      if (pair.a !== pair.b && !typeEquiv(pair.a, pair.b)) {
+      if (!breadthFirstCompareChild(a[key], b[key], pairs)) {
         return false;
       }
     }
 
-    // ...across all consecutive argument pairs
-    return arguments.length === 2 || innerEquiv.apply(this, [].slice.call(arguments, 1));
+    return true;
+  }
+};
+
+function typeEquiv (a, b, pairs) {
+  const type = objectType(a);
+
+  // Callbacks for containers will append to the pairs queue to achieve breadth-first
+  // search order. The pairs queue is also used to avoid reprocessing any pair of
+  // containers that are reference-equal to a previously visited pair (a special case
+  // this being recursion detection).
+  //
+  // Because of this approach, once typeEquiv returns a false value, it should not be
+  // called again without clearing the pair queue else it may wrongly report a visited
+  // pair as being equivalent.
+  return objectType(b) === type && callbacks[type](a, b, pairs);
+}
+
+function innerEquiv (a, b) {
+  if (arguments.length < 2) {
+    return true;
+  }
+
+  // Value pairs queued for comparison. Used for breadth-first processing order, recursion
+  // detection and avoiding repeated comparison.
+  let pairs = [{ a, b }];
+  for (let i = 0; i < pairs.length; i++) {
+    const pair = pairs[i];
+
+    // Perform type-specific comparison on any pairs that are not strictly
+    // equal. For container types, that comparison will postpone comparison
+    // of any sub-container pair to the end of the pair queue. This gives
+    // breadth-first search order. It also avoids the reprocessing of
+    // reference-equal siblings, cousins etc, which can have a significant speed
+    // impact when comparing a container of small objects each of which has a
+    // reference to the same (singleton) large object.
+    if (pair.a !== pair.b && !typeEquiv(pair.a, pair.b, pairs)) {
+      return false;
+    }
   }
 
-  return (...args) => {
-    const result = innerEquiv(...args);
+  // ...across all consecutive argument pairs
+  return arguments.length === 2 || innerEquiv.apply(this, slice.call(arguments, 1));
+}
 
-    // Release any retained objects
-    pairs.length = 0;
-    return result;
-  };
-}());
+export default function equiv (...args) {
+  return innerEquiv(...args);
+}
diff --git a/src/globals.js b/src/globals.js
index ac7e3dab3..acba35ab2 100644
--- a/src/globals.js
+++ b/src/globals.js
@@ -112,3 +112,28 @@ export const StringMap = typeof g.Map === 'function' &&
       });
     }
   };
+
+export const StringSet = g.Set || function (input) {
+  const set = Object.create(null);
+
+  if (Array.isArray(input)) {
+    input.forEach(item => {
+      set[item] = true;
+    });
+  }
+
+  return {
+    add (value) {
+      set[value] = true;
+    },
+    has (value) {
+      return value in set;
+    },
+    get size () {
+      return Object.keys(set).length;
+    }
+  };
+};
+
+// eslint-disable-next-line
+export const ArrayFrom = Array.from;