Metrics for Herbie run

Date:	Saturday, August 24th, 2024
Commit:	73092913 on zane-fix-unused
Hostname:	nightly with Racket 8.11.1
Seed:	2024237
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.7min (27.3%)

Memory: -269.8MiB live, 151 720.1MiB allocated
Counts: 225 554 → 4 755
Compiler: Compiled 421 158 to 161 532 computations (61.6% saved)

simplify1.3min (12.8%)

Memory

378.5MiB live, 88 325.2MiB allocated

Algorithm

269×	egg-herbie

Rules

2 313 230×	`lower-fma.f64`
2 312 394×	`lower-fma.f32`
1 078 252×	`lower-*.f64`
1 075 296×	`lower-*.f32`
604 494×	`lower-+.f64`

Stop Event

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

Counts

66 996 → 66 631

sample1.3min (12.6%)

Memory

59.3MiB live, 93 358.5MiB allocated

Samples

52.5s	247 598×	0	valid
1.9s	10 575×	0	invalid
10.0ms	82×	1	valid

Precisions

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

ival-mult: 9.6s (22% of total)

const: 6.3s (14.5% of total)

ival-<=: 6.2s (14.3% of total)

ival-div: 4.8s (11% of total)

ival-sub: 2.1s (4.8% of total)

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

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

ival-sin: 1.6s (3.6% of total)

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

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

ival-and: 1.1s (2.6% of total)

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

ival-cos: 775.0ms (1.8% of total)

ival-floor: 646.0ms (1.5% of total)

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

ival-pi: 467.0ms (1.1% of total)

exact: 417.0ms (1% of total)

ival-tan: 374.0ms (0.9% of total)

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

ival-fmax: 268.0ms (0.6% of total)

ival-if: 243.0ms (0.6% of total)

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

ival-==: 209.0ms (0.5% of total)

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

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

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

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

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

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

adjust: 2.0ms (0% of total)

Bogosity

eval57.8s (9.6%)

Memory: 656.0MiB live, 82 928.0MiB allocated
Compiler: Compiled 41 302 744 to 496 088 computations (98.8% saved)

soundness48.1s (8%)

Memory

-122.9MiB live, 32 718.9MiB allocated

Rules

1 532 336×	`lower-fma.f64`
1 531 804×	`lower-fma.f32`
989 096×	`lower-*.f64`
987 106×	`lower-*.f32`
484 398×	`lower-+.f64`

Stop Event

268×	iter limit
182×	node limit
29×	fuel

Compiler

Compiled 51 161 to 15 820 computations (69.1% saved)

rewrite46.4s (7.7%)

Memory

447.7MiB live, 54 814.7MiB allocated

Rules

590 680×	`lower-fma.f64`
589 844×	`lower-fma.f32`
536 544×	`lower-*.f64`
533 698×	`lower-*.f32`
390 110×	`lower-/.f64`

Stop Event

243×	iter limit
117×	node limit
3×	unsound

Counts

2 349 → 72 813

regimes42.9s (7.1%)

Memory

-71.8MiB live, 59 850.8MiB allocated

Counts

15 038 → 489

Calls

144 calls:

1.4s	cosTheta_i
959.0ms	s
943.0ms	x
924.0ms	u1
883.0ms	(*.f32 cosTheta_i cosTheta_O)

Compiler

Compiled 34 406 to 20 517 computations (40.4% saved)

localize30.4s (5.1%)

Memory

-130.8MiB live, 42 901.8MiB allocated

Samples

13.7s	27 756×	0	valid
1.1s	2 134×	0	invalid
862.0ms	694×	1	valid
77.0ms	42×	5	exit
29.0ms	94×	1	exit

Compiler

Compiled 137 579 to 6 551 computations (95.2% saved)

Precisions

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

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

ival-div: 2.0s (16.6% of total)

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

const: 772.0ms (6.5% of total)

ival-exp: 570.0ms (4.8% of total)

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

ival-log: 404.0ms (3.4% of total)

ival-sub: 356.0ms (3% of total)

ival-sin: 273.0ms (2.3% of total)

ival-pow2: 269.0ms (2.3% of total)

ival-neg: 256.0ms (2.2% of total)

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

ival-log1p: 154.0ms (1.3% of total)

ival-tan: 151.0ms (1.3% of total)

ival-pow: 106.0ms (0.9% of total)

ival-pi: 96.0ms (0.8% of total)

adjust: 95.0ms (0.8% of total)

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

ival-if: 87.0ms (0.7% of total)

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

exact: 81.0ms (0.7% of total)

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

ival-fabs: 39.0ms (0.3% of total)

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

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

ival-hypot: 24.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

analyze20.5s (3.4%)

Memory

215.3MiB live, 28 917.4MiB 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.3s (2.9%)

Memory

94.8MiB live, 24 472.8MiB allocated

