Metrics for Herbie run

Date:	Saturday, July 15th, 2023
Commit:	6352d324 on result-filters
Hostname:	nightly with Racket 8.6
Seed:	2023196
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

sample5.9min (19.2%)

Results

3.9min	1798948×	body	256	valid
47.0s	334392×	body	256	infinite
24.4s	142973×	body	256	invalid
23.0s	45447×	body	1024	valid
10.8s	32139×	body	512	valid
7.0s	9731×	body	2048	valid
2.0s	1649×	body	8192	exit
1.8s	4872×	body	1024	infinite
776.0ms	342×	body	4096	valid
716.0ms	3248×	body	512	infinite
312.0ms	1295×	body	1024	invalid
150.0ms	906×	body	512	invalid
0.0ms	2×	body	2048	invalid
0.0ms	1×	body	2048	infinite

Bogosity

soundness5.1min (16.6%)

Rules

1208054×	`fma-def`
679188×	`associate-r`
563286×	`log-prod`
528444×	`associate-l`
527988×	`fma-neg`

Stop Event

134×	saturated
9×	unsound
1436×	node limit

Compiler

Compiled 109837 to 60236 computations (45.2% saved)

regimes4.6min (14.8%)

Counts

35601 → 5751

Calls

490 calls:

47.7s	y
41.5s	z
40.9s	x
29.5s	t
22.0s	a

Compiler

Compiled 442705 to 246888 computations (44.2% saved)

simplify3.1min (10%)

Algorithm

1366×

egg-herbie

Rules

903822×	`fma-def`
494772×	`associate-r`
483804×	`log-prod`
426478×	`fma-neg`
426376×	`associate-l`

Stop Event

7×	unsound
70×	done
436×	saturated
200×	fuel
923×	node limit

Counts

383978 → 282013

Compiler

Compiled 65659 to 40303 computations (38.6% saved)

localize3.0min (9.7%)

Compiler: Compiled 115990 to 46984 computations (59.5% saved)

eval2.6min (8.5%)

Compiler: Compiled 8634030 to 4090944 computations (52.6% saved)

rewrite1.7min (5.5%)

Algorithm

826×	batch-egg-rewrite

Rules

516252×	`pow1`
486418×	`add-exp-log`
486128×	`log1p-expm1-u`
486090×	`expm1-log1p-u`
468686×	`add-log-exp`

Stop Event

2×	unsound
824×	node limit

Counts

6020 → 216187

prune1.7min (5.4%)

Counts: 359633 → 13914
Compiler: Compiled 710871 to 483611 computations (32% saved)

bsearch1.5min (4.8%)

Algorithm

3394×	binary-search
283×	left-value

Stop Event

3335×	narrow-enough
3×	predicate-failed
56×	predicate-same

Results

50.3s	317250×	body	256	valid
21.7s	90170×	body	256	infinite
4.1s	6311×	body	1024	valid
2.4s	6331×	body	512	valid
906.0ms	9551×	body	256	invalid
533.0ms	1436×	body	1024	infinite
156.0ms	646×	body	512	infinite
120.0ms	289×	body	2048	valid
1.0ms	7×	body	512	invalid
0.0ms	2×	body	4096	valid

Compiler

Compiled 758746 to 567236 computations (25.2% saved)

end36.1s (2%)

Compiler: Compiled 139108 to 67190 computations (51.7% saved)

series30.3s (1.6%)

Counts

6020 → 167521

Calls

42855 calls:

Time	Variable		Point	Expression
236.0ms	x	@	0	(*.f64 x (log.f64 y))
214.0ms	y	@	inf	(/.f64 (.f64 y t) (.f64 z z))
192.0ms	y	@	inf	(*.f64 x (neg.f64 (log.f64 (/.f64 y x))))
160.0ms	x	@	-inf	(log.f64 (.f64 1/3 (acos.f64 (.f64 1/18 (/.f64 (sqrt.f64 t) (*.f64 z (/.f64 y x)))))))
153.0ms	x	@	0	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (-.f64 y (.f64 (*.f64 z 1/3) t))) (sqrt.f64 x))) 3)

preprocess20.5s (1.1%)

Algorithm

540×	egg-herbie

Rules

268784×	`fma-def`
112036×	`fma-neg`
103534×	`sub-neg`
90584×	`div-sub`
79236×	`distribute-lft-in`

Stop Event

59×	unsound
353×	saturated
128×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

analyze15.5s (0.8%)

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)

sample5.9min (19.2%)

soundness5.1min (16.6%)

regimes4.6min (14.8%)

simplify3.1min (10%)

localize3.0min (9.7%)

eval2.6min (8.5%)

rewrite1.7min (5.5%)

prune1.7min (5.4%)

bsearch1.5min (4.8%)

end36.1s (2%)

series30.3s (1.6%)

preprocess20.5s (1.1%)

analyze15.5s (0.8%)

Profiling