Metrics for Herbie run

Date:	Monday, July 22nd, 2024
Commit:	11cd870a on better-preprocessing
Hostname:	nightly with Racket 8.11.1
Seed:	2024204
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

simplify1.1min (25.9%)

Memory

9.2MiB live, 49 557.3MiB allocated

Algorithm

160×	egg-herbie

Rules

1 113 506×	`accelerator-lowering-fma.f32`
1 113 506×	`accelerator-lowering-fma.f64`
375 418×	`-lowering-.f32`
375 418×	`-lowering-.f64`
205 250×	`+-lowering-+.f32`

Stop Event

138×	iter limit
85×	saturated
77×	node limit

Counts

15 540 → 15 540

sample1.0min (22.9%)

Memory

101.3MiB live, 51 178.4MiB allocated

Samples

21.3s	109 922×	0	valid
17.2s	43 436×	1	valid
8.5s	6 314×	5	exit
4.6s	11 757×	2	valid
867.0ms	9 185×	1	exit
442.0ms	3 938×	0	invalid
205.0ms	1 078×	2	exit
101.0ms	1 373×	0	exit
1.0ms	5×	3	valid

Precisions

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

ival-mult: 14.0s (30.8% of total)

const: 9.5s (20.7% of total)

ival-exp: 3.8s (8.4% of total)

ival-pow: 3.1s (6.7% of total)

ival-cos: 2.2s (4.9% of total)

adjust: 1.6s (3.6% of total)

ival-tan: 1.6s (3.4% of total)

ival-log: 1.5s (3.4% of total)

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

ival-sqrt: 953.0ms (2.1% of total)

ival-fmod: 872.0ms (1.9% of total)

ival-sinh: 860.0ms (1.9% of total)

ival-sub: 856.0ms (1.9% of total)

ival-sin: 825.0ms (1.8% of total)

ival-div: 586.0ms (1.3% of total)

ival-<=: 538.0ms (1.2% of total)

ival-acos: 347.0ms (0.8% of total)

ival-pow2: 342.0ms (0.7% of total)

ival-neg: 170.0ms (0.4% of total)

ival-hypot: 159.0ms (0.3% of total)

ival-==: 151.0ms (0.3% of total)

ival-and: 121.0ms (0.3% of total)

ival-true: 99.0ms (0.2% of total)

exact: 87.0ms (0.2% of total)

ival-assert: 78.0ms (0.2% of total)

ival-<: 69.0ms (0.2% of total)

ival-atan: 51.0ms (0.1% of total)

ival-or: 37.0ms (0.1% of total)

ival->: 30.0ms (0.1% of total)

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

Bogosity

soundness36.4s (13.7%)

Memory

138.8MiB live, 11 442.1MiB allocated

Rules

588 530×	`accelerator-lowering-fma.f32`
588 530×	`accelerator-lowering-fma.f64`
318 830×	`-lowering-.f32`
318 830×	`-lowering-.f64`
156 818×	`+-lowering-+.f32`

Stop Event

96×	iter limit
70×	node limit
13×	fuel
7×	done
6×	unsound
4×	saturated

Compiler

Compiled 7 867 to 4 138 computations (47.4% saved)

rewrite25.0s (9.5%)

Memory

69.1MiB live, 29 982.1MiB allocated

Algorithm

70×	batch-egg-rewrite

Rules

260 942×	`accelerator-lowering-fma.f32`
260 942×	`accelerator-lowering-fma.f64`
235 826×	`-lowering-.f32`
235 826×	`-lowering-.f64`
181 952×	`/-lowering-/.f64`

Stop Event

91×	iter limit
61×	node limit
8×	unsound
2×	saturated

Counts

857 → 42 207

localize23.7s (9%)

Memory

28.7MiB live, 12 945.5MiB allocated

Samples

15.6s	12 056×	0	valid
2.2s	3 569×	1	valid
2.2s	1 612×	2	valid
313.0ms	93×	3	valid
81.0ms	326×	0	invalid
61.0ms	81×	1	invalid
53.0ms	172×	1	exit
9.0ms	6×	5	exit
8.0ms	5×	4	valid

Compiler

Compiled 10 672 to 1 609 computations (84.9% saved)

Precisions

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

ival-mult: 13.9s (75.3% of total)

ival-log: 509.0ms (2.8% of total)

ival-div: 444.0ms (2.4% of total)

ival-pow: 430.0ms (2.3% of total)

ival-sqrt: 410.0ms (2.2% of total)

adjust: 372.0ms (2% of total)

