Metrics for Herbie run

Date:	Friday, October 20th, 2023
Commit:	21d611eb on main
Hostname:	nightly with Racket 8.6
Seed:	2023293
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

localize13.0s (23.1%)

Compiler: Compiled 7291 to 3806 computations (47.8% saved)

sample10.9s (19.3%)

Results

8.1s	62999×	body	256	valid
1.3s	4106×	body	2048	valid
936.0ms	7199×	body	256	infinite
358.0ms	1898×	body	256	invalid

Bogosity

eval10.9s (19.3%)

Compiler: Compiled 675751 to 410538 computations (39.2% saved)

soundness6.4s (11.3%)

Rules

28110×	`fma-def`
22218×	`times-frac`
16626×	`associate-r`
12486×	`distribute-rgt-in`
12388×	`distribute-lft-in`

Stop Event

2×	saturated
40×	node limit

Compiler

Compiled 6435 to 3778 computations (41.3% saved)

prune3.7s (6.6%)

Counts: 13805 → 300
Compiler: Compiled 30410 to 19957 computations (34.4% saved)

simplify3.5s (6.1%)

Algorithm

28×	egg-herbie

Rules

13044×	`fma-def`
11134×	`associate-r`
9552×	`times-frac`
8584×	`associate-l`
8394×	`unswap-sqr`

Stop Event

9×	saturated
4×	done
5×	fuel
19×	node limit

Counts

7166 → 6037

Compiler

Compiled 1267 to 833 computations (34.3% saved)

rewrite2.1s (3.7%)

Algorithm

19×	batch-egg-rewrite

Rules

12858×	`pow1`
12182×	`add-exp-log`
12170×	`expm1-log1p-u`
12170×	`log1p-expm1-u`
12086×	`add-log-exp`

Stop Event

19×	node limit

Counts

120 → 4629

preprocess2.1s (3.7%)

Algorithm

9×	egg-herbie

Rules

5828×	`div-sub`
5698×	`fma-neg`
5666×	`fma-def`
4786×	`times-frac`
3022×	`associate-/r*`

Stop Event

5×	saturated
4×	node limit

Compiler

Compiled 3458 to 2050 computations (40.7% saved)

regimes2.0s (3.6%)

Counts

432 → 70

Calls

19 calls:

409.0ms	b
337.0ms	c
244.0ms	a
213.0ms	x
164.0ms	z

Compiler

Compiled 11491 to 6669 computations (42% saved)

series736.0ms (1.3%)

Counts

120 → 2537

Calls

735 calls:

Time	Variable		Point	Expression
55.0ms	c	@	0	(exp.f64 (.f64 1/4 (+.f64 (log.f64 (neg.f64 (.f64 4 a))) (*.f64 -1 (log.f64 (/.f64 1 c))))))
52.0ms	c	@	0	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
36.0ms	b	@	inf	(+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 a 4))) 3/2)))
32.0ms	a	@	0	(exp.f64 (.f64 1/4 (+.f64 (log.f64 (neg.f64 (.f64 4 a))) (*.f64 -1 (log.f64 (/.f64 1 c))))))
25.0ms	a	@	0	(pow.f64 (.f64 a (.f64 -4 c)) 1/4)

bsearch629.0ms (1.1%)

Algorithm

37×	binary-search

Stop Event

28×	narrow-enough
9×	predicate-same

Results

495.0ms	3782×	body	256	valid
34.0ms	314×	body	256	infinite
34.0ms	264×	body	256	invalid

Compiler

Compiled 10364 to 7277 computations (29.8% saved)

analyze454.0ms (0.8%)

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
67.2%	56.9%	27.7%	0.1%	0%	15.3%	0%	5
74.4%	62.4%	21.5%	0.1%	0%	16%	0%	6
78.9%	64.9%	17.3%	0.1%	0%	17.7%	0%	7
80.8%	66.3%	15.8%	0.1%	0%	17.9%	0%	8
85.9%	69.9%	11.5%	0.1%	0%	18.5%	0%	9
88%	70.7%	9.7%	0.1%	0%	19.6%	0%	10
90%	72.1%	8%	0.1%	0%	19.8%	0%	11
92.3%	73.5%	6.2%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 161 to 110 computations (31.7% saved)

Herbie run

localize13.0s (23.1%)

sample10.9s (19.3%)

eval10.9s (19.3%)

soundness6.4s (11.3%)

prune3.7s (6.6%)

simplify3.5s (6.1%)

rewrite2.1s (3.7%)

preprocess2.1s (3.7%)

regimes2.0s (3.6%)

series736.0ms (1.3%)

bsearch629.0ms (1.1%)

analyze454.0ms (0.8%)

end0.0ms (0%)

Profiling