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 (17.1%)

Memory

38.8MiB live, 142 276.5MiB allocated

Algorithm

270×	egg-herbie

Rules

2 326 034×	`accelerator-lowering-fma.f32`
2 326 034×	`accelerator-lowering-fma.f64`
1 045 792×	`-lowering-.f32`
1 045 792×	`-lowering-.f64`
605 972×	`+-lowering-+.f32`

Stop Event

243×	iter limit
197×	node limit
70×	saturated
3×	unsound

Counts

53 796 → 53 796

prune1.3min (13.1%)

Memory: -800.0MiB live, 80 909.4MiB allocated
Counts: 232 577 → 4 701
Compiler: Compiled 405 422 to 153 416 computations (62.2% saved)

sample1.2min (12.4%)

Memory

595.0MiB live, 102 208.5MiB allocated

Samples

54.5s	247 599×	0	valid
2.0s	10 636×	0	invalid
11.0ms	81×	1	valid

Precisions

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

ival-mult: 10.0s (22.3% of total)

const: 7.7s (17% of total)

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

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

ival-sub: 1.7s (3.8% of total)

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

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

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

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

ival-sqrt: 1.3s (2.9% of total)

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

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

ival-exp: 889.0ms (2% of total)

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

ival-log2: 549.0ms (1.2% of total)

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

ival-pi: 431.0ms (1% of total)

exact: 431.0ms (1% of total)

ival-fmax: 422.0ms (0.9% of total)

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

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

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

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

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

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

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

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

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

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

adjust: 1.0ms (0% of total)

Bogosity

end1.0min (10.4%)

Memory: -0.9MiB live, 29 638.3MiB allocated

eval55.7s (9.3%)

Memory: 1 031.4MiB live, 83 838.8MiB allocated
Compiler: Compiled 38 636 556 to 541 121 computations (98.6% saved)

rewrite49.4s (8.2%)

Memory

256.9MiB live, 70 606.7MiB allocated

Algorithm

120×	batch-egg-rewrite

Rules

572 382×	`accelerator-lowering-fma.f32`
572 382×	`accelerator-lowering-fma.f64`
536 002×	`-lowering-.f32`
536 002×	`-lowering-.f64`
398 142×	`/-lowering-/.f32`

Stop Event

127×	iter limit
117×	node limit
3×	unsound

Counts

2 145 → 78 742

regimes47.2s (7.9%)

Memory

75.3MiB live, 72 524.2MiB allocated

Counts

16 668 → 506

Calls

145 calls:

1.4s	s
1.3s	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
1.1s	uy
1.1s	(*.f32 uy #s(literal 2 binary32))
1.0s	maxCos

Compiler

Compiled 35 826 to 21 245 computations (40.7% saved)

soundness46.2s (7.7%)

Memory

-57.8MiB live, 37 470.9MiB allocated

Rules

1 461 164×	`accelerator-lowering-fma.f32`
1 461 164×	`accelerator-lowering-fma.f64`
966 036×	`-lowering-.f32`
966 036×	`-lowering-.f64`
489 998×	`+-lowering-+.f32`

Stop Event

178×	iter limit
177×	node limit
29×	fuel
1×	done

Compiler

Compiled 32 932 to 14 154 computations (57% saved)

localize31.4s (5.2%)

Memory

-328.1MiB live, 45 772.9MiB allocated

Samples

10.6s	27 074×	0	valid
1.8s	512×	4	exit
1.2s	239×	2	valid
830.0ms	797×	1	valid
702.0ms	1 550×	0	invalid
455.0ms	401×	0	exit
277.0ms	47×	3	valid
141.0ms	31×	4	valid
114.0ms	68×	5	exit
1.0ms	1×	1	exit

Compiler

Compiled 118 494 to 5 757 computations (95.1% saved)

Precisions

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

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

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

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

const: 583.0ms (4.8% of total)

adjust: 544.0ms (4.5% of total)

ival-sqrt: 475.0ms (3.9% of total)

ival-exp: 352.0ms (2.9% of total)

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

ival-pow2: 301.0ms (2.5% of total)

ival-pow: 265.0ms (2.2% of total)

ival-sub: 243.0ms (2% of total)

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

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

ival-if: 208.0ms (1.7% of total)

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

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

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

ival-fmax: 112.0ms (0.9% of total)

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

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

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

ival-atan: 80.0ms (0.7% of total)

exact: 58.0ms (0.5% of total)

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

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

ival-e: 36.0ms (0.3% of total)

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

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

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

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

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

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

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

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

analyze18.8s (3.1%)

Memory

289.5MiB live, 31 014.8MiB 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)

