Metrics for Herbie run

Date:	Tuesday, August 6th, 2024
Commit:	2.2 on release
Hostname:	nightly with Racket 8.11.1
Seed:	2024219
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 (16.6%)

Memory

247.2MiB live, 141 416.2MiB allocated

Algorithm

270×	egg-herbie

Rules

2 387 794×	`lower-fma.f64`
2 386 820×	`lower-fma.f32`
1 108 642×	`lower-*.f64`
1 105 576×	`lower-*.f32`
616 346×	`lower-+.f64`

Stop Event

363×	iter limit
206×	node limit
61×	saturated
3×	unsound

Counts

56 928 → 56 720

prune1.3min (12.8%)

Memory: -65.8MiB live, 87 216.7MiB allocated
Counts: 243 142 → 4 814
Compiler: Compiled 456 228 to 167 629 computations (63.3% saved)

sample1.3min (12.7%)

Memory

534.0MiB live, 105 424.7MiB allocated

Samples

56.8s	247 595×	0	valid
2.4s	10 581×	0	invalid
13.0ms	85×	1	valid

Precisions

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

ival-mult: 9.8s (20.6% of total)

const: 7.8s (16.4% of total)

ival-<=: 6.7s (14.1% of total)

ival-div: 4.4s (9.4% of total)

ival-sub: 2.2s (4.6% of total)

ival-add: 1.8s (3.8% of total)

ival-sin: 1.8s (3.8% of total)

ival-sqrt: 1.8s (3.8% of total)

ival-log: 1.7s (3.6% of total)

ival-fabs: 1.5s (3.1% of total)

ival-and: 1.2s (2.4% of total)

ival-floor: 1.1s (2.2% of total)

ival-exp: 873.0ms (1.8% of total)

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

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

ival-pi: 551.0ms (1.2% of total)

exact: 414.0ms (0.9% of total)

ival-fmax: 391.0ms (0.8% of total)

ival-tan: 351.0ms (0.7% of total)

ival-log2: 300.0ms (0.6% of total)

ival-asin: 263.0ms (0.6% of total)

ival-if: 245.0ms (0.5% of total)

ival-<: 203.0ms (0.4% of total)

ival->: 154.0ms (0.3% of total)

ival-sinh: 124.0ms (0.3% of total)

ival-==: 103.0ms (0.2% of total)

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

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

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

adjust: 2.0ms (0% of total)

Bogosity

end1.0min (10%)

Memory: -18.1MiB live, 29 418.9MiB allocated

eval58.8s (9.6%)

Memory: -48.3MiB live, 89 496.1MiB allocated
Compiler: Compiled 39 762 623 to 570 491 computations (98.6% saved)

soundness49.0s (8%)

Memory

22.4MiB live, 35 874.6MiB allocated

Rules

1 398 468×	`lower-fma.f64`
1 397 796×	`lower-fma.f32`
1 008 026×	`lower-*.f64`
1 005 744×	`lower-*.f32`
498 984×	`lower-/.f64`

Stop Event

280×	iter limit
185×	node limit
30×	fuel
1×	saturated

Compiler

Compiled 34 144 to 13 621 computations (60.1% saved)

rewrite48.2s (7.9%)

Memory

431.8MiB live, 67 436.9MiB allocated

Algorithm

120×	batch-egg-rewrite

Rules

589 810×	`lower-fma.f64`
588 866×	`lower-fma.f32`
545 430×	`lower-*.f64`
542 522×	`lower-*.f32`
395 708×	`lower-/.f64`

Stop Event

244×	iter limit
117×	node limit
3×	unsound

Counts

2 207 → 80 169

regimes48.1s (7.9%)

Memory

27.0MiB live, 75 356.7MiB allocated

Counts

17 676 → 523

Calls

145 calls:

1.4s	cosTheta_i
1.4s	uy
1.3s	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
1.3s	(*.f32 uy #s(literal 2 binary32))
1.1s	v

Compiler

Compiled 39 600 to 22 443 computations (43.3% saved)

localize31.8s (5.2%)

Memory

447.2MiB live, 45 775.9MiB allocated

Samples

11.9s	27 232×	0	valid
1.3s	2 183×	0	invalid
745.0ms	258×	4	exit
674.0ms	791×	1	valid
170.0ms	70×	5	exit
45.0ms	185×	0	exit
1.0ms	1×	1	exit

Compiler

Compiled 132 835 to 6 104 computations (95.4% saved)

Precisions

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

ival-mult: 3.8s (35.1% of total)

ival-div: 1.4s (12.5% of total)

ival-add: 1.3s (12.1% of total)

const: 545.0ms (5% of total)

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

ival-exp: 378.0ms (3.5% of total)

ival-pow2: 288.0ms (2.7% of total)

ival-log: 281.0ms (2.6% of total)

ival-sin: 243.0ms (2.2% of total)

adjust: 227.0ms (2.1% of total)

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

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

ival-neg: 213.0ms (2% of total)

ival-tan: 205.0ms (1.9% of total)

ival-fmax: 150.0ms (1.4% of total)

ival-fabs: 148.0ms (1.4% of total)

ival-cos: 130.0ms (1.2% of total)

ival-log1p: 125.0ms (1.2% of total)

ival-log2: 98.0ms (0.9% of total)

ival-if: 93.0ms (0.9% of total)

ival-floor: 81.0ms (0.7% of total)

ival-pi: 63.0ms (0.6% of total)

exact: 55.0ms (0.5% of total)

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

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

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

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

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

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

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

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

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

ival-sinh: 9.0ms (0.1% of total)

ival-e: 4.0ms (0% of total)

ival-<: 4.0ms (0% of total)

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

analyze21.9s (3.6%)

Memory

-154.1MiB live, 32 361.1MiB allocated

Algorithm

30×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	2.6%	97.4%	0%	0%	0%	0
0%	0%	2.6%	97.4%	0%	0%	0%	1
7.8%	0.2%	2.4%	97.4%	0%	0%	0%	2
8.5%	0.2%	2.4%	97.4%	0%	0%	0%	3
12.8%	0.3%	2.3%	97.4%	0%	0%	0%	4
47%	1.2%	1.4%	97.4%	0%	0%	0%	5
51.8%	1.3%	1.2%	97.4%	0%	0.1%	0%	6
69.5%	1.8%	0.8%	97.4%	0%	0.1%	0%	7
71.6%	1.8%	0.7%	97.4%	0%	0.1%	0%	8
81.1%	2.1%	0.5%	97.4%	0%	0.1%	0%	9
82.6%	2.1%	0.4%	97.4%	0%	0.1%	0%	10
88.3%	2.2%	0.3%	97.4%	0%	0.1%	0%	11
89.1%	2.2%	0.3%	97.4%	0%	0.1%	0%	12

Compiler

Compiled 2 586 to 1 076 computations (58.4% saved)

series15.4s (2.5%)

Memory

153.7MiB live, 20 952.0MiB allocated

Counts

2 207 → 56 928

Calls

10863 calls:

Time	Variable		Point	Expression
252.0ms	w	@	0	(/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))
235.0ms	dX.u	@	0	(sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* dY.u (* (pow (floor w) 2) dY.u)) (* dY.w (* (pow (floor d) 2) dY.w)))))
227.0ms	dY.u	@	inf	(pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))) 1/4)
175.0ms	w	@	-inf	(pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (pow (* (floor w) dY.u) 2)) 1/4)
172.0ms	w	@	-inf	(pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))) 1/4)

