Function replacesTo

test/compute-engine/fungrim-loader.test.ts:964–972

(input: unknown, expected: unknown)

    simplifiesTo(
      ['Power', 'ExponentialE', ['Divide', ['Multiply', 'ImaginaryUnit', 'Pi'], 2]],
      'ImaginaryUnit'
    ));

  // lambertw
  it('LambertW(0) → 0  [fungrim:0be17d]', () =>
    simplifiesTo(['LambertW', 0], 0));

  // totient — `eval` guard (IsPrime) provable on a literal prime
  it('Totient(7) → 6 (eval guard: IsPrime(7) ⇒ True)  [fungrim:cb410e]', () =>
    simplifiesTo(['Totient', 7], 6));
});