Metrics for Herbie run

Date:	Thursday, July 25th, 2024
Commit:	2a1d9f8a on ir-cleanup
Hostname:	nightly with Racket 8.11.1
Seed:	2024207
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.2%)

Memory

303.4MiB live, 135 946.2MiB allocated

Algorithm

270×	egg-herbie

Rules

2 274 382×	`lower-fma.f64`
2 273 532×	`lower-fma.f32`
1 043 284×	`lower-*.f64`
1 040 408×	`lower-*.f32`
590 348×	`lower-+.f64`

Stop Event

363×	iter limit
196×	node limit
71×	saturated
3×	unsound

Counts

56 436 → 56 156

sample1.4min (13.2%)

Memory

-36.6MiB live, 96 889.1MiB allocated

Samples

57.2s	247 603×	0	valid
2.1s	10 750×	0	invalid
9.0ms	77×	1	valid

Precisions

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

ival-mult: 10.2s (20.8% of total)

ival-<=: 8.0s (16.4% of total)

const: 7.9s (16.1% of total)

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

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

ival-add: 2.0s (4% of total)

ival-sqrt: 1.6s (3.3% of total)

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

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

ival-log: 1.5s (3% of total)

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

ival-pi: 922.0ms (1.9% of total)

ival-cos: 798.0ms (1.6% of total)

ival-exp: 745.0ms (1.5% of total)

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

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

ival-neg: 501.0ms (1% of total)

exact: 452.0ms (0.9% of total)

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

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

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

ival-if: 214.0ms (0.4% of total)

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

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

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

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

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

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

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

adjust: 1.0ms (0% of total)

Bogosity

prune1.2min (11.3%)

Memory: -542.2MiB live, 80 031.7MiB allocated
Counts: 236 612 → 4 694
Compiler: Compiled 389 789 to 154 562 computations (60.3% saved)

end1.1min (11.2%)

Memory: 11.9MiB live, 32 770.9MiB allocated

eval57.7s (9.4%)

Memory: 303.5MiB live, 88 845.3MiB allocated
Compiler: Compiled 40 304 301 to 542 968 computations (98.7% saved)

soundness53.4s (8.7%)

Memory

139.7MiB live, 39 403.7MiB allocated

Rules

1 584 866×	`lower-fma.f64`
1 584 326×	`lower-fma.f32`
1 024 470×	`lower-*.f64`
1 022 428×	`lower-*.f32`
510 436×	`lower-+.f64`

Stop Event

276×	iter limit
187×	node limit
29×	fuel
1×	done

Compiler

Compiled 35 520 to 15 566 computations (56.2% saved)

regimes50.6s (8.2%)

Memory

537.8MiB live, 77 046.4MiB allocated

Counts

19 322 → 560

Calls

145 calls:

