Metrics for Herbie run

Date:	Monday, June 3rd, 2024
Commit:	e0929cca on platforms
Hostname:	nightly with Racket 8.11.1
Seed:	2024155
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample3.9min (22.4%)

Results

1.8min	7387×	5	exit
1.5min	433762×	0	valid
10.8s	28978×	1	valid
2.7s	6730×	2	valid
792.0ms	4894×	0	unsamplable
172.0ms	420×	3	valid
59.0ms	491×	0	invalid

Precisions

Click to see histograms. Total time spent on operations: 3.2min

ival-sin: 1.5min (46.5% of total)

ival-mult: 36.5s (19.1% of total)

...c/correct-round.rkt:119:19: 15.7s (8.3% of total)

backward-pass: 15.6s (8.2% of total)

ival-pow: 7.8s (4.1% of total)

ival-add: 6.4s (3.3% of total)

ival-div: 4.4s (2.3% of total)

ival-exp: 2.7s (1.4% of total)

ival-sub: 2.6s (1.3% of total)

ival-log: 2.0s (1% of total)

ival-sqrt: 1.9s (1% of total)

ival-cos: 1.1s (0.6% of total)

ival-asin: 1.0s (0.5% of total)

const: 728.0ms (0.4% of total)

ival-atan2: 678.0ms (0.4% of total)

ival->: 504.0ms (0.3% of total)

ival-<=: 475.0ms (0.2% of total)

ival-pi: 451.0ms (0.2% of total)

ival-acosh: 328.0ms (0.2% of total)

ival-neg: 304.0ms (0.2% of total)

ival-asinh: 299.0ms (0.2% of total)

ival-fabs: 296.0ms (0.2% of total)

ival-atanh: 165.0ms (0.1% of total)

ival->=: 140.0ms (0.1% of total)

ival-and: 80.0ms (0% of total)

Bogosity

soundness3.6min (20.6%)

Rules

838042×	`-lowering-.f32`
838042×	`-lowering-.f64`
471308×	`+-lowering-+.f32`
471308×	`+-lowering-+.f64`
375126×	`/-lowering-/.f32`

Stop Event

18×	saturated
258×	iter limit
225×	node limit
41×	fuel
2×	unsound
15×	done

Compiler

Compiled 42838 to 21023 computations (50.9% saved)

prune2.2min (12.5%)

Counts: 216697 → 3726
Compiler: Compiled 204428 to 86828 computations (57.5% saved)

rewrite2.1min (12.4%)

Algorithm

201×	batch-egg-rewrite

Rules

624214×	`-lowering-.f32`
624214×	`-lowering-.f64`
457256×	`/-lowering-/.f32`
457256×	`/-lowering-/.f64`
254612×	`+-lowering-+.f32`

Stop Event

6×	saturated
224×	iter limit
192×	node limit
3×	unsound

Counts

2939 → 110283

localize1.8min (10.7%)

Results

55.5s	1376×	2	valid
13.5s	39564×	0	valid
10.4s	2132×	5	exit
2.8s	2988×	1	valid
2.7s	5028×	0	invalid
249.0ms	344×	0	unsamplable
23.0ms	10×	4	valid
14.0ms	13×	3	valid
2.0ms	1×	1	unsamplable

Compiler