series14.2s (2.4%)

Memory

-52.8MiB live, 19 429.3MiB allocated

Counts

2 145 → 53 796

Calls

10296 calls:

Time	Variable		Point	Expression
489.0ms	dX.v	@	inf	(pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (pow (* (floor w) dY.u) 2)) 1/4)
346.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)
336.0ms	s	@	0	(* s (log (/ 1 (/ (- 1 (* 256 (* (* u u) (* u u)))) (* (+ (* 4 u) 1) (+ (* u (* u 16)) 1))))))
211.0ms	dX.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)
194.0ms	s	@	0	(* (* 3 s) (- (log (+ 1 (+ (* u 4/3) -1/3))) (log (+ 1 (* (- 1/4 u) (* 16/9 (+ u -1/4)))))))

preprocess10.8s (1.8%)

Memory

217.8MiB live, 14 645.1MiB allocated

Algorithm

60×	egg-herbie

Rules

132 696×	`accelerator-lowering-fma.f32`
132 696×	`accelerator-lowering-fma.f64`
46 474×	`-lowering-.f32`
46 474×	`-lowering-.f64`
28 192×	`unsub-neg`

Stop Event

31×	saturated
30×	iter limit
29×	node limit

Compiler

Compiled 78 116 to 17 430 computations (77.7% saved)

explain8.0s (1.3%)

Memory

16.6MiB live, 13 434.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	985	85
`-.f32`	`#f`	cancellation	420	22
`sqrt.f32`	`#f`	oflow-rescue	308	0
`cos.f32`	`#f`	sensitivity	185	20
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	175	19
`/.f32`	`#f`	o/n	106	0
`exp.f32`	`#f`	sensitivity	33	18
`/.f32`	`#f`	u/n	22	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	18	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	302
↳	`(-.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	151
↳	`(*.f32 eta eta)`	underflow	18
`/.f32`	`#f`	o/o	6	0
`/.f32`	`(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))`	n/o	6	0
↳	`(/.f32 sin2phi (*.f32 alphay alphay))`	overflow	13
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	13
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	3	0
`*.f32`	`(*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta))`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	1611	74
-	370	5625

Precision

0.8132256436143362

Recall

0.9560830860534124

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1611	39	35
-	370	110	5515

Precision?

0.7746478873239436

Recall?

0.9792284866468842

Freqs

test

number	freq
0	5699
1	1700
2	275
3	6

Total Confusion?

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

Precision?

0.7857142857142857

Recall?

1.0

Samples

2.2s	15 270×	0	valid
24.0ms	72×	1	valid
9.0ms	16×	5	exit
1.0ms	2×	2	valid

Compiler

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

Precisions

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

ival-mult: 458.0ms (30.7% of total)

ival-div: 199.0ms (13.3% of total)

ival-add: 127.0ms (8.5% of total)

ival-sub: 83.0ms (5.6% of total)

ival-neg: 75.0ms (5% of total)

ival-log: 71.0ms (4.8% of total)

ival-exp: 67.0ms (4.5% of total)

ival-sin: 67.0ms (4.5% of total)

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

ival-pi: 48.0ms (3.2% of total)

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

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

ival-if: 26.0ms (1.7% of total)

const: 26.0ms (1.7% of total)

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

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

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

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

exact: 13.0ms (0.9% of total)

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

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

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

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

adjust: 4.0ms (0.3% of total)

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

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

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

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

bsearch131.0ms (0%)

Memory

-29.4MiB live, 132.5MiB allocated

Algorithm

67×	left-value
41×	binary-search

Stop Event

41×	narrow-enough

Compiler

Compiled 3 875 to 2 481 computations (36% saved)

simplify1.7min (17.1%)

prune1.3min (13.1%)

sample1.2min (12.4%)

end1.0min (10.4%)

eval55.7s (9.3%)

rewrite49.4s (8.2%)

regimes47.2s (7.9%)

soundness46.2s (7.7%)

localize31.4s (5.2%)

analyze18.8s (3.1%)

series14.2s (2.4%)

preprocess10.8s (1.8%)

explain8.0s (1.3%)

bsearch131.0ms (0%)

Profiling