Metrics for Herbie run

Date:	Monday, April 29th, 2024
Commit:	3b4a8415 on faster-sampling
Hostname:	nightly with Racket 8.11.1
Seed:	2024120
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

sample12.0s (16.8%)

Results

7.1s	70173×	0	valid
1.5s	4126×	2	valid
411.0ms	1985×	0	invalid
1.0ms	5×	1	valid

Precisions

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

ival-mult: 2.3s (37.9% of total)

ival-div: 1.1s (17.7% of total)

ival-sub: 640.0ms (10.5% of total)

ival-sqrt: 587.0ms (9.6% of total)

ival-add: 329.0ms (5.4% of total)

ival-neg: 260.0ms (4.3% of total)

ival->=: 206.0ms (3.4% of total)

ival-exp: 164.0ms (2.7% of total)

const: 117.0ms (1.9% of total)

ival-log: 103.0ms (1.7% of total)

backward-pass: 102.0ms (1.7% of total)

ival-if: 101.0ms (1.7% of total)

ival-fabs: 100.0ms (1.6% of total)

Bogosity

simplify10.8s (15.1%)

Algorithm

37×	egg-herbie

Rules

13027×	`fma-define`
10025×	`times-frac`
8476×	`fma-neg`
8019×	`distribute-lft-in`
7399×	`*-commutative`

Stop Event

9×	saturated
28×	node limit

Counts

13924 → 12690

localize9.7s (13.6%)

Algorithm

29×	egg-herbie

Rules

11763×	`fma-neg`
10370×	`fma-define`
6019×	`div-sub`
3971×	`times-frac`
3580×	`distribute-lft-neg-in`

Stop Event

18×	saturated
11×	node limit

Results

1.7s	5650×	0	valid
1.4s	525×	2	valid
878.0ms	125×	5	exit
484.0ms	453×	0	invalid
432.0ms	591×	1	valid
106.0ms	35×	3	valid
65.0ms	14×	2	invalid
44.0ms	30×	1	invalid
3.0ms	1×	3	invalid

Compiler

Compiled 5819 to 698 computations (88% saved)

Precisions

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

ival-sub: 689.0ms (22.9% of total)

ival-pow: 552.0ms (18.3% of total)

ival-mult: 407.0ms (13.5% of total)

ival-div: 356.0ms (11.8% of total)

backward-pass: 258.0ms (8.6% of total)

ival-add: 196.0ms (6.5% of total)

ival-sqrt: 194.0ms (6.4% of total)

ival-fma: 99.0ms (3.3% of total)

ival-if: 94.0ms (3.1% of total)

ival-neg: 47.0ms (1.6% of total)

const: 27.0ms (0.9% of total)

ival-cbrt: 19.0ms (0.6% of total)

ival-fabs: 17.0ms (0.6% of total)

ival-hypot: 13.0ms (0.4% of total)

ival->=: 13.0ms (0.4% of total)

ival-log: 13.0ms (0.4% of total)

ival-log1p: 9.0ms (0.3% of total)

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

soundness9.7s (13.6%)

Rules

11127×	`fma-define`
9199×	`times-frac`
8068×	`fma-neg`
5635×	`*-commutative`
5338×	`distribute-lft-in`

Stop Event

3×	saturated
4×	fuel
31×	node limit
5×	done

Compiler

Compiled 6701 to 1925 computations (71.3% saved)

prune7.5s (10.5%)

Counts: 22835 → 399
Compiler: Compiled 20370 to 10586 computations (48% saved)

rewrite6.9s (9.7%)

Algorithm

28×	batch-egg-rewrite

Rules

15707×	`log1p-expm1-u`
11801×	`expm1-log1p-u`
7807×	`pow1`
7221×	`add-exp-log`
6615×	`add-log-exp`

Stop Event

28×	node limit

Counts

265 → 7949

eval5.2s (7.3%)

Compiler: Compiled 806724 to 89929 computations (88.9% saved)

