Metrics for Herbie run

Date:	Tuesday, March 26th, 2024
Commit:	79027280 on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024086
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

localize26.7s (29.7%)

Results

3.0s	4251×	256	valid
485.0ms	697×	256	infinite
4.7s	413×	2048	valid
405.0ms	348×	256	invalid
2.4s	295×	1024	valid
4.0s	158×	8192	exit
2.6s	157×	4096	valid
2.2s	116×	4096	infinite
769.0ms	110×	512	valid
793.0ms	52×	2048	infinite
174.0ms	19×	2048	invalid
90.0ms	15×	1024	infinite
97.0ms	14×	1024	invalid
73.0ms	6×	4096	invalid
21.0ms	5×	512	invalid

Compiler

Compiled 6090 to 3294 computations (45.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 20.5s

ival-pow: 6.6s (32.3% of total)

ival-mult: 4.6s (22.5% of total)

composed: 2.3s (11.4% of total)

ival-add: 1.6s (7.6% of total)

ival-div: 1.5s (7.3% of total)

ival-sqrt: 1.1s (5.4% of total)

ival-sub: 964.0ms (4.7% of total)

ival-cbrt: 353.0ms (1.7% of total)

ival-exp: 347.0ms (1.7% of total)

const: 325.0ms (1.6% of total)

ival->=: 318.0ms (1.6% of total)

ival-log: 184.0ms (0.9% of total)

ival-if: 130.0ms (0.6% of total)

ival-e: 73.0ms (0.4% of total)

ival-neg: 48.0ms (0.2% of total)

ival-fabs: 32.0ms (0.2% of total)

eval16.6s (18.4%)

Compiler: Compiled 734074 to 486700 computations (33.7% saved)

sample14.6s (16.2%)

Results

8.3s	63127×	0	valid
916.0ms	7139×	0	infinite
1.3s	4027×	2	valid
405.0ms	1923×	0	invalid
2.0ms	11×	1	valid

Precisions

Click to see histograms. Total time spent on operations: 6.4s

ival-mult: 2.0s (31.4% of total)

ival-div: 1.3s (19.7% of total)

ival-sub: 857.0ms (13.3% of total)

ival-sqrt: 757.0ms (11.8% of total)

ival-add: 360.0ms (5.6% of total)

ival-neg: 266.0ms (4.1% of total)

ival->=: 189.0ms (2.9% of total)

backward-pass: 160.0ms (2.5% of total)

const: 154.0ms (2.4% of total)

ival-log: 116.0ms (1.8% of total)

ival-fabs: 113.0ms (1.8% of total)

ival-if: 103.0ms (1.6% of total)

ival-exp: 71.0ms (1.1% of total)

Bogosity

simplify6.8s (7.5%)

Algorithm

32×	egg-herbie

Rules

7591×	`*-commutative`
7222×	`times-frac`
6964×	`fma-define`
6687×	`distribute-lft-in`
6562×	`distribute-rgt-in`

Stop Event

9×	saturated
23×	node limit

Counts

9226 → 9315

prune5.9s (6.6%)

Counts: 17651 → 361
Compiler: Compiled 19195 to 12782 computations (33.4% saved)

soundness5.6s (6.3%)

Rules

7064×	`log1p-expm1-u`
6149×	`fma-neg`
6071×	`fma-define`
5186×	`distribute-lft-in`
5112×	`times-frac`

Stop Event

2×	saturated
4×	fuel
24×	node limit
5×	done

Compiler

Compiled 4967 to 2972 computations (40.2% saved)

rewrite4.4s (4.8%)

Algorithm

23×	batch-egg-rewrite

Rules

15075×	`log1p-expm1-u`
11252×	`expm1-log1p-u`
5248×	`pow1`
5022×	`add-exp-log`
4582×	`add-log-exp`

Stop Event

23×	node limit

Counts

146 → 5170

explain3.4s (3.8%)

Results

971.0ms	3386×	256	valid
618.0ms	460×	2048	valid
55.0ms	358×	256	infinite
359.0ms	166×	1024	valid
192.0ms	80×	4096	valid
440.0ms	62×	4096	infinite
68.0ms	60×	512	valid
50.0ms	28×	2048	infinite
11.0ms	8×	1024	infinite

Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.8s

ival-mult: 960.0ms (52.8% of total)

ival-sub: 227.0ms (12.5% of total)

ival-div: 223.0ms (12.3% of total)

ival-sqrt: 199.0ms (10.9% of total)

ival-add: 70.0ms (3.9% of total)

const: 41.0ms (2.3% of total)

ival->=: 28.0ms (1.5% of total)

ival-neg: 26.0ms (1.4% of total)

ival-log: 17.0ms (0.9% of total)

ival-if: 15.0ms (0.8% of total)

ival-fabs: 6.0ms (0.3% of total)

ival-exp: 5.0ms (0.3% of total)

preprocess2.1s (2.3%)

Algorithm

9×	egg-herbie

Rules

3285×	`fma-neg`
2821×	`fma-define`
1502×	`times-frac`
1470×	`div-sub`
1170×	`sub-neg`

Stop Event

5×	saturated
4×	node limit

Compiler

Compiled 2910 to 1740 computations (40.2% saved)

series1.2s (1.3%)

Counts

146 → 4056

Calls

921 calls:

Time	Variable		Point	Expression
130.0ms	y	@	0	(- (/ (+ x 4) y) (* (/ x y) z))
82.0ms	a	@	-inf	(/ (* 2 c) (- (neg b) (cbrt (pow (- (pow b 2) (* 4 (* a c))) 3/2))))
75.0ms	x	@	inf	(log (+ 1 (exp (+ (* x x) -1))))
43.0ms	x	@	inf	(cbrt (sqrt (exp (+ (* x x) -1))))
31.0ms	b	@	-inf	(/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))