preprocess11.1s (1.8%)

Memory

40.8MiB live, 14 367.9MiB allocated

Algorithm

30×	egg-herbie

Rules

132 696×	`lower-fma.f64`
132 696×	`lower-fma.f32`
46 474×	`lower-*.f64`
46 188×	`lower-*.f32`
27 984×	`unsub-neg`

Stop Event

60×	iter limit
31×	saturated
29×	node limit

Compiler

Compiled 61 668 to 18 724 computations (69.6% saved)

explain8.7s (1.4%)

Memory

-125.5MiB live, 13 884.8MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1039	85
`-.f32`	`#f`	cancellation	384	51
`sqrt.f32`	`#f`	oflow-rescue	352	0
`cos.f32`	`#f`	sensitivity	193	15
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	183	13
`/.f32`	`#f`	o/n	148	0
`exp.f32`	`#f`	sensitivity	36	16
`sqrt.f32`	`(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))`	uflow-rescue	18	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	284
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	18
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	142
↳	`(*.f32 eta eta)`	underflow	18
`/.f32`	`#f`	u/n	17	0
`/.f32`	`#f`	o/o	14	0
`/.f32`	`#f`	n/o	10	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	4	0
`log.f32`	`(log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))`	oflow-rescue	1	0
↳	`(/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))`	overflow	1

Confusion

	Predicted +	Predicted -
+	1668	59
-	393	5560

Precision

0.8093158660844251

Recall

0.965836711059641

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1668	43	16
-	393	127	5433

Precision?

0.7669206633796504

Recall?

0.9907353792704111

Freqs

test

number	freq
0	5619
1	1737
2	310
3	14

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	23	1	0
-	4	0	2

Precision?

0.8571428571428571

Recall?

1.0

Samples

2.8s	15 298×	0	valid
29.0ms	62×	1	valid

Compiler

Compiled 18 280 to 2 256 computations (87.7% saved)

Precisions

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

ival-mult: 534.0ms (32.1% of total)

ival-div: 240.0ms (14.4% of total)

ival-sub: 129.0ms (7.7% of total)

ival-sin: 101.0ms (6.1% of total)

ival-log: 96.0ms (5.8% of total)

ival-sqrt: 87.0ms (5.2% of total)

ival-add: 82.0ms (4.9% of total)

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

ival-exp: 42.0ms (2.5% of total)

ival-floor: 42.0ms (2.5% of total)

ival-log2: 41.0ms (2.5% of total)

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

ival-fabs: 33.0ms (2% of total)

const: 22.0ms (1.3% of total)

ival-pi: 21.0ms (1.3% of total)

ival-tan: 18.0ms (1.1% of total)

ival-fmax: 17.0ms (1% of total)

ival-true: 14.0ms (0.8% of total)

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

exact: 13.0ms (0.8% of total)

ival->: 6.0ms (0.4% of total)

ival-assert: 6.0ms (0.4% of total)

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

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

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

ival->=: 3.0ms (0.2% of total)

adjust: 2.0ms (0.1% of total)

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

bsearch75.0ms (0%)

Memory

-11.5MiB live, 182.7MiB allocated

Algorithm

81×	left-value
38×	binary-search

Stop Event

38×	narrow-enough

Compiler

Compiled 4 220 to 2 756 computations (34.7% saved)

simplify1.7min (16.6%)

prune1.3min (12.8%)

sample1.3min (12.7%)

end1.0min (10%)

eval58.8s (9.6%)

soundness49.0s (8%)

rewrite48.2s (7.9%)

regimes48.1s (7.9%)

localize31.8s (5.2%)

analyze21.9s (3.6%)

series15.4s (2.5%)

preprocess11.1s (1.8%)

explain8.7s (1.4%)

bsearch75.0ms (0%)

Profiling