Metrics for Herbie run

Date:	Saturday, August 12th, 2023
Commit:	e1aa4bdc on compare-reports
Hostname:	nightly with Racket 8.6
Seed:	2023224
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample6.0min (19.4%)

Results

3.9min	1797749×	body	256	valid
49.1s	335225×	body	256	infinite
25.1s	144760×	body	256	invalid
23.1s	45793×	body	1024	valid
11.2s	31991×	body	512	valid
7.3s	9851×	body	2048	valid
1.9s	4938×	body	1024	infinite
1.9s	1522×	body	8192	exit
671.0ms	3204×	body	512	infinite
528.0ms	369×	body	4096	valid
336.0ms	1322×	body	1024	invalid
148.0ms	963×	body	512	invalid
1.0ms	4×	body	2048	invalid

Bogosity

soundness5.4min (17.4%)

Rules

1251946×	`fma-def`
651170×	`associate-r`
604152×	`fma-neg`
594214×	`log-prod`
555020×	`times-frac`

Stop Event

128×	saturated
10×	unsound
1472×	node limit

Compiler

Compiled 109175 to 60075 computations (45% saved)

regimes4.5min (14.6%)

Counts

33924 → 5951

Calls

486 calls:

44.2s	y
41.9s	x
38.5s	z
27.1s	t
19.3s	a

Compiler

Compiled 390396 to 213935 computations (45.2% saved)

simplify3.0min (9.9%)

Algorithm

1359×

egg-herbie

Rules

915820×	`fma-def`
480324×	`log-prod`
477724×	`associate-r`
474438×	`fma-neg`
419400×	`associate-l`

Stop Event

7×	unsound
74×	done
436×	saturated
196×	fuel
916×	node limit

Counts

371917 → 274439

Compiler

Compiled 67089 to 40302 computations (39.9% saved)

localize2.8min (9.2%)

Compiler: Compiled 113385 to 46279 computations (59.2% saved)

eval2.5min (8.1%)

Compiler: Compiled 8055842 to 3817366 computations (52.6% saved)

rewrite1.6min (5.3%)

Algorithm

819×	batch-egg-rewrite

Rules

514474×	`pow1`
484630×	`add-exp-log`
484354×	`log1p-expm1-u`
484320×	`expm1-log1p-u`
457492×	`add-log-exp`

Stop Event

819×	node limit

Counts

5843 → 211674

prune1.6min (5.3%)

Counts: 349685 → 13495
Compiler: Compiled 683551 to 467680 computations (31.6% saved)

bsearch1.6min (5%)

Algorithm

3572×	binary-search
300×	left-value

Stop Event

3516×	narrow-enough
1×	predicate-failed
55×	predicate-same

Results

52.7s	339007×	body	256	valid
26.2s	94629×	body	256	infinite
2.6s	4589×	body	1024	valid
2.2s	5589×	body	512	valid
809.0ms	8286×	body	256	invalid
286.0ms	615×	body	1024	infinite
186.0ms	420×	body	512	infinite
49.0ms	138×	body	2048	valid
15.0ms	54×	body	1024	invalid
9.0ms	47×	body	512	invalid
1.0ms	6×	body	4096	valid

Compiler

Compiled 796173 to 592868 computations (25.5% saved)

preprocess1.0min (3.4%)

Algorithm

270×	egg-herbie

Rules

380012×	`fma-def`
124642×	`fma-neg`
117048×	`sub-neg`
102858×	`unsub-neg`
98826×	`div-sub`

Stop Event

124×	saturated
146×	node limit

Compiler

Compiled 148153 to 71044 computations (52% saved)

series29.3s (1.6%)

Counts

5843 → 159973

Calls

41112 calls:

Time	Variable		Point	Expression
272.0ms	x	@	-inf	(*.f64 70711/100000 (-.f64 (+.f64 27061/99229 (/.f64 20191289437/9846394441 x)) x))
259.0ms	x	@	-inf	(cbrt.f64 (*.f64 y (sqrt.f64 x)))
259.0ms	y	@	0	(pow.f64 (.f64 (.f64 3 (cbrt.f64 (.f64 y x))) (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x))))) 2)
249.0ms	y	@	-inf	(*.f64 y -5886054995120641883561/100000000000000000000)
205.0ms	z	@	-inf	(-.f64 (/.f64 y z) (-.f64 (/.f64 x z) x))

analyze17.3s (0.9%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
46.7%	46.6%	53.2%	0.1%	0%	0%	0%	1
50.1%	49.9%	49.7%	0.1%	0%	0.2%	0%	2
58%	57.5%	41.6%	0.1%	0%	0.7%	0%	3
64.2%	63.3%	35.4%	0.1%	0%	1.2%	0%	4
69.9%	68.8%	29.6%	0.1%	0%	1.4%	0%	5
74.5%	72.8%	25%	0.1%	0%	2%	0%	6
78.6%	76.1%	20.7%	0.1%	0%	3%	0%	7
80.4%	77.4%	18.9%	0.1%	0%	3.5%	0%	8
83.2%	79.7%	16.1%	0.1%	0%	4%	0%	9
84.9%	80.8%	14.4%	0.1%	0%	4.6%	0%	10
87.7%	83.1%	11.6%	0.1%	0%	5.1%	0%	11
88.9%	83.9%	10.5%	0.1%	0%	5.5%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

Herbie run

sample6.0min (19.4%)

soundness5.4min (17.4%)

regimes4.5min (14.6%)

simplify3.0min (9.9%)

localize2.8min (9.2%)

eval2.5min (8.1%)

rewrite1.6min (5.3%)

prune1.6min (5.3%)

bsearch1.6min (5%)

preprocess1.0min (3.4%)

series29.3s (1.6%)

analyze17.3s (0.9%)

end70.0ms (0%)

Profiling