ival-add: 364.0ms (2% of total)

ival-fmod: 324.0ms (1.8% of total)

ival-cos: 319.0ms (1.7% of total)

ival-tan: 316.0ms (1.7% of total)

ival-sin: 236.0ms (1.3% of total)

const: 213.0ms (1.2% of total)

ival-sub: 145.0ms (0.8% of total)

ival-exp: 97.0ms (0.5% of total)

ival-pow2: 81.0ms (0.4% of total)

ival-sinh: 75.0ms (0.4% of total)

ival-neg: 65.0ms (0.4% of total)

ival-acos: 26.0ms (0.1% of total)

exact: 23.0ms (0.1% of total)

ival-log1p: 22.0ms (0.1% of total)

ival-hypot: 18.0ms (0.1% of total)

ival-cbrt: 16.0ms (0.1% of total)

ival-true: 15.0ms (0.1% of total)

ival-asin: 10.0ms (0.1% of total)

ival-assert: 9.0ms (0% of total)

ival-pi: 7.0ms (0% of total)

ival-atan: 3.0ms (0% of total)

ival-fabs: 2.0ms (0% of total)

eval13.9s (5.3%)

Memory: 525.4MiB live, 19 045.1MiB allocated
Compiler: Compiled 2 495 396 to 167 454 computations (93.3% saved)

prune11.7s (4.4%)

Memory: -582.4MiB live, 20 081.7MiB allocated
Counts: 79 271 → 1 819
Compiler: Compiled 72 421 to 35 092 computations (51.5% saved)

regimes8.9s (3.4%)

Memory

46.3MiB live, 11 538.8MiB allocated

Counts

4 859 → 244

Calls

55 calls:

1.0s	a
924.0ms	b
808.0ms	x
595.0ms	r
492.0ms	(tan.f64 a)

Compiler

Compiled 3 053 to 2 092 computations (31.5% saved)

analyze3.7s (1.4%)

Memory

49.5MiB live, 4 745.0MiB allocated

Algorithm

20×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	73.7%	26.3%	0%	0%	0%	0
28.8%	21.3%	52.5%	26.3%	0%	0%	0%	1
44.1%	32.5%	41.2%	26.3%	0%	0%	0%	2
52.6%	38.7%	35%	26.3%	0%	0%	0%	3
61.9%	45.6%	28.1%	26.3%	0%	0%	0%	4
65.2%	47.5%	25.3%	26.3%	0%	0.9%	0%	5
66.8%	48.4%	24%	26.3%	0%	1.2%	0%	6
71.1%	51.1%	20.8%	26.3%	0%	1.9%	0%	7
72.1%	51.6%	20%	26.3%	0%	2.1%	0%	8
74.4%	53%	18.2%	26.3%	0%	2.5%	0%	9
75.8%	53.9%	17.2%	26.3%	0%	2.6%	0%	10
76.6%	54.3%	16.6%	26.3%	0%	2.8%	0%	11
77.3%	54.8%	16.1%	26.3%	0%	2.9%	0%	12

Compiler

Compiled 279 to 216 computations (22.6% saved)

preprocess3.7s (1.4%)

Memory

-27.7MiB live, 4 261.7MiB allocated

Algorithm

20×	egg-herbie

Rules

26 494×	`accelerator-lowering-fma.f32`
26 494×	`accelerator-lowering-fma.f64`
5 788×	`+-lowering-+.f32`
5 788×	`+-lowering-+.f64`
5 070×	`unsub-neg`

Stop Event

38×	saturated
19×	iter limit
3×	node limit

Compiler

Compiled 7 910 to 2 950 computations (62.7% saved)

bsearch2.9s (1.1%)

Memory

-76.8MiB live, 3 772.4MiB allocated

Algorithm

76×	binary-search
20×	left-value

Stop Event

74×	narrow-enough
2×	predicate-same

Samples

917.0ms	3 579×	1	valid
616.0ms	1 152×	2	valid
610.0ms	5 029×	0	valid
0.0ms	5×	0	exit

Compiler

Compiled 17 643 to 12 010 computations (31.9% saved)

Precisions

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

ival-tan: 382.0ms (22.1% of total)

ival-exp: 247.0ms (14.3% of total)

ival-fmod: 245.0ms (14.2% of total)

ival-cos: 159.0ms (9.2% of total)

ival-sin: 154.0ms (8.9% of total)

adjust: 115.0ms (6.6% of total)

ival-add: 103.0ms (5.9% of total)

ival-mult: 82.0ms (4.7% of total)

ival-pow: 65.0ms (3.8% of total)

