Metrics for SynthBasics:oscSampleBasedAux from YampaSynth-0.2

analyze1.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample10.3s (97.1%)

Results

1.6s	8256×	valid-rival
750.0ms	8164×	valid-sollya
460.0ms	92×	exit-sollya

Bogosity

preprocess261.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1176×	`fma-neg`
318×	`fma-define`
241×	`distribute-rgt-in`
186×	`unsub-neg`
170×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	36	377
1	78	321
2	237	317
3	836	317
4	1871	317
5	3198	317
6	3494	317
7	3526	317
8	3526	317
9	4161	317
10	4161	317

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (-.f64 z x)))
(+.f64 x (*.f64 y (-.f64 z x)))
(+.f64 (neg.f64 x) (*.f64 y (-.f64 z (neg.f64 x))))
(+.f64 x (*.f64 (neg.f64 y) (-.f64 z x)))
(+.f64 x (*.f64 y (-.f64 (neg.f64 z) x)))
(neg.f64 (+.f64 (neg.f64 x) (*.f64 y (-.f64 z (neg.f64 x)))))
(neg.f64 (+.f64 x (*.f64 (neg.f64 y) (-.f64 z x))))
(neg.f64 (+.f64 x (*.f64 y (-.f64 (neg.f64 z) x))))
(+.f64 y (*.f64 x (-.f64 z y)))
(+.f64 z (*.f64 y (-.f64 x z)))
(+.f64 x (*.f64 z (-.f64 y x)))

Outputs
(+.f64 x (*.f64 y (-.f64 z x)))
(fma.f64 y (-.f64 z x) x)
(+.f64 x (*.f64 y (-.f64 z x)))
(fma.f64 y (-.f64 z x) x)
(+.f64 (neg.f64 x) (*.f64 y (-.f64 z (neg.f64 x))))
(-.f64 (*.f64 y (+.f64 x z)) x)
(fma.f64 y (+.f64 x z) (neg.f64 x))
(+.f64 x (*.f64 (neg.f64 y) (-.f64 z x)))
(+.f64 x (*.f64 (-.f64 z x) (neg.f64 y)))
(-.f64 x (*.f64 y (-.f64 z x)))
(fma.f64 y (-.f64 x z) x)
(+.f64 x (*.f64 y (-.f64 (neg.f64 z) x)))
(-.f64 x (*.f64 y (+.f64 x z)))
(fma.f64 y (-.f64 (neg.f64 x) z) x)
(neg.f64 (+.f64 (neg.f64 x) (*.f64 y (-.f64 z (neg.f64 x)))))
(+.f64 x (*.f64 y (-.f64 (neg.f64 z) x)))
(-.f64 x (*.f64 y (+.f64 x z)))
(fma.f64 y (-.f64 (neg.f64 x) z) x)
(neg.f64 (+.f64 x (*.f64 (neg.f64 y) (-.f64 z x))))
(neg.f64 (+.f64 x (*.f64 (-.f64 z x) (neg.f64 y))))
(-.f64 (*.f64 y (-.f64 z x)) x)
(neg.f64 (fma.f64 y (-.f64 x z) x))
(neg.f64 (+.f64 x (*.f64 y (-.f64 (neg.f64 z) x))))
(+.f64 (neg.f64 x) (*.f64 y (-.f64 z (neg.f64 x))))
(-.f64 (*.f64 y (+.f64 x z)) x)
(fma.f64 y (+.f64 x z) (neg.f64 x))
(+.f64 y (*.f64 x (-.f64 z y)))
(fma.f64 x (-.f64 z y) y)
(+.f64 z (*.f64 y (-.f64 x z)))
(fma.f64 y (-.f64 x z) z)
(+.f64 x (*.f64 z (-.f64 y x)))
(fma.f64 z (-.f64 y x) x)

Compiler

Compiled 10 to 6 computations (40% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(+.f64 x (*.f64 y (-.f64 z x)))

Compiler

Compiled 20 to 12 computations (40% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative`
2×	`sub-neg`
2×	`*-commutative`
1×	`neg-sub0`
1×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	17	31
2	22	31
3	24	31
4	25	31

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (-.f64 z x)))

Outputs
(+.f64 x (*.f64 y (-.f64 z x)))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 10 to 6 computations (40% saved)

preprocess41.0ms (0.4%)

Compiler: Compiled 40 to 24 computations (40% saved)

SynthBasics:oscSampleBasedAux from YampaSynth-0.2

analyze1.0ms (0%)

sample10.3s (97.1%)

preprocess261.0ms (2.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0%)

soundness1.0ms (0%)

preprocess41.0ms (0.4%)

end0.0ms (0%)

Profiling