test.mjs

import { strict as assert } from 'node:assert'; 

const frmla = '(FPCore (a b c):name "quadp (p42, positive)"' +
 "(let ([d (sqrt (- (* b b) (* 4 (* a c))))])" +
   "(/ (+ (- b) d) (* 2 a))))"

const sample = (await(await fetch('http://127.0.0.1:8000/api/sample', { method: 'POST', body: JSON.stringify({ 
    formula: frmla, seed: 5 }) })).json())

const SAMPLE_SIZE = 8000
assert.ok(sample.points)
const points = sample.points

const alternatives = (await (await fetch('http://127.0.0.1:8000/api/alternatives', { method: 'POST', body: JSON.stringify({ 
    formula: frmla, 
    sample: points }) })).json()) 

//console.log(alternatives)

const proof = alternatives.derivations[0].prev.prev.prevs[1].proof

proof.reverse()

for (const step in proof) {
    console.log(proof[step].program)
    console.log(proof[step].rule)
    console.log(proof[step].loc)
    console.log(proof[step].direction)
    console.log('--------------------')
}