explain2.5s (3.6%)

Results

908.0ms	652×	2	valid
452.0ms	3694×	0	valid
126.0ms	248×	1	valid
10.0ms	14×	3	valid

Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions

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

ival-div: 276.0ms (33.7% of total)

ival-mult: 261.0ms (31.8% of total)

ival-sub: 105.0ms (12.8% of total)

backward-pass: 44.0ms (5.4% of total)

ival-sqrt: 40.0ms (4.9% of total)

ival-neg: 24.0ms (2.9% of total)

ival-if: 19.0ms (2.3% of total)

ival-add: 18.0ms (2.2% of total)

const: 9.0ms (1.1% of total)

ival->=: 6.0ms (0.7% of total)

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

ival-log: 6.0ms (0.7% of total)

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

series1.9s (2.7%)

Counts

265 → 5975

Calls

1530 calls:

Time	Variable		Point	Expression
121.0ms	x	@	-inf	(log x)
102.0ms	a	@	-inf	(if (>= b 0) (* c (/ -2 (+ b (sqrt (+ (* c (* a -4)) (* b b)))))) (/ (- b (pow (pow (+ (* c (* a -4)) (pow b 2)) 1/4) 2)) (* a -2)))
48.0ms	f	@	-inf	(/ (* 2 f) n)
40.0ms	c	@	inf	(if (>= b 0) (* c (/ -2 (+ b b))) (/ (- b (pow (cbrt (neg b)) 3)) (* a -2)))
36.0ms	x	@	-inf	(* x z)

preprocess1.9s (2.6%)

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 3018 to 1016 computations (66.3% saved)

regimes1.2s (1.7%)

Counts

1000 → 103

Calls

26 calls:

421.0ms	x
171.0ms	b
98.0ms	z
74.0ms	a
72.0ms	c

Compiler

Compiled 553 to 370 computations (33.1% saved)

analyze975.0ms (1.4%)

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 97 computations (39.8% saved)

Precisions

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

ival-mult: 355.0ms (54% of total)

ival-div: 98.0ms (14.9% of total)

ival-sub: 87.0ms (13.2% of total)

ival-neg: 32.0ms (4.9% of total)

ival-sqrt: 23.0ms (3.5% of total)

ival-add: 20.0ms (3% of total)

ival-if: 16.0ms (2.4% of total)

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

const: 7.0ms (1.1% of total)

ival-fabs: 3.0ms (0.5% of total)

backward-pass: 1.0ms (0.2% of total)

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

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

bsearch956.0ms (1.3%)

Algorithm

48×	binary-search
1×	left-value

Stop Event

6×	predicate-same
42×	narrow-enough

Results

560.0ms	5120×	0	valid
64.0ms	198×	0	invalid
21.0ms	96×	2	valid

Compiler

Compiled 10269 to 6833 computations (33.5% saved)

Precisions

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

ival-div: 172.0ms (36.4% of total)

ival-add: 116.0ms (24.5% of total)

ival-mult: 77.0ms (16.3% of total)

ival-sub: 36.0ms (7.6% of total)

ival-sqrt: 17.0ms (3.6% of total)

ival-neg: 14.0ms (3% of total)

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

const: 8.0ms (1.7% of total)

ival-if: 8.0ms (1.7% of total)

ival->=: 8.0ms (1.7% of total)

backward-pass: 4.0ms (0.8% of total)

Herbie run

sample12.0s (16.8%)

simplify10.8s (15.1%)

localize9.7s (13.6%)

soundness9.7s (13.6%)

prune7.5s (10.5%)

rewrite6.9s (9.7%)

eval5.2s (7.3%)

explain2.5s (3.6%)

series1.9s (2.7%)

preprocess1.9s (2.6%)

regimes1.2s (1.7%)

analyze975.0ms (1.4%)

bsearch956.0ms (1.3%)

end0.0ms (0%)

Profiling