Metrics for Herbie run

Date:	Wednesday, July 17th, 2024
Commit:	c34c16ee on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024199
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.7min (22.8%)

Memory

481.1MiB live, 149 823.4MiB allocated

Algorithm

288×	egg-herbie

Rules

2 613 128×	`accelerator-lowering-fma.f32`
2 613 128×	`accelerator-lowering-fma.f64`
1 275 512×	`-lowering-.f32`
1 275 512×	`-lowering-.f64`
674 144×	`+-lowering-+.f32`

Stop Event

256×	iter limit
224×	node limit
64×	saturated

Counts

55 404 → 55 404

sample1.3min (17.8%)

Memory

942.7MiB live, 107 285.3MiB allocated

Samples

32.2s	221 724×	0	valid
9.9s	26 690×	1	valid
9.5s	65 106×	0	invalid
3.8s	12 287×	1	invalid
3.6s	9 555×	2	valid
2.3s	6 109×	3	valid
344.0ms	1 915×	1	exit
341.0ms	567×	2	invalid
71.0ms	114×	4	valid
30.0ms	263×	0	exit
18.0ms	42×	5	exit
2.0ms	5×	4	exit
0.0ms	1×	2	exit

Precisions

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

ival-mult: 12.5s (26.1% of total)

ival-div: 6.9s (14.4% of total)

ival-tan: 3.9s (8.2% of total)

ival-sub: 3.3s (6.9% of total)

ival-pow2: 2.8s (5.8% of total)

ival-pow: 2.7s (5.6% of total)

ival-add: 2.6s (5.4% of total)

ival-sqrt: 2.4s (5.1% of total)

ival-sin: 2.1s (4.4% of total)

ival-exp: 2.0s (4.2% of total)

adjust: 2.0s (4.1% of total)

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

ival-acos: 590.0ms (1.2% of total)

ival-neg: 560.0ms (1.2% of total)

ival-hypot: 432.0ms (0.9% of total)

const: 392.0ms (0.8% of total)

exact: 375.0ms (0.8% of total)

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

ival-pi: 353.0ms (0.7% of total)

ival-true: 256.0ms (0.5% of total)

ival-asin: 210.0ms (0.4% of total)

ival-assert: 128.0ms (0.3% of total)

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

ival-atan: 76.0ms (0.2% of total)

ival-<: 61.0ms (0.1% of total)

ival-and: 11.0ms (0% of total)

Bogosity

rewrite53.3s (11.9%)

Memory

482.0MiB live, 79 868.6MiB allocated

Algorithm

128×	batch-egg-rewrite

Rules

602 612×	`-lowering-.f32`
602 612×	`-lowering-.f64`
563 226×	`accelerator-lowering-fma.f32`
563 226×	`accelerator-lowering-fma.f64`
466 926×	`/-lowering-/.f64`

Stop Event

135×	iter limit
128×	node limit

Counts

2 203 → 107 700

soundness45.5s (10.1%)

Memory

88.8MiB live, 36 348.1MiB allocated

Rules

1 578 784×	`accelerator-lowering-fma.f32`
1 578 784×	`accelerator-lowering-fma.f64`
1 077 432×	`-lowering-.f32`
1 077 432×	`-lowering-.f64`
508 134×	`/-lowering-/.f64`

Stop Event

196×	iter limit
189×	node limit
31×	fuel
1×	done

Compiler

Compiled 46 193 to 22 079 computations (52.2% saved)

eval34.1s (7.6%)

Memory: 637.9MiB live, 52 737.2MiB allocated
Compiler: Compiled 6 474 936 to 477 314 computations (92.6% saved)

prune29.9s (6.7%)

Memory: -879.3MiB live, 52 696.1MiB allocated
Counts: 194 575 → 3 692
Compiler: Compiled 181 296 to 94 342 computations (48% saved)

regimes26.6s (5.9%)

Memory

-97.4MiB live, 40 975.1MiB allocated

Counts

16 229 → 957

Calls

156 calls:

1.6s	l
1.1s	k
1.0s	t
643.0ms	d
639.0ms	(/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) #s(literal 2 binary64)) (pow.f64 (sin.f64 ky) #s(literal 2 binary64)))))

Compiler

Compiled 20 499 to 14 078 computations (31.3% saved)

localize24.3s (5.4%)

Memory

-81.4MiB live, 37 429.1MiB allocated

Samples

7.5s	23 205×	0	valid
2.6s	2 014×	2	valid
2.3s	3 301×	1	valid
1.3s	3 104×	0	invalid
970.0ms	117×	3	exit
732.0ms	613×	3	valid
77.0ms	311×	0	exit
75.0ms	17×	5	exit
71.0ms	40×	4	valid
23.0ms	46×	2	exit

