Metrics for Herbie run

Date:	Thursday, August 15th, 2024
Commit:	78402a57 on zane-server-ci
Hostname:	nightly with Racket 8.11.1
Seed:	2024228
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

prune2.8min (27.6%)

Memory: -867.4MiB live, 177 154.5MiB allocated
Counts: 212 295 → 4 648
Compiler: Compiled 396 632 to 155 178 computations (60.9% saved)

simplify1.3min (13.3%)

Memory

470.5MiB live, 89 061.9MiB allocated

Algorithm

267×	egg-herbie

Rules

2 392 982×	`lower-fma.f64`
2 392 110×	`lower-fma.f32`
1 053 068×	`lower-*.f64`
1 050 166×	`lower-*.f32`
599 974×	`lower-+.f64`

Stop Event

360×	iter limit
198×	node limit
66×	saturated
3×	unsound

Counts

64 260 → 64 028

sample1.3min (12.7%)

Memory

442.6MiB live, 93 017.9MiB allocated

Samples

53.3s	247 592×	0	valid
1.5s	10 515×	0	invalid
11.0ms	88×	1	valid

Precisions

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

ival-mult: 10.5s (23.5% of total)

const: 6.4s (14.4% of total)

ival-<=: 5.7s (12.7% of total)

ival-div: 4.6s (10.3% of total)

ival-add: 1.9s (4.2% of total)

ival-sub: 1.8s (4% of total)

ival-log: 1.6s (3.7% of total)

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

ival-fabs: 1.4s (3.2% of total)

ival-sqrt: 1.4s (3.1% of total)

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

ival-exp: 854.0ms (1.9% of total)

ival-floor: 743.0ms (1.7% of total)

ival-cos: 688.0ms (1.5% of total)

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

ival-tan: 539.0ms (1.2% of total)

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

exact: 431.0ms (1% of total)

ival-asin: 370.0ms (0.8% of total)

ival-fmax: 332.0ms (0.7% of total)

ival-<: 296.0ms (0.7% of total)

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

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

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

ival-==: 173.0ms (0.4% of total)

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

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

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

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

adjust: 2.0ms (0% of total)

Bogosity

eval56.2s (9.3%)

Memory: 446.5MiB live, 81 871.0MiB allocated
Compiler: Compiled 36 896 723 to 504 990 computations (98.6% saved)

soundness49.2s (8.2%)

Memory

30.4MiB live, 35 791.0MiB allocated

Rules

1 540 788×	`lower-fma.f64`
1 540 230×	`lower-fma.f32`
946 470×	`lower-*.f64`
944 488×	`lower-*.f32`
470 748×	`lower-+.f64`

Stop Event

260×	iter limit
176×	node limit
29×	fuel

Compiler

Compiled 44 154 to 14 184 computations (67.9% saved)

regimes43.8s (7.3%)

Memory

268.3MiB live, 66 535.2MiB allocated

Counts

16 724 → 485

Calls

144 calls:

1.5s	uy
1.3s	s
1.2s	(*.f32 uy #s(literal 2 binary32))
1.2s	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
1.2s	cosTheta_i

Compiler

Compiled 34 897 to 20 743 computations (40.6% saved)

rewrite42.0s (7%)

Memory

159.6MiB live, 52 484.2MiB allocated

Rules

572 096×	`lower-fma.f64`
571 262×	`lower-fma.f32`
521 104×	`lower-*.f64`
518 316×	`lower-*.f32`
379 430×	`lower-/.f64`

Stop Event

242×	iter limit
116×	node limit
3×	unsound

Counts

2 324 → 73 758

localize29.3s (4.9%)

Memory

204.7MiB live, 39 087.5MiB allocated

Samples

12.5s	27 131×	0	valid
1.3s	1 990×	0	invalid
1.0s	1 015×	1	valid
97.0ms	273×	0	exit
86.0ms	55×	5	exit

Compiler

Compiled 122 955 to 6 237 computations (94.9% saved)

Precisions

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

ival-mult: 4.0s (35.2% of total)

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

ival-add: 1.2s (10.7% of total)

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

const: 524.0ms (4.6% of total)

ival-log: 471.0ms (4.1% of total)

ival-sin: 353.0ms (3.1% of total)

ival-sub: 314.0ms (2.7% of total)

ival-neg: 312.0ms (2.7% of total)

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

ival-exp: 293.0ms (2.6% of total)

ival-cos: 173.0ms (1.5% of total)

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

ival-if: 133.0ms (1.2% of total)

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

adjust: 117.0ms (1% of total)

ival-pow: 95.0ms (0.8% of total)

ival-floor: 92.0ms (0.8% of total)

ival-fmax: 62.0ms (0.5% of total)

exact: 56.0ms (0.5% of total)

ival-log2: 53.0ms (0.5% of total)

ival-pi: 42.0ms (0.4% of total)

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

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

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

ival-sinh: 25.0ms (0.2% of total)

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

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

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

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

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

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

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

analyze21.8s (3.6%)

Memory

128.0MiB live, 28 035.7MiB 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)