1.8s	u2
1.6s	u1
1.5s	cosTheta_i
1.2s	uy
1.2s	(*.f32 uy #s(literal 2 binary32))

Compiler

Compiled 38 349 to 22 694 computations (40.8% saved)

rewrite48.3s (7.9%)

Memory

810.0MiB live, 63 201.1MiB allocated

Algorithm

120×	batch-egg-rewrite

Rules

589 756×	`lower-fma.f64`
588 912×	`lower-fma.f32`
539 212×	`lower-*.f64`
536 428×	`lower-*.f32`
396 764×	`lower-/.f64`

Stop Event

246×	iter limit
117×	node limit
3×	unsound

Counts

2 160 → 79 071

localize29.8s (4.8%)

Memory

96.6MiB live, 43 553.6MiB allocated

Samples

11.5s	26 922×	0	valid
1.2s	1 069×	1	valid
1.2s	2 101×	0	invalid
269.0ms	93×	5	exit
173.0ms	509×	0	exit
21.0ms	22×	2	valid
5.0ms	4×	3	valid

Compiler

Compiled 115 128 to 5 796 computations (95% saved)

Precisions

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

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

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

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

const: 557.0ms (5.2% of total)

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

ival-exp: 336.0ms (3.1% of total)

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

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

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

ival-log: 212.0ms (2% of total)

ival-sin: 167.0ms (1.5% of total)

ival-pow: 167.0ms (1.5% of total)

adjust: 163.0ms (1.5% of total)

ival-log1p: 149.0ms (1.4% of total)

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

ival-cos: 117.0ms (1.1% of total)

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

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

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

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

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

exact: 55.0ms (0.5% of total)

ival-pi: 52.0ms (0.5% of total)

ival-fabs: 43.0ms (0.4% of total)

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

ival-e: 20.0ms (0.2% of total)

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

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

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

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

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

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

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

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

analyze20.4s (3.3%)

Memory

144.9MiB live, 32 423.2MiB 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.0s (2.3%)

Memory

-227.2MiB live, 18 961.7MiB allocated

Counts

2 160 → 56 436

Calls

10671 calls:

Time	Variable		Point	Expression
267.0ms	v	@	0	(* v (log (+ u (* (- 1 u) (/ 1 (exp (/ 2 v)))))))
195.0ms	sinTheta_i	@	inf	(* (/ (exp (/ (* sinTheta_i sinTheta_O) (neg v))) v) (/ 1/2 (* v (sinh (/ 1 v)))))
192.0ms	cosTheta_O	@	0	(* (* cosTheta_i cosTheta_O) (* (/ (exp (/ (* sinTheta_i sinTheta_O) (neg v))) v) (/ 1/2 (* v (sinh (/ 1 v))))))
177.0ms	cosTheta_i	@	inf	(* (* cosTheta_O (* (/ 1 v) cosTheta_i)) (+ (* sinTheta_O (/ (* -1/2 sinTheta_i) (* v v))) (/ 1/2 v)))
159.0ms	s	@	0	(* (* (neg s) (log (+ 1 (+ (* u -4/3) 1/3)))) 3)

preprocess12.0s (2%)

Memory

-136.0MiB live, 15 470.3MiB 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 53 696 to 16 712 computations (68.9% saved)

explain8.9s (1.5%)

Memory

-358.2MiB live, 13 889.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	979	82
`-.f32`	`#f`	cancellation	387	34
`sqrt.f32`	`#f`	oflow-rescue	372	0
`cos.f32`	`#f`	sensitivity	175	11
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	169	24
`/.f32`	`#f`	o/n	162	0
`exp.f32`	`#f`	sensitivity	46	17
`/.f32`	`#f`	u/n	28	0
`/.f32`	`#f`	o/o	24	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	14	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	300
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	14
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	150
↳	`(*.f32 eta eta)`	underflow	14
`/.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	3	0
↳	`(/.f32 sin2phi (*.f32 alphay alphay))`	overflow	9
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	9
`*.f32`	`#f`	*nu**	2	0
`+.f32`	`(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	1650	52
-	368	5610

Precision

0.817641228939544

Recall

0.9694477085781433

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1650	31	21
-	368	117	5493

Precision?

0.7760849492151431

Recall?

0.9876615746180963

Freqs

test

number	freq
0	5662
1	1698
2	296
3	24

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	21	0	0
-	3	0	6

Precision?

0.875

Recall?

1.0

Samples

2.6s	15 262×	0	valid
31.0ms	84×	1	valid
10.0ms	14×	5	exit

Compiler

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

Precisions

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

ival-mult: 600.0ms (37.4% of total)

ival-div: 217.0ms (13.5% of total)

ival-sin: 88.0ms (5.5% of total)

ival-sub: 84.0ms (5.2% of total)

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

ival-log: 76.0ms (4.7% of total)

ival-floor: 65.0ms (4.1% of total)

ival-sqrt: 65.0ms (4.1% of total)

ival-exp: 43.0ms (2.7% of total)

ival-pi: 43.0ms (2.7% of total)

ival-cos: 41.0ms (2.6% of total)

ival-neg: 28.0ms (1.7% of total)

const: 26.0ms (1.6% of total)

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

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

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

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

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

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

exact: 14.0ms (0.9% of total)

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

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

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

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

adjust: 4.0ms (0.2% of total)

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

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

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

bsearch276.0ms (0%)

Memory

-9.1MiB live, 187.7MiB allocated

Algorithm

84×	left-value
40×	binary-search

Stop Event

40×	narrow-enough

Compiler

Compiled 4 193 to 2 844 computations (32.2% saved)

simplify1.7min (16.2%)

sample1.4min (13.2%)

prune1.2min (11.3%)

end1.1min (11.2%)

eval57.7s (9.4%)

soundness53.4s (8.7%)

regimes50.6s (8.2%)

rewrite48.3s (7.9%)

localize29.8s (4.8%)

analyze20.4s (3.3%)

series14.0s (2.3%)

preprocess12.0s (2%)

explain8.9s (1.5%)

bsearch276.0ms (0%)

Profiling