Compiled 60009 to 5481 computations (90.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.0min

ival-sub: 20.1s (33.3% of total)

ival-asin: 12.8s (21.2% of total)

ival-acos: 7.9s (13.1% of total)

ival-mult: 4.8s (7.9% of total)

ival-div: 2.8s (4.6% of total)

ival-add: 2.7s (4.5% of total)

ival-pow: 2.1s (3.5% of total)

backward-pass: 2.0s (3.2% of total)

...c/correct-round.rkt:119:19: 1.4s (2.3% of total)

ival-log: 1.2s (2% of total)

compiled-spec: 700.0ms (1.2% of total)

ival-sqrt: 391.0ms (0.6% of total)

ival-exp: 280.0ms (0.5% of total)

ival-sin: 250.0ms (0.4% of total)

ival-atan2: 243.0ms (0.4% of total)

ival-cos: 196.0ms (0.3% of total)

const: 149.0ms (0.2% of total)

ival-copysign: 129.0ms (0.2% of total)

ival-pi: 111.0ms (0.2% of total)

ival-fabs: 87.0ms (0.1% of total)

ival-neg: 68.0ms (0.1% of total)

ival-cosh: 24.0ms (0% of total)

simplify1.6min (9.1%)

Algorithm

458×	egg-herbie

Rules

1080682×	`-lowering-.f32`
1080682×	`-lowering-.f64`
653556×	`+-lowering-+.f32`
653556×	`+-lowering-+.f64`
388594×	`fma-lowering-fma.f64`

Stop Event

403×	iter limit
162×	saturated
295×	node limit
1×	unsound

Counts

54168 → 54168

eval58.2s (5.6%)

Compiler: Compiled 9262962 to 521392 computations (94.4% saved)

regimes15.6s (1.5%)

Counts

14385 → 1041

Calls

130 calls:

2.2s	im
1.5s	re
1.1s	x
663.0ms	y.im
527.0ms	y.re

Compiler

Compiled 7165 to 4315 computations (39.8% saved)

preprocess13.3s (1.3%)

Algorithm

112×	egg-herbie

Rules

64076×	`fnmadd-define`
61750×	`fma-define`
59546×	`sum3-define`
55566×	`fmsub-define`
47460×	`-lowering-.f32`

Stop Event

66×	saturated
56×	iter limit
46×	node limit

Compiler

Compiled 49334 to 13970 computations (71.7% saved)

bsearch12.5s (1.2%)

Algorithm

488×	binary-search
30×	left-value

Stop Event

15×	predicate-same
473×	narrow-enough

Results

6.1s	49962×	0	valid
2.6s	5343×	1	valid
100.0ms	247×	2	valid

Compiler

Compiled 120085 to 78510 computations (34.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 6.5s

ival-mult: 2.1s (32.7% of total)

ival-exp: 772.0ms (11.9% of total)

ival-sin: 656.0ms (10.1% of total)

ival-add: 605.0ms (9.4% of total)

ival-cos: 528.0ms (8.2% of total)

ival-log: 344.0ms (5.3% of total)

ival-sub: 310.0ms (4.8% of total)

ival-sqrt: 280.0ms (4.3% of total)

ival-div: 233.0ms (3.6% of total)

ival-atan2: 190.0ms (2.9% of total)

backward-pass: 154.0ms (2.4% of total)

...c/correct-round.rkt:119:19: 100.0ms (1.5% of total)

const: 76.0ms (1.2% of total)

ival-neg: 56.0ms (0.9% of total)

ival-fabs: 29.0ms (0.4% of total)

ival-copysign: 22.0ms (0.3% of total)

ival-pi: 1.0ms (0% of total)

series12.0s (1.2%)

Counts

2939 → 54168

Calls

10659 calls:

Time	Variable		Point	Expression
292.0ms	base	@	inf	(log (log base))
261.0ms	im	@	0	(/ (log im) (log base))
198.0ms	x	@	0	(/ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1 (* (fabs x) -3275911/10000000)) (/ (+ 1 (* (* x x) -10731592879921/100000000000000)) 1061405429/1000000000))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 3)) (+ 1 (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1 (* (fabs x) -3275911/10000000)) (/ (+ 1 (* (* x x) -10731592879921/100000000000000)) 1061405429/1000000000))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) (- (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1 (* (fabs x) -3275911/10000000)) (/ (+ 1 (* (* x x) -10731592879921/100000000000000)) 1061405429/1000000000))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 1))))
183.0ms	x	@	0	(- (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1061405429/1000000000 (* (fabs x) -3477069720320819/10000000000000000)) (+ 1 (* x (* x -10731592879921/100000000000000))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 4) (+ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1061405429/1000000000 (* (fabs x) -3477069720320819/10000000000000000)) (+ 1 (* x (* x -10731592879921/100000000000000))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 2) 1)) (/ 1 (+ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1061405429/1000000000 (* (fabs x) -3477069720320819/10000000000000000)) (+ 1 (* x (* x -10731592879921/100000000000000))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 2) 1)))
169.0ms	x	@	0	(/ (- (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1061405429/1000000000 (* (fabs x) -3477069720320819/10000000000000000)) (+ 1 (* x (* x -10731592879921/100000000000000))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 4) (+ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1061405429/1000000000 (* (fabs x) -3477069720320819/10000000000000000)) (+ 1 (* x (* x -10731592879921/100000000000000))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 2) 1)) (/ 1 (+ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1061405429/1000000000 (* (fabs x) -3477069720320819/10000000000000000)) (+ 1 (* x (* x -10731592879921/100000000000000))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 2) 1))) (- (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ (+ 1 (* (fabs x) -3275911/10000000)) (/ (+ 1 (* (* x x) -10731592879921/100000000000000)) 1061405429/1000000000))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 1))