ival-sub: 44.0ms (2.5% of total)

ival-sqrt: 36.0ms (2.1% of total)

ival-neg: 31.0ms (1.8% of total)

ival-div: 29.0ms (1.7% of total)

ival-pow2: 16.0ms (0.9% of total)

ival-acos: 11.0ms (0.6% of total)

ival-true: 7.0ms (0.4% of total)

ival-assert: 4.0ms (0.2% of total)

exact: 1.0ms (0.1% of total)

series2.8s (1.1%)

Memory

-33.6MiB live, 3 744.8MiB allocated

Counts

857 → 15 540

Calls

3051 calls:

Time	Variable		Point	Expression
177.0ms	x	@	inf	(/ (neg (pow (log (/ x (sinh x))) 2)) (log (/ x (sinh x))))
149.0ms	lo	@	inf	(- hi lo)
77.0ms	z	@	0	(sqrt (/ 1 (+ (* y y) (* z z))))
63.0ms	x	@	0	(* (sqrt (* (* 2 x) (sqrt (sqrt x)))) (sqrt (sqrt (* x (sqrt x)))))
55.0ms	x	@	-inf	(log (/ (sinh x) x))

explain2.7s (1%)

Memory

-69.9MiB live, 3 293.8MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	611	0
`cos.f64`	`#f`	sensitivity	518	0
`-.f64`	`#f`	cancellation	358	0
`sqrt.f64`	`#f`	uflow-rescue	304	0
`/.f64`	`#f`	n/o	257	0
`acos.f64`	`(acos.f64 (-.f64 #s(literal 1 binary64) x))`	sensitivity	256	0
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	sensitivity	244	0
`tan.f64`	`(tan.f64 (+.f64 y z))`	sensitivity	184	1
`pow.f64`	`(pow.f64 l (exp.f64 w))`	sensitivity	134	15
`*.f64`	`#f`	*no**	59	0
`*.f64`	`#f`	*uo**	26	0
`*.f64`	`#f`	*nu**	19	0
`-.f64`	`(-.f64 (.f64 a a) (.f64 b b))`	nan-rescue	18	0
↳	`(*.f64 a a)`	overflow	110
↳	`(*.f64 b b)`	overflow	18
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	oflow-rescue	9	0
↳	`(sinh.f64 x)`	overflow	9
↳	`(/.f64 (sinh.f64 x) x)`	overflow	9

Confusion

	Predicted +	Predicted -
+	2211	266
-	723	1920

Precision

0.7535787321063395

Recall

0.8926120306822769

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2211	1	265
-	723	15	1905

Precision?

0.7498305084745762

Recall?

0.8930157448526443

Freqs

test

number	freq
0	2186
1	2871
2	63

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	18	0	0
-	0	0	2

Precision?

1.0

Recall?

1.0

Samples

679.0ms	6 736×	0	valid
460.0ms	2 716×	1	valid
256.0ms	702×	2	valid
13.0ms	86×	1	exit

Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions

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

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

ival-mult: 94.0ms (11.7% of total)

ival-cos: 74.0ms (9.2% of total)

ival-tan: 67.0ms (8.3% of total)

adjust: 58.0ms (7.2% of total)

ival-sqrt: 52.0ms (6.5% of total)

ival-add: 46.0ms (5.7% of total)

ival-exp: 43.0ms (5.3% of total)

ival-sinh: 38.0ms (4.7% of total)

ival-sin: 38.0ms (4.7% of total)

ival-acos: 37.0ms (4.6% of total)

ival-sub: 33.0ms (4.1% of total)

ival-div: 30.0ms (3.7% of total)

ival-fmod: 29.0ms (3.6% of total)

ival-pow2: 23.0ms (2.9% of total)

ival-hypot: 9.0ms (1.1% of total)

ival-true: 9.0ms (1.1% of total)

ival-pow: 8.0ms (1% of total)

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

ival-assert: 4.0ms (0.5% of total)

exact: 3.0ms (0.4% of total)

ival-atan: 3.0ms (0.4% of total)

end0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated

simplify1.1min (25.9%)

sample1.0min (22.9%)

soundness36.4s (13.7%)

rewrite25.0s (9.5%)

localize23.7s (9%)

eval13.9s (5.3%)

prune11.7s (4.4%)

regimes8.9s (3.4%)

analyze3.7s (1.4%)

preprocess3.7s (1.4%)

bsearch2.9s (1.1%)

series2.8s (1.1%)

explain2.7s (1%)

end0.0ms (0%)

Profiling