series17.5s (2.9%)

Memory

-61.7MiB live, 22 794.3MiB allocated

Counts

2 324 → 64 260

Calls

7668 calls:

Time	Variable		Point	Expression
276.0ms	w	@	-inf	(exp (+ (* (log dX.u) 2) (* 2 (log (floor w)))))
221.0ms	sinTheta_O	@	-inf	(* (exp (/ (* sinTheta_i sinTheta_O) (neg v))) 1/2)
212.0ms	sinTheta_O	@	-inf	(/ (* cosTheta_O (* cosTheta_i (/ (exp (/ (* sinTheta_i sinTheta_O) (neg v))) v))) (* (* (sinh (/ 1 v)) 2) v))
204.0ms	dY.w	@	inf	(* (log (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))) (+ (pow (* (floor w) dY.u) 2) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor d) dY.w) 2))))) 1/2)
198.0ms	sinTheta_i	@	-inf	(/ (* cosTheta_i cosTheta_O) (* (* (* (sinh (/ 1 v)) (* v 2)) (exp (/ (* sinTheta_i sinTheta_O) v))) v))

preprocess10.7s (1.8%)

Memory

503.4MiB live, 12 003.4MiB 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 56 268 to 19 046 computations (66.2% saved)

explain9.7s (1.6%)

Memory

-390.3MiB live, 11 919.8MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1028	85
`-.f32`	`#f`	cancellation	402	26
`sqrt.f32`	`#f`	oflow-rescue	325	0
`cos.f32`	`#f`	sensitivity	204	14
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	186	18
`/.f32`	`#f`	o/n	114	0
`exp.f32`	`#f`	sensitivity	34	28
`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	21	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	288
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	21
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	144
↳	`(*.f32 eta eta)`	underflow	21
`/.f32`	`#f`	u/n	15	0
`/.f32`	`#f`	o/o	14	0
`/.f32`	`#f`	n/o	9	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	3	0
`*.f32`	`#f`	*no**	2	0
`sin.f32`	`(sin.f32 (.f32 (.f32 x (PI.f32)) tau))`	cancellation	1	1

Confusion

	Predicted +	Predicted -
+	1664	60
-	374	5582

Precision

0.81648675171737

Recall

0.9651972157772621

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1664	34	26
-	374	120	5462

Precision?

0.7746350364963503

Recall?

0.9849187935034803

Freqs

test

number	freq
0	5642
1	1732
2	292
3	14

Total Confusion?

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

Precision?

0.8518518518518519

Recall?

0.9583333333333334

Samples

2.5s	15 288×	0	valid
23.0ms	72×	1	valid

Compiler

Compiled 16 488 to 1 722 computations (89.6% saved)

Precisions

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

ival-mult: 494.0ms (32% of total)

ival-div: 228.0ms (14.8% of total)

ival-sub: 102.0ms (6.6% of total)

ival-floor: 99.0ms (6.4% of total)

ival-exp: 87.0ms (5.6% of total)

ival-add: 81.0ms (5.2% of total)

ival-log: 79.0ms (5.1% of total)

ival-sin: 66.0ms (4.3% of total)

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

ival-cos: 46.0ms (3% of total)

const: 29.0ms (1.9% of total)

ival-pi: 28.0ms (1.8% of total)

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

ival-tan: 19.0ms (1.2% of total)

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

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

exact: 13.0ms (0.8% of total)

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

ival-log2: 12.0ms (0.8% of total)

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

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

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

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

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

ival->: 3.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)

bsearch44.0ms (0%)

Memory

102.0MiB live, 102.0MiB allocated

Algorithm

64×	left-value
35×	binary-search

Stop Event

35×	narrow-enough

Compiler

Compiled 3 813 to 2 395 computations (37.2% saved)

start1.0ms (0%)

Memory: 2.6MiB live, 2.6MiB allocated

end0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated

prune2.8min (27.6%)

simplify1.3min (13.3%)

sample1.3min (12.7%)

eval56.2s (9.3%)

soundness49.2s (8.2%)

regimes43.8s (7.3%)

rewrite42.0s (7%)

localize29.3s (4.9%)

analyze21.8s (3.6%)

series17.5s (2.9%)

preprocess10.7s (1.8%)

explain9.7s (1.6%)

bsearch44.0ms (0%)

start1.0ms (0%)

end0.0ms (0%)

Profiling