Counts

2 349 → 66 996

Calls

8760 calls:

Time	Variable		Point	Expression
396.0ms	u1	@	-inf	(* (log (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) -1/2)
297.0ms	yi	@	inf	(+ (* (* uy uy) (+ (* (* (* -4/3 yi) (* (PI) (* (PI) (PI)))) (sqrt (+ (* (* (* ux ux) (* (- 1 ux) (- 1 ux))) (* maxCos (neg maxCos))) 1))) (* (* (* 4/15 (* uy uy)) (* yi (pow (PI) 5))) (sqrt (+ (* (* (* ux ux) (* (- 1 ux) (- 1 ux))) (* maxCos (neg maxCos))) 1))))) (* (* 2 (* yi (PI))) (sqrt (+ (* (* (* ux ux) (* (- 1 ux) (- 1 ux))) (* maxCos (neg maxCos))) 1))))
227.0ms	sinTheta_i	@	0	(+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))
156.0ms	alpha	@	0	(* (* (neg alpha) alpha) (* (- (pow (log (+ 1 (* u0 (* u0 u0)))) 2) (pow (log (+ 1 (+ (* u0 u0) u0))) 2)) (/ 1 (log (* (+ (* u0 (* u0 u0)) 1) (+ 1 (+ (* u0 u0) u0)))))))
140.0ms	dY.v	@	inf	(log (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))))

preprocess11.1s (1.8%)

Memory

430.3MiB live, 12 915.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 54 876 to 17 818 computations (67.5% saved)

explain10.0s (1.7%)

Memory

-432.5MiB live, 12 615.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	997	75
`sqrt.f32`	`#f`	oflow-rescue	400	0
`-.f32`	`#f`	cancellation	389	20
`cos.f32`	`#f`	sensitivity	193	11
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	185	14
`/.f32`	`#f`	o/n	148	0
`exp.f32`	`#f`	sensitivity	41	20
`/.f32`	`#f`	u/n	25	0
`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	17	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	274
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	17
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	137
↳	`(*.f32 eta eta)`	underflow	17
`/.f32`	`#f`	o/o	12	0
`/.f32`	`#f`	n/o	11	0
`sin.f32`	`#f`	cancellation	3	1
`*.f32`	`(.f32 (sin.f32 (.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*no**	1	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*uo**	1	0
↳	`(*.f32 u normAngle)`	underflow	1
↳	`(sin.f32 (*.f32 u normAngle))`	underflow	1
↳	`(/.f32 #s(literal 1 binary32) (sin.f32 normAngle))`	overflow	1

Confusion

	Predicted +	Predicted -
+	1674	53
-	398	5555

Precision

0.8079150579150579

Recall

0.9693109438332368

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1674	23	30
-	398	103	5452

Precision?

0.7720655141037307

Recall?

0.9826288361320209

Freqs

test

number	freq
0	5608
1	1733
2	327
3	12

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	21	0	1
-	5	0	3

Precision?

0.8076923076923077

Recall?

0.9545454545454546

Samples

3.0s	15 282×	0	valid
56.0ms	78×	1	valid

Compiler

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

Precisions

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

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

ival-div: 197.0ms (8.5% of total)

ival-sin: 122.0ms (5.2% of total)

ival-sub: 117.0ms (5% of total)

ival-log: 99.0ms (4.3% of total)

ival-add: 93.0ms (4% of total)

ival-cos: 58.0ms (2.5% of total)

ival-sqrt: 58.0ms (2.5% of total)

ival-pi: 46.0ms (2% of total)

ival-exp: 39.0ms (1.7% of total)

ival-floor: 38.0ms (1.6% of total)

ival-neg: 26.0ms (1.1% of total)

const: 22.0ms (0.9% of total)

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

ival-fmax: 15.0ms (0.6% of total)

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

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

exact: 13.0ms (0.6% of total)

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

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

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

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

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

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

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

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

adjust: 2.0ms (0.1% of total)

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

bsearch54.0ms (0%)

Memory

61.4MiB live, 97.2MiB allocated

Algorithm

66×	left-value
49×	binary-search

Stop Event

49×	narrow-enough

Compiler

Compiled 4 765 to 2 754 computations (42.2% saved)

start1.0ms (0%)

Memory: 3.2MiB live, 3.2MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated

prune2.7min (27.3%)

simplify1.3min (12.8%)

sample1.3min (12.6%)

eval57.8s (9.6%)

soundness48.1s (8%)

rewrite46.4s (7.7%)

regimes42.9s (7.1%)

localize30.4s (5.1%)

analyze20.5s (3.4%)

series17.3s (2.9%)

preprocess11.1s (1.8%)

explain10.0s (1.7%)

bsearch54.0ms (0%)

start1.0ms (0%)

end0.0ms (0%)

Profiling