explain9.5s (0.9%)

Results

3.8s	24808×	0	valid
1.3s	3068×	1	valid
477.0ms	642×	2	valid
61.0ms	132×	5	exit
10.0ms	22×	3	valid

Compiler

Compiled 11865 to 1987 computations (83.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 3.0s

ival-mult: 931.0ms (31.5% of total)

ival-add: 294.0ms (10% of total)

ival-log: 242.0ms (8.2% of total)

ival-exp: 225.0ms (7.6% of total)

ival-div: 168.0ms (5.7% of total)

...c/correct-round.rkt:119:19: 161.0ms (5.5% of total)

backward-pass: 152.0ms (5.1% of total)

ival-sqrt: 134.0ms (4.5% of total)

ival-sub: 114.0ms (3.9% of total)

ival-sin: 93.0ms (3.2% of total)

compiled-spec: 78.0ms (2.6% of total)

ival-cos: 69.0ms (2.3% of total)

ival-asin: 64.0ms (2.2% of total)

const: 49.0ms (1.7% of total)

ival-atan2: 48.0ms (1.6% of total)

ival-pi: 42.0ms (1.4% of total)

ival-copysign: 41.0ms (1.4% of total)

ival-fabs: 25.0ms (0.8% of total)

ival-pow: 13.0ms (0.4% of total)

ival-neg: 10.0ms (0.3% of total)

analyze3.3s (0.3%)

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
53.4%	46.1%	40.2%	13.7%	0%	0%	0%	1
62.8%	53.1%	31.4%	13.7%	0%	1.7%	0%	2
71.2%	58.4%	23.6%	13.7%	0%	4.3%	0%	3
77.4%	62%	18.1%	13.7%	0%	6.2%	0%	4
83.5%	66.8%	13.2%	13.7%	0%	6.3%	0%	5
85.8%	68.3%	11.3%	13.7%	0%	6.6%	0%	6
88.3%	70.3%	9.4%	13.7%	0%	6.6%	0%	7
89.9%	71.5%	8%	13.7%	0%	6.8%	0%	8
91.1%	72.5%	7.1%	13.7%	0%	6.8%	0%	9
92.6%	73.6%	5.9%	13.7%	0%	6.8%	0%	10
94%	74.7%	4.8%	13.7%	0%	6.8%	0%	11
94.5%	75.1%	4.4%	13.7%	0%	6.9%	0%	12

Compiler

Compiled 1558 to 790 computations (49.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.0s

ival-mult: 626.0ms (31.9% of total)

ival-add: 286.0ms (14.6% of total)

...c/correct-round.rkt:119:19: 225.0ms (11.5% of total)

ival-log: 144.0ms (7.3% of total)

ival-div: 125.0ms (6.4% of total)

ival-sqrt: 118.0ms (6% of total)

ival-pow: 98.0ms (5% of total)

ival-sub: 80.0ms (4.1% of total)

ival-atan2: 73.0ms (3.7% of total)

ival-exp: 65.0ms (3.3% of total)

ival-sin: 26.0ms (1.3% of total)

ival-cos: 22.0ms (1.1% of total)

const: 22.0ms (1.1% of total)

ival->: 18.0ms (0.9% of total)

ival-<=: 11.0ms (0.6% of total)

ival-pi: 8.0ms (0.4% of total)

backward-pass: 7.0ms (0.4% of total)

ival-neg: 7.0ms (0.4% of total)

ival-and: 2.0ms (0.1% of total)

ival-asin: 1.0ms (0.1% of total)

ival-acosh: 1.0ms (0.1% of total)

ival-atanh: 1.0ms (0.1% of total)

ival-asinh: 0.0ms (0% of total)

ival->=: 0.0ms (0% of total)

ival-fabs: 0.0ms (0% of total)

end3.0s (0.3%)

Precisions: Click to see histograms. Total time spent on operations: 1.8s
...c/correct-round.rkt:119:19: 1.8s (100% of total)

sample3.9min (22.4%)

soundness3.6min (20.6%)

prune2.2min (12.5%)

rewrite2.1min (12.4%)

localize1.8min (10.7%)

simplify1.6min (9.1%)

eval58.2s (5.6%)

regimes15.6s (1.5%)

preprocess13.3s (1.3%)

bsearch12.5s (1.2%)

series12.0s (1.2%)

explain9.5s (0.9%)

analyze3.3s (0.3%)

end3.0s (0.3%)

Profiling