regimes1.2s (1.3%)

Counts

555 → 78

Calls

26 calls:

218.0ms	b
160.0ms	x
155.0ms	a
144.0ms	c
101.0ms	y

Compiler

Compiled 500 to 350 computations (30% saved)

analyze917.0ms (1%)

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)

Precisions

Click to see histograms. Total time spent on operations: 573.0ms

ival-mult: 222.0ms (38.8% of total)

ival-sqrt: 125.0ms (21.8% of total)

ival-div: 95.0ms (16.6% of total)

ival-sub: 51.0ms (8.9% of total)

ival-add: 21.0ms (3.7% of total)

ival-neg: 16.0ms (2.8% of total)

ival-if: 15.0ms (2.6% of total)

ival->=: 14.0ms (2.4% of total)

const: 9.0ms (1.6% of total)

ival-fabs: 4.0ms (0.7% of total)

ival-exp: 0.0ms (0% of total)

ival-log: 0.0ms (0% of total)

bsearch812.0ms (0.9%)

Algorithm

34×	binary-search
1×	left-value

Stop Event

6×	predicate-same
28×	narrow-enough

Results

463.0ms	3400×	valid
59.0ms	424×	infinite
42.0ms	289×	invalid

Compiler

Compiled 10580 to 7371 computations (30.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 329.0ms

ival-mult: 114.0ms (34.6% of total)

ival-div: 55.0ms (16.7% of total)

ival-sub: 45.0ms (13.7% of total)

ival-sqrt: 33.0ms (10% of total)

ival-add: 24.0ms (7.3% of total)

ival->=: 14.0ms (4.3% of total)

ival-if: 12.0ms (3.6% of total)

ival-neg: 12.0ms (3.6% of total)

const: 10.0ms (3% of total)

ival-fabs: 9.0ms (2.7% of total)

backward-pass: 2.0ms (0.6% of total)

Herbie run

localize26.7s (29.7%)

eval16.6s (18.4%)

sample14.6s (16.2%)

simplify6.8s (7.5%)

prune5.9s (6.6%)

soundness5.6s (6.3%)

rewrite4.4s (4.8%)

explain3.4s (3.8%)

preprocess2.1s (2.3%)

series1.2s (1.3%)

regimes1.2s (1.3%)

analyze917.0ms (1%)

bsearch812.0ms (0.9%)

end0.0ms (0%)

Profiling