import * as z from "env";
function V(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.analyze(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function P(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.check_units(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function X(e, _, a) {
  let d, c;
  try {
    const f = t.__wbindgen_add_to_stack_pointer(-16), b = w(e, t.__wbindgen_export, t.__wbindgen_export2), l = u, x = w(_, t.__wbindgen_export, t.__wbindgen_export2), I = u, k = w(a, t.__wbindgen_export, t.__wbindgen_export2), h = u;
    t.compute_limit(f, b, l, x, I, k, h);
    var g = r().getInt32(f + 0, true), p = r().getInt32(f + 4, true), s = r().getInt32(f + 8, true), o = r().getInt32(f + 12, true), n = g, i = p;
    if (o) throw n = 0, i = 0, y(s);
    return d = n, c = i, v(n, i);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(d, c, 1);
  }
}
function H(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.differentiate(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function N(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.differentiate_steps(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function Y(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.egraph_explain(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function G(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.egraph_simplify(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function J(e, _) {
  try {
    const g = t.__wbindgen_add_to_stack_pointer(-16), p = w(e, t.__wbindgen_export, t.__wbindgen_export2), s = u, o = w(_, t.__wbindgen_export, t.__wbindgen_export2), n = u;
    t.eval_expr(g, p, s, o, n);
    var a = r().getFloat64(g + 0, true), d = r().getInt32(g + 8, true), c = r().getInt32(g + 12, true);
    if (c) throw y(d);
    return a;
  } finally {
    t.__wbindgen_add_to_stack_pointer(16);
  }
}
function K(e, _, a, d, c) {
  let g, p;
  try {
    const l = t.__wbindgen_add_to_stack_pointer(-16), x = w(e, t.__wbindgen_export, t.__wbindgen_export2), I = u, k = w(_, t.__wbindgen_export, t.__wbindgen_export2), h = u;
    t.eval_range(l, x, I, k, h, a, d, c);
    var s = r().getInt32(l + 0, true), o = r().getInt32(l + 4, true), n = r().getInt32(l + 8, true), i = r().getInt32(l + 12, true), f = s, b = o;
    if (i) throw f = 0, b = 0, y(n);
    return g = f, p = b, v(f, b);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(g, p, 1);
  }
}
function Q(e) {
  let _, a;
  try {
    const g = t.__wbindgen_add_to_stack_pointer(-16);
    t.factorize(g, e);
    var d = r().getInt32(g + 0, true), c = r().getInt32(g + 4, true);
    return _ = d, a = c, v(d, c);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function Z(e, _, a) {
  let d, c;
  try {
    const f = t.__wbindgen_add_to_stack_pointer(-16), b = w(e, t.__wbindgen_export, t.__wbindgen_export2), l = u, x = w(_, t.__wbindgen_export, t.__wbindgen_export2), I = u, k = w(a, t.__wbindgen_export, t.__wbindgen_export2), h = u;
    t.fourier_transform(f, b, l, x, I, k, h);
    var g = r().getInt32(f + 0, true), p = r().getInt32(f + 4, true), s = r().getInt32(f + 8, true), o = r().getInt32(f + 12, true), n = g, i = p;
    if (o) throw n = 0, i = 0, y(s);
    return d = n, c = i, v(n, i);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(d, c, 1);
  }
}
function $(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.generate_code(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function tt(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.identify_sequence(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function et(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.integrate(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function nt(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.integrate_steps(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function rt(e) {
  return t.is_prime(e) !== 0;
}
function _t(e, _, a) {
  let d, c;
  try {
    const f = t.__wbindgen_add_to_stack_pointer(-16), b = w(e, t.__wbindgen_export, t.__wbindgen_export2), l = u, x = w(_, t.__wbindgen_export, t.__wbindgen_export2), I = u, k = w(a, t.__wbindgen_export, t.__wbindgen_export2), h = u;
    t.laplace_transform(f, b, l, x, I, k, h);
    var g = r().getInt32(f + 0, true), p = r().getInt32(f + 4, true), s = r().getInt32(f + 8, true), o = r().getInt32(f + 12, true), n = g, i = p;
    if (o) throw n = 0, i = 0, y(s);
    return d = n, c = i, v(n, i);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(d, c, 1);
  }
}
function ot(e) {
  let _, a;
  try {
    const g = t.__wbindgen_add_to_stack_pointer(-16), p = w(e, t.__wbindgen_export, t.__wbindgen_export2), s = u;
    t.lookup_constant(g, p, s);
    var d = r().getInt32(g + 0, true), c = r().getInt32(g + 4, true);
    return _ = d, a = c, v(d, c);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function it(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.matrix_det(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function at(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.parse_expr(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function dt(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.pattern_match(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function st(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.proof_trace(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function ct(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.simplify(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function gt(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.solve(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function pt(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.solve_ode(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function ft(e, _) {
  let a, d;
  try {
    const i = t.__wbindgen_add_to_stack_pointer(-16), f = w(e, t.__wbindgen_export, t.__wbindgen_export2), b = u, l = w(_, t.__wbindgen_export, t.__wbindgen_export2), x = u;
    t.solve_steps(i, f, b, l, x);
    var c = r().getInt32(i + 0, true), g = r().getInt32(i + 4, true), p = r().getInt32(i + 8, true), s = r().getInt32(i + 12, true), o = c, n = g;
    if (s) throw o = 0, n = 0, y(p);
    return a = o, d = n, v(o, n);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(a, d, 1);
  }
}
function ut(e, _, a, d) {
  let c, g;
  try {
    const b = t.__wbindgen_add_to_stack_pointer(-16), l = w(e, t.__wbindgen_export, t.__wbindgen_export2), x = u, I = w(_, t.__wbindgen_export, t.__wbindgen_export2), k = u, h = w(a, t.__wbindgen_export, t.__wbindgen_export2), E = u;
    t.taylor(b, l, x, I, k, h, E, d);
    var p = r().getInt32(b + 0, true), s = r().getInt32(b + 4, true), o = r().getInt32(b + 8, true), n = r().getInt32(b + 12, true), i = p, f = s;
    if (n) throw i = 0, f = 0, y(o);
    return c = i, g = f, v(i, f);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(c, g, 1);
  }
}
function wt(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.tensor_parse(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function bt(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.to_latex(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function lt(e) {
  let _, a;
  try {
    const n = t.__wbindgen_add_to_stack_pointer(-16), i = w(e, t.__wbindgen_export, t.__wbindgen_export2), f = u;
    t.to_polynomial(n, i, f);
    var d = r().getInt32(n + 0, true), c = r().getInt32(n + 4, true), g = r().getInt32(n + 8, true), p = r().getInt32(n + 12, true), s = d, o = c;
    if (p) throw s = 0, o = 0, y(g);
    return _ = s, a = o, v(s, o);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(_, a, 1);
  }
}
function vt() {
  let e, _;
  try {
    const c = t.__wbindgen_add_to_stack_pointer(-16);
    t.version(c);
    var a = r().getInt32(c + 0, true), d = r().getInt32(c + 4, true);
    return e = a, _ = d, v(a, d);
  } finally {
    t.__wbindgen_add_to_stack_pointer(16), t.__wbindgen_export3(e, _, 1);
  }
}
function D() {
  return { __proto__: null, "./symclaw_wasm_bg.js": { __proto__: null, __wbindgen_cast_0000000000000001: function(_, a) {
    const d = v(_, a);
    return U(d);
  } }, env: z };
}
function U(e) {
  W === m.length && m.push(m.length + 1);
  const _ = W;
  return W = m[_], m[_] = e, _;
}
function B(e) {
  e < 132 || (m[e] = W, W = e);
}
let A = null;
function r() {
  return (A === null || A.buffer.detached === true || A.buffer.detached === void 0 && A.buffer !== t.memory.buffer) && (A = new DataView(t.memory.buffer)), A;
}
function v(e, _) {
  return e = e >>> 0, q(e, _);
}
let O = null;
function R() {
  return (O === null || O.byteLength === 0) && (O = new Uint8Array(t.memory.buffer)), O;
}
function F(e) {
  return m[e];
}
let m = new Array(128).fill(void 0);
m.push(void 0, null, true, false);
let W = m.length;
function w(e, _, a) {
  if (a === void 0) {
    const s = M.encode(e), o = _(s.length, 1) >>> 0;
    return R().subarray(o, o + s.length).set(s), u = s.length, o;
  }
  let d = e.length, c = _(d, 1) >>> 0;
  const g = R();
  let p = 0;
  for (; p < d; p++) {
    const s = e.charCodeAt(p);
    if (s > 127) break;
    g[c + p] = s;
  }
  if (p !== d) {
    p !== 0 && (e = e.slice(p)), c = a(c, d, d = p + e.length * 3, 1) >>> 0;
    const s = R().subarray(c + p, c + d), o = M.encodeInto(e, s);
    p += o.written, c = a(c, d, p, 1) >>> 0;
  }
  return u = p, c;
}
function y(e) {
  const _ = F(e);
  return B(e), _;
}
let T = new TextDecoder("utf-8", { ignoreBOM: true, fatal: true });
T.decode();
const L = 2146435072;
let j = 0;
function q(e, _) {
  return j += _, j >= L && (T = new TextDecoder("utf-8", { ignoreBOM: true, fatal: true }), T.decode(), j = _), T.decode(R().subarray(e, e + _));
}
const M = new TextEncoder();
"encodeInto" in M || (M.encodeInto = function(e, _) {
  const a = M.encode(e);
  return _.set(a), { read: e.length, written: a.length };
});
let u = 0, t;
function S(e, _) {
  return t = e.exports, A = null, O = null, t;
}
async function C(e, _) {
  if (typeof Response == "function" && e instanceof Response) {
    if (typeof WebAssembly.instantiateStreaming == "function") try {
      return await WebAssembly.instantiateStreaming(e, _);
    } catch (c) {
      if (e.ok && a(e.type) && e.headers.get("Content-Type") !== "application/wasm") console.warn("`WebAssembly.instantiateStreaming` failed because your server does not serve Wasm with `application/wasm` MIME type. Falling back to `WebAssembly.instantiate` which is slower. Original error:\n", c);
      else throw c;
    }
    const d = await e.arrayBuffer();
    return await WebAssembly.instantiate(d, _);
  } else {
    const d = await WebAssembly.instantiate(e, _);
    return d instanceof WebAssembly.Instance ? { instance: d, module: e } : d;
  }
  function a(d) {
    switch (d) {
      case "basic":
      case "cors":
      case "default":
        return true;
    }
    return false;
  }
}
function xt(e) {
  if (t !== void 0) return t;
  e !== void 0 && (Object.getPrototypeOf(e) === Object.prototype ? { module: e } = e : console.warn("using deprecated parameters for `initSync()`; pass a single object instead"));
  const _ = D();
  e instanceof WebAssembly.Module || (e = new WebAssembly.Module(e));
  const a = new WebAssembly.Instance(e, _);
  return S(a);
}
async function yt(e) {
  if (t !== void 0) return t;
  e !== void 0 && (Object.getPrototypeOf(e) === Object.prototype ? { module_or_path: e } = e : console.warn("using deprecated parameters for the initialization function; pass a single object instead")), e === void 0 && (e = new URL("/assets/symclaw_wasm_bg-DTgAX2It.wasm", import.meta.url));
  const _ = D();
  (typeof e == "string" || typeof Request == "function" && e instanceof Request || typeof URL == "function" && e instanceof URL) && (e = fetch(e));
  const { instance: a, module: d } = await C(await e, _);
  return S(a);
}
export {
  V as analyze,
  P as check_units,
  X as compute_limit,
  yt as default,
  H as differentiate,
  N as differentiate_steps,
  Y as egraph_explain,
  G as egraph_simplify,
  J as eval_expr,
  K as eval_range,
  Q as factorize,
  Z as fourier_transform,
  $ as generate_code,
  tt as identify_sequence,
  xt as initSync,
  et as integrate,
  nt as integrate_steps,
  rt as is_prime,
  _t as laplace_transform,
  ot as lookup_constant,
  it as matrix_det,
  at as parse_expr,
  dt as pattern_match,
  st as proof_trace,
  ct as simplify,
  gt as solve,
  pt as solve_ode,
  ft as solve_steps,
  ut as taylor,
  wt as tensor_parse,
  bt as to_latex,
  lt as to_polynomial,
  vt as version
};