Metrics for Herbie run

Date:	Sunday, October 1st, 2023
Commit:	89d2ba58 on better-profiles
Hostname:	nightly with Racket 8.6
Seed:	2023274
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

sample2.5min (21.6%)

Results

41.7s	155536×	body	256	valid
27.2s	29353×	body	1024	valid
17.6s	67008×	body	256	invalid
14.1s	7905×	body	8192	exit
10.8s	38879×	body	256	infinite
8.8s	10177×	body	2048	valid
7.9s	13837×	body	512	valid
5.0s	6125×	body	1024	invalid
3.3s	675×	body	4096	infinite
2.7s	2052×	body	4096	valid
2.6s	8090×	body	256	unsamplable
2.2s	643×	body	2048	infinite
1.8s	3104×	body	512	invalid
1.6s	2469×	body	1024	infinite
1.1s	851×	body	8192	valid
700.0ms	1464×	body	512	infinite
2.0ms	3×	body	2048	invalid

Bogosity

localize1.8min (15.3%)

Compiler: Compiled 38742 to 18006 computations (53.5% saved)

soundness1.7min (15.1%)

Rules

255434×	`fma-def`
201788×	`associate-r`
164348×	`associate-l`
158366×	`times-frac`
132494×	`log-prod`

Stop Event

2×	unsound
3×	saturated
404×	node limit

Compiler

Compiled 43970 to 26944 computations (38.7% saved)

eval1.4min (11.9%)

Compiler: Compiled 3004250 to 1816300 computations (39.5% saved)

regimes1.4min (11.7%)

Counts

9735 → 901

Calls

152 calls:

6.7s	l
4.6s	t
4.0s	F
3.3s	d
3.3s	NaChar

Compiler

Compiled 155484 to 82265 computations (47.1% saved)

simplify46.3s (6.7%)

Algorithm

154×	egg-herbie

Rules

101786×	`fma-def`
85190×	`associate-r`
72244×	`associate-l`
67992×	`times-frac`
59260×	`*-commutative`

Stop Event

1×	done
31×	saturated
30×	fuel
123×	node limit

Counts

63068 → 50360

Compiler

Compiled 14050 to 9097 computations (35.3% saved)

prune32.8s (4.7%)

Counts: 77550 → 3064
Compiler: Compiled 224705 to 153254 computations (31.8% saved)

bsearch25.9s (3.7%)

Algorithm

453×	binary-search
110×	left-value

Stop Event

439×	narrow-enough
14×	predicate-same

Results

9.7s	37223×	body	256	valid
5.0s	6082×	body	1024	valid
2.6s	8316×	body	256	infinite
2.1s	3755×	body	512	valid
1.7s	7538×	body	256	invalid
957.0ms	804×	body	2048	valid
663.0ms	546×	body	4096	valid
384.0ms	725×	body	1024	invalid
323.0ms	417×	body	1024	infinite
303.0ms	151×	body	8192	valid
298.0ms	698×	body	512	invalid
155.0ms	26×	body	4096	infinite
125.0ms	293×	body	512	infinite
60.0ms	35×	body	2048	infinite
1.0ms	1×	body	8192	exit

Compiler

Compiled 133610 to 99465 computations (25.6% saved)

rewrite22.4s (3.2%)

Algorithm

123×	batch-egg-rewrite

Rules

87282×	`pow1`
82608×	`add-exp-log`
82508×	`log1p-expm1-u`
82496×	`expm1-log1p-u`
82462×	`add-log-exp`

Stop Event

1×	unsound
122×	node limit

Counts

1391 → 29800

analyze15.0s (2.2%)

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)

preprocess13.9s (2%)

Algorithm

31×	egg-herbie

Rules

36464×	`fma-def`
16456×	`fma-neg`
13966×	`div-sub`
13472×	`distribute-lft-neg-in`
12750×	`distribute-lft-in`

Stop Event

5×	saturated
26×	node limit

Compiler

Compiled 34800 to 19622 computations (43.6% saved)

series13.3s (1.9%)

Counts

1391 → 33268

Calls

9312 calls:

Time	Variable		Point	Expression
464.0ms	Om	@	-inf	(sqrt.f64 (+.f64 1 (.f64 4 (pow.f64 (.f64 (/.f64 l Om) (sin.f64 ky)) 2))))
185.0ms	d	@	0	(pow.f64 (/.f64 d l) 1/4)
183.0ms	k	@	0	(pow.f64 (pow.f64 k -1/2) 3)
168.0ms	D	@	0	(pow.f64 (exp.f64 1/6) (+.f64 (log.f64 (.f64 -1/4 (.f64 (/.f64 D (/.f64 l D)) (/.f64 (.f64 M M) (.f64 d d))))) (log.f64 h)))
137.0ms	M	@	0	(log.f64 (.f64 -1/4 (.f64 (/.f64 (.f64 M M) (.f64 d d)) (/.f64 h l))))

Herbie run

sample2.5min (21.6%)

localize1.8min (15.3%)

soundness1.7min (15.1%)

eval1.4min (11.9%)

regimes1.4min (11.7%)

simplify46.3s (6.7%)

prune32.8s (4.7%)

bsearch25.9s (3.7%)

rewrite22.4s (3.2%)

analyze15.0s (2.2%)

preprocess13.9s (2%)

series13.3s (1.9%)

end22.0ms (0%)

Profiling