Compiler

Compiled 36 546 to 4 654 computations (87.3% saved)

Precisions

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

ival-mult: 3.6s (30% of total)

ival-div: 1.8s (15.2% of total)

ival-tan: 1.4s (12% of total)

ival-add: 1.1s (8.9% of total)

ival-cos: 783.0ms (6.6% of total)

ival-sqrt: 604.0ms (5.1% of total)

adjust: 553.0ms (4.7% of total)

ival-sub: 303.0ms (2.6% of total)

ival-sin: 279.0ms (2.4% of total)

ival-pow: 242.0ms (2% of total)

ival-pow2: 215.0ms (1.8% of total)

const: 199.0ms (1.7% of total)

ival-asin: 174.0ms (1.5% of total)

ival-acos: 142.0ms (1.2% of total)

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

ival-neg: 108.0ms (0.9% of total)

exact: 69.0ms (0.6% of total)

ival-log: 69.0ms (0.6% of total)

ival-pi: 34.0ms (0.3% of total)

ival-atan: 32.0ms (0.3% of total)

ival-true: 30.0ms (0.3% of total)

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

ival-assert: 13.0ms (0.1% of total)

ival-tanh: 11.0ms (0.1% of total)

ival-fabs: 7.0ms (0.1% of total)

ival-sinh: 1.0ms (0% of total)

preprocess14.6s (3.2%)

Memory

-89.9MiB live, 18 687.2MiB allocated

Algorithm

64×	egg-herbie

Rules

231 692×	`accelerator-lowering-fma.f32`
231 692×	`accelerator-lowering-fma.f64`
79 878×	`-lowering-.f32`
79 878×	`-lowering-.f64`
37 028×	`+-lowering-+.f32`

Stop Event

41×	node limit
32×	iter limit
23×	saturated

Compiler

Compiled 56 378 to 17 190 computations (69.5% saved)

explain10.3s (2.3%)

Memory

