diff --git a/types/index.d.ts b/types/index.d.ts
index 67b9d09aa..fd05af220 100644
--- a/types/index.d.ts
+++ b/types/index.d.ts
@@ -973,6 +973,21 @@ declare namespace math {
     ): MathNode
     simplifyCore(expr: MathNode | string, options?: SimplifyOptions): MathNode
 
+    /**
+     * Determines if two expressions are symbolically equal, i.e. one is the
+     * result of valid algebraic manipulations on the other.
+     * @param {Node|string} expr1 The first expression to compare
+     * @param {Node|string} expr2 The second expression to compare
+     * @param {Object} [options] Optional option object, passed to simplify
+     * @returns {boolean} Returns true if a valid manipulation making the
+     * expressions equal is found.
+     */
+    symbolicEqual(
+      expr1: MathNode | string,
+      expr2: MathNode | string,
+      options?: SimplifyOptions
+    ): boolean;
+
     /**
      *  Replaces variable nodes with their scoped values
      * @param node Tree to replace variable nodes in