Metrics for Herbie run

Date:	Saturday, July 1st, 2023
Commit:	1e3c827b on main
Hostname:	nightly with Racket 8.6
Seed:	2023182
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

sample1.7min (21.8%)

Results

31.6s	155411×	body	256	valid
18.5s	29418×	body	1024	valid
11.3s	66402×	body	256	invalid
8.5s	7903×	body	8192	exit
7.4s	39077×	body	256	infinite
5.8s	10204×	body	2048	valid
5.2s	13689×	body	512	valid
3.1s	5969×	body	1024	invalid
2.2s	659×	body	4096	infinite
2.1s	2061×	body	4096	valid
1.5s	8035×	body	256	unsamplable
1.5s	676×	body	2048	infinite
1.3s	2492×	body	1024	infinite
1.0s	3072×	body	512	invalid
699.0ms	780×	body	8192	valid
472.0ms	1469×	body	512	infinite
6.0ms	8×	body	2048	invalid

Bogosity

soundness1.4min (17.5%)

Rules

270236×	`fma-def`
187314×	`times-frac`
186394×	`associate-r`
159286×	`log-prod`
147316×	`associate-l`

Stop Event

2×	unsound
5×	saturated
426×	node limit

Compiler

Compiled 47353 to 27323 computations (42.3% saved)

localize1.2min (15.8%)

Compiler: Compiled 37660 to 17442 computations (53.7% saved)

regimes55.0s (11.6%)

Counts

10308 → 962

Calls

152 calls:

4.3s	l
2.9s	t
2.5s	d
2.0s	NdChar
1.7s	Vef

Compiler

Compiled 153864 to 80238 computations (47.9% saved)

eval42.6s (9%)

Compiler: Compiled 2360840 to 1427300 computations (39.5% saved)

simplify33.4s (7.1%)

Algorithm

179×	egg-herbie

Rules

122664×	`fma-def`
83854×	`associate-r`
76066×	`times-frac`
70996×	`associate-l`
66364×	`*-commutative`

Stop Event

3×	done
37×	saturated
28×	fuel
142×	node limit

Counts

59377 → 46400

Compiler

Compiled 16015 to 10164 computations (36.5% saved)

bsearch20.5s (4.3%)

Algorithm

461×	binary-search
131×	left-value

Stop Event

451×	narrow-enough
10×	predicate-same

Results

8.3s	39443×	body	256	valid
3.6s	5715×	body	1024	valid
2.5s	12546×	body	256	invalid
2.2s	8811×	body	256	infinite
2.0s	3448×	body	512	valid
174.0ms	319×	body	1024	invalid
160.0ms	244×	body	1024	infinite
131.0ms	299×	body	2048	valid
95.0ms	168×	body	4096	valid
64.0ms	171×	body	512	infinite
25.0ms	105×	body	512	invalid
16.0ms	19×	body	8192	valid
1.0ms	2×	body	2048	infinite
1.0ms	1×	body	8192	exit

Compiler

Compiled 144110 to 106382 computations (26.2% saved)

prune19.7s (4.2%)

Counts: 69872 → 3124
Compiler: Compiled 218944 to 149875 computations (31.5% saved)

rewrite14.3s (3%)

Algorithm

117×	batch-egg-rewrite

Rules

85122×	`pow1`
80558×	`add-exp-log`
80466×	`log1p-expm1-u`
80452×	`expm1-log1p-u`
80374×	`add-log-exp`

Stop Event

1×	unsound
116×	node limit

Counts

1288 → 27246

analyze9.9s (2.1%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
23%	22.6%	75.6%	1.8%	0%	0%	0%	1
24.2%	23.3%	73.2%	1.8%	0%	1.6%	0%	2
30.2%	28.2%	65.2%	1.8%	0%	4.8%	0%	3
34%	31.2%	60.6%	1.8%	0%	6.4%	0%	4
36.2%	33.2%	58.5%	1.8%	0%	6.4%	0%	5
40.4%	37%	54.5%	1.8%	0%	6.6%	0%	6
45.4%	41.1%	49.4%	1.8%	0%	7.3%	0.4%	7
47.7%	42.6%	46.7%	1.8%	0%	8.6%	0.4%	8
50.6%	44.9%	43.9%	1.8%	0%	8.9%	0.5%	9
51.7%	45.7%	42.7%	1.8%	0%	9.3%	0.5%	10
53.4%	46.8%	40.9%	1.8%	0%	9.9%	0.6%	11
55.1%	48%	39.1%	1.8%	0%	10.5%	0.6%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

series8.3s (1.7%)

Counts

1288 → 32100

Calls

8904 calls:

Time	Variable		Point	Expression
275.0ms	n	@	inf	(.f64 (sin.f64 (-.f64 (.f64 K (.f64 1/2 n)) M)) (.f64 K m))
107.0ms	k	@	-inf	(log.f64 (*.f64 2 (/.f64 (PI.f64) (/.f64 k n))))
98.0ms	K	@	0	(log.f64 (.f64 (+.f64 m n) (.f64 K 1/2)))
77.0ms	v	@	inf	(log1p.f64 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1))))
75.0ms	kx	@	-inf	(pow.f64 (/.f64 (sin.f64 th) (/.f64 kx (sin.f64 ky))) 2)

end6.5s (1.4%)

Compiler: Compiled 31906 to 16690 computations (47.7% saved)

preprocess2.7s (0.6%)

Algorithm

62×	egg-herbie

Rules

28786×	`fma-def`
14268×	`fma-neg`
13542×	`associate-*r/`
12824×	`associate-r`
12316×	`distribute-lft-in`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

sample1.7min (21.8%)

soundness1.4min (17.5%)

localize1.2min (15.8%)

regimes55.0s (11.6%)

eval42.6s (9%)

simplify33.4s (7.1%)

bsearch20.5s (4.3%)

prune19.7s (4.2%)

rewrite14.3s (3%)

analyze9.9s (2.1%)

series8.3s (1.7%)

end6.5s (1.4%)

preprocess2.7s (0.6%)

Profiling