10.0MiB live, 14 899.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	462	0
`sqrt.f64`	`#f`	oflow-rescue	454	0
`cos.f64`	`#f`	sensitivity	381	1
`*.f64`	`#f`	*no**	273	0
`acos.f64`	`(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))`	sensitivity	253	2
`+.f64`	`#f`	nan-rescue	251	0
`sqrt.f64`	`#f`	uflow-rescue	171	0
`pow.f64`	`#f`	oflow-rescue	147	0
`*.f64`	`#f`	*uo**	131	0
`asin.f64`	`(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))`	sensitivity	125	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	119	0
`-.f64`	`#f`	nan-rescue	107	0
`pow.f64`	`(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))`	sensitivity	90	28
`/.f64`	`#f`	o/o	69	0
`+.f64`	`#f`	cancellation	64	0
`pow.f64`	`#f`	uflow-rescue	59	0
`*.f64`	`#f`	*nu**	59	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	58	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	58
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	58
↳	`(*.f64 K (+.f64 m n))`	overflow	58
`*.f64`	`#f`	*ou**	55	0
`/.f64`	`#f`	n/o	50	0
`/.f64`	`#f`	u/u	50	0
`/.f64`	`#f`	o/n	44	0
`/.f64`	`#f`	n/u	39	0
`/.f64`	`#f`	u/n	18	0
`log.f64`	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`	sensitivity	5	0

Confusion

	Predicted +	Predicted -
+	1996	38
-	1091	5067

Precision

0.6465824425008099

Recall

0.9813176007866273

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1996	1	37
-	1091	31	5036

Precision?

0.6402693170888105

Recall?

0.9818092428711898

Freqs

test

number	freq
0	5105
1	2683
2	364
3	38
4	1
5	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	26	0	0
-	0	1	5

Precision?

0.9629629629629629

Recall?

1.0

Samples

2.3s	13 180×	0	valid
826.0ms	2 024×	1	valid
445.0ms	756×	2	valid
197.0ms	414×	3	valid
3.0ms	8×	4	valid
1.0ms	2×	5	exit

Compiler

Compiled 8 430 to 2 164 computations (74.3% saved)

Precisions

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

ival-mult: 627.0ms (23.9% of total)

ival-div: 365.0ms (13.9% of total)

ival-tan: 294.0ms (11.2% of total)

ival-sub: 248.0ms (9.4% of total)

ival-sqrt: 145.0ms (5.5% of total)

ival-add: 123.0ms (4.7% of total)

ival-exp: 115.0ms (4.4% of total)

ival-sin: 111.0ms (4.2% of total)

ival-pow2: 108.0ms (4.1% of total)

adjust: 107.0ms (4.1% of total)

ival-pow: 74.0ms (2.8% of total)

ival-cos: 64.0ms (2.4% of total)

ival-pi: 59.0ms (2.2% of total)

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

ival-acos: 28.0ms (1.1% of total)

ival-hypot: 23.0ms (0.9% of total)

exact: 21.0ms (0.8% of total)

ival-true: 16.0ms (0.6% of total)

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

ival-log: 14.0ms (0.5% of total)

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

const: 7.0ms (0.3% of total)

ival-atan: 5.0ms (0.2% of total)

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

bsearch9.8s (2.2%)

Memory

-130.9MiB live, 13 595.2MiB allocated

Algorithm

289×	left-value
258×	binary-search

Stop Event

245×	narrow-enough
13×	predicate-same

Samples

4.9s	30 737×	0	valid
1.3s	8 211×	0	invalid
301.0ms	239×	1	invalid
264.0ms	1 008×	1	valid
64.0ms	208×	2	valid
27.0ms	72×	3	valid
5.0ms	20×	2	invalid
3.0ms	7×	4	valid

Compiler

Compiled 82 828 to 56 387 computations (31.9% saved)

Precisions

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

ival-mult: 1.3s (24.8% of total)

ival-div: 956.0ms (18.1% of total)

ival-pow: 858.0ms (16.3% of total)

ival-sub: 459.0ms (8.7% of total)

ival-add: 418.0ms (7.9% of total)

ival-sin: 279.0ms (5.3% of total)

ival-tan: 271.0ms (5.1% of total)

ival-pow2: 216.0ms (4.1% of total)

ival-neg: 124.0ms (2.3% of total)

ival-sqrt: 97.0ms (1.8% of total)

ival-exp: 69.0ms (1.3% of total)

adjust: 57.0ms (1.1% of total)

ival-cos: 43.0ms (0.8% of total)

exact: 41.0ms (0.8% of total)

ival-true: 31.0ms (0.6% of total)

const: 18.0ms (0.3% of total)

ival-assert: 15.0ms (0.3% of total)

ival-atan: 11.0ms (0.2% of total)

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

series9.2s (2.1%)

Memory

-319.3MiB live, 11 509.8MiB allocated

Counts

2 203 → 55 404

Calls

12126 calls:

Time	Variable		Point	Expression
251.0ms	kx	@	-inf	(/ (+ (* th (* -1/6 (* th th))) th) (/ (sqrt (+ (* (- 1 (cos (+ ky ky))) 1/2) (+ 1/2 (* -1/2 (cos (+ kx kx)))))) (sin ky)))
211.0ms	f	@	-inf	(/ (log (tanh (* (* (PI) 1/4) f))) (* (PI) 1/4))
206.0ms	Vef	@	0	(+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))))
88.0ms	a	@	0	(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))
81.0ms	B	@	0	(* B 7/360)

analyze8.9s (2%)

Memory

-279.2MiB live, 13 046.7MiB allocated

Algorithm

32×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
22.2%	21.8%	76.4%	1.8%	0%	0%	0%	1
22.6%	21.8%	74.8%	1.8%	0%	1.6%	0%	2
28.6%	26.5%	66.3%	1.8%	0%	5.5%	0%	3
32.6%	29.6%	61.2%	1.8%	0%	7.4%	0%	4
35.8%	32.3%	58%	1.8%	0%	8%	0%	5
40.1%	36.1%	54%	1.8%	0%	8.1%	0%	6
45.5%	40.6%	48.7%	1.8%	0%	8.9%	0%	7
47.9%	42.1%	45.8%	1.8%	0%	10.3%	0%	8
51%	44.7%	42.9%	1.8%	0%	10.6%	0%	9
52.2%	45.5%	41.7%	1.8%	0%	11%	0%	10
53.9%	46.8%	39.9%	1.8%	0%	11.5%	0%	11
55.7%	47.9%	38.2%	1.8%	0%	12.2%	0%	12

Compiler

Compiled 793 to 574 computations (27.6% saved)

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

simplify1.7min (22.8%)

sample1.3min (17.8%)

rewrite53.3s (11.9%)

soundness45.5s (10.1%)

eval34.1s (7.6%)

prune29.9s (6.7%)

regimes26.6s (5.9%)

localize24.3s (5.4%)

preprocess14.6s (3.2%)

explain10.3s (2.3%)

bsearch9.8s (2.2%)

series9.2s (2.1%)

analyze8.9s (2%)

end0.0ms (0%)

Profiling