Sound of Math Each formula gets a note. The note's pitch, timbre, and ornament come from the formula's Pfaffian cost profile, not from any hand-tuned mapping. Two formulas in the same cost class sound the same. The Stefan-Boltzmann law and a polynomial both ring as a pure C3 sine. A formula that uses Bessel J0 or erf gets a high bell ping because it has stepped outside the elementary family.
Play all 10 formulas Mapping pfaffian_r → pitch (log). Higher chain order sits higher on the keyboard.predicted_depth → tempo. Deeper formulas play faster.eml_depth → chord voices. One voice for trivial depth; up to four for stacked transcendentals.witness count → timbre. Sine, triangle, sawtooth, square in increasing brightness.is_pfaffian_not_eml → bell ping. The teaching moment: the formula has left the elementary family.Polynomial (x^2 + 1) p0-d2-w0-c0
root note C3
tempo 74 bpm
voices 2
waveform sine Polynomial. No transcendental work, no chain. Pure ground tone in a sine.
Play
root note E3
tempo 67 bpm
voices 1
waveform triangle One chain element. The triangle's single warm overtone matches one transcendental layer.
Play
root note G3
tempo 81 bpm
voices 2
waveform sawtooth Two chain elements. The brighter sawtooth captures the second transcendental layer.
Play
root note G3
tempo 88 bpm
voices 3
waveform sawtooth Same chain as sin, one extra structural layer from the square. Three voices instead of two.
Play Gaussian e^(-x^2) p1-d3-w1-c0
root note E3
tempo 81 bpm
voices 2
waveform triangle One chain element wrapped in structure. Triangle stays warm; tempo lifts because depth is 3.
Play sigmoid 1/(1+e^-x) p1-d1-w1-c-1
root note E3
tempo 74 bpm
voices 1
waveform triangle Sigmoid is one chain element under F-family fusion. Same warm tone as exp because the substrate hears the fused operator.
Play Stefan-Boltzmann (T⁴) p0-d1-w0-c0
root note C3
tempo 67 bpm
voices 1
waveform sine A famously deep physical law. The sound shows it as a polynomial: pure C3 sine, the same tone as x² + 1.
Play Planck spectral radiance p1-d3-w1-c0
root note E3
tempo 81 bpm
voices 2
waveform triangle Single exp inside a polynomial wrapper. Same cost class as a Gaussian; the sound is the same shape too.
Play GELU (uses erf) p3-d5-w3-c0
root note A3
tempo 102 bpm
voices 3
waveform square
ornament bell ping (Pfaffian-not-EML) GELU contains erf, which lives outside the elementary family. The bell ping marks the boundary; the square chord sits high.
Play
root note A3
tempo 81 bpm
voices 1
waveform square
ornament bell ping (Pfaffian-not-EML) Bessel functions are Pfaffian but not elementary. Same outlier ping as GELU; tempo is calmer because EML depth is just 1.
Play Why this sounds the way it does The mapping is deterministic. Run the substrate (eml-cost) on any SymPy expression, get a Pfaffian profile, plug those numbers into the mapping above. The formula's sound is fixed by its cost class. Two formulas in the same class are audibly identical here because the substrate sees them as the same kind of computation.
The pedagogical surprise is Stefan-Boltzmann. A famously deep physical law (T4 ) reads as a polynomial in the cost profile, so it gets the ground-tone C3 sine. Depth in physics is not depth in computation.
The bell ping marks formulas that have stepped outside the elementary family: GELU (which contains erf) and Bessel J0 . These are still Pfaffian (a stricter complexity class), but they cannot be written as a finite tree of elementary functions.