Metrics for Herbie run

Date:	Sunday, July 14th, 2024
Commit:	2fc85eec on zane-odyssey-timeline
Hostname:	nightly with Racket 8.11.1
Seed:	2024196
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

sample1.2min (23.2%)

Memory

413.8MiB live, 99 124.7MiB allocated

Samples

49.7s	247 630×	0	valid
2.3s	10 628×	0	invalid
6.0ms	50×	1	valid

Precisions

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

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

const: 6.0s (14.5% of total)

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

ival-div: 4.0s (9.8% of total)

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

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

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

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

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

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

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

ival-exp: 976.0ms (2.4% of total)

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

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

ival-neg: 612.0ms (1.5% of total)

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

exact: 424.0ms (1% of total)

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

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

ival-log2: 285.0ms (0.7% of total)

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

ival-<: 210.0ms (0.5% of total)

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

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

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

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

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

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

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

adjust: 1.0ms (0% of total)

Bogosity

simplify1.1min (22.4%)

Memory

953.5MiB live, 102 870.8MiB allocated

Algorithm

159×	egg-herbie

Rules

1 448 610×	`accelerator-lowering-fma.f32`
1 448 610×	`accelerator-lowering-fma.f64`
682 042×	`-lowering-.f32`
682 042×	`-lowering-.f64`
401 350×	`+-lowering-+.f32`

Stop Event

150×	iter limit
128×	node limit
28×	saturated
3×	unsound

Counts

27 264 → 27 264

rewrite29.8s (10%)

Memory

256.5MiB live, 46 480.5MiB allocated

Algorithm

68×	batch-egg-rewrite

Rules

288 528×	`-lowering-.f32`
288 528×	`-lowering-.f64`
273 352×	`accelerator-lowering-fma.f32`
273 352×	`accelerator-lowering-fma.f64`
250 890×	`/-lowering-/.f64`

Stop Event

71×	iter limit
65×	node limit
3×	unsound

Counts

1 211 → 49 555

regimes22.5s (7.5%)

Memory

74.7MiB live, 32 848.4MiB allocated

Counts

8 077 → 251

Calls

82 calls:

817.0ms	cosTheta_i
759.0ms	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
593.0ms	x
562.0ms	sin2phi
559.0ms	maxCos

Compiler

Compiled 18 170 to 11 138 computations (38.7% saved)

analyze20.0s (6.7%)

Memory

6.5MiB live, 29 407.0MiB 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)

soundness19.6s (6.6%)

Memory

-108.5MiB live, 16 283.2MiB allocated

Rules

613 612×	`accelerator-lowering-fma.f32`
613 612×	`accelerator-lowering-fma.f64`
461 148×	`-lowering-.f32`
461 148×	`-lowering-.f64`
242 588×	`/-lowering-/.f64`

Stop Event

82×	iter limit
82×	node limit
12×	fuel

Compiler

Compiled 12 803 to 6 306 computations (50.7% saved)

prune19.4s (6.5%)

Memory: -1 424.3MiB live, 32 836.4MiB allocated
Counts: 98 232 → 2 802
Compiler: Compiled 183 511 to 89 453 computations (51.3% saved)

eval14.2s (4.8%)

Memory: 574.5MiB live, 26 264.1MiB allocated
Compiler: Compiled 4 291 843 to 313 373 computations (92.7% saved)

localize12.6s (4.2%)

Memory

-94.6MiB live, 19 978.7MiB allocated

Samples

6.0s	16 494×	valid
339.0ms	835×	invalid
174.0ms	394×	exit

Compiler

Compiled 34 902 to 3 437 computations (90.2% saved)

Precisions

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

ival-mult: 1.6s (32.3% of total)

ival-div: 801.0ms (15.8% of total)

ival-add: 599.0ms (11.8% of total)

ival-sqrt: 538.0ms (10.6% of total)

const: 250.0ms (4.9% of total)

ival-log: 170.0ms (3.3% of total)

ival-sub: 150.0ms (2.9% of total)

ival-asin: 136.0ms (2.7% of total)

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

ival-sin: 129.0ms (2.5% of total)

ival-cos: 114.0ms (2.2% of total)

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

ival-log1p: 85.0ms (1.7% of total)

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

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

exact: 33.0ms (0.6% of total)

ival-pow: 31.0ms (0.6% of total)

ival-pow2: 30.0ms (0.6% of total)

ival-atan: 24.0ms (0.5% of total)

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

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

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

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

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

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

preprocess10.4s (3.5%)

Memory

188.4MiB live, 13 110.2MiB 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 26 966 to 11 826 computations (56.1% saved)

series7.7s (2.6%)

Memory

263.1MiB live, 11 380.1MiB allocated

Counts

1 211 → 27 264

Calls

5925 calls:

Time	Variable		Point	Expression
185.0ms	alphay	@	0	(pow (* (/ alphay alphax) (tan (+ (* 2 (* (PI) u1)) (* (PI) 1/2)))) 2)
179.0ms	s	@	0	(* (neg s) (neg (log (/ (+ 1 (/ 1 (+ (* u (+ (/ 1 (+ 1 (exp (neg (/ (PI) s))))) (/ -1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))))) (+ (pow (+ (* u (+ (/ 1 (+ 1 (exp (neg (/ (PI) s))))) (/ -1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) -1)))))
158.0ms	s	@	0	(* (* (neg s) (log (+ 1 (- 0 (/ (* (+ (* u u) -1/16) 4/3) (+ u 1/4)))))) 3)
123.0ms	u1	@	0	(sqrt (/ 1 (+ (/ u0 (* (- 1 u0) (+ (/ (+ 1 (/ -1 (+ 1 (pow (/ alphax (* alphay (tan (* (PI) (+ (* 2 u1) 1/2))))) -2)))) (* alphay alphay)) (/ 1 (* alphax (+ (* alphax (pow (/ alphax (* alphay (tan (* (PI) (+ (* 2 u1) 1/2))))) -2)) alphax)))))) 1)))
118.0ms	u0	@	inf	(sqrt (+ (/ u0 (* (+ (/ 1 (* alphax alphax)) (/ (- 1 (/ 1 (+ 1 (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2)))) (* alphay alphay))) (- 1 u0))) 1))

explain5.8s (1.9%)

Memory

-362.6MiB live, 8 892.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1014	88
`-.f32`	`#f`	cancellation	395	28
`cos.f32`	`#f`	sensitivity	200	9
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	187	14
`exp.f32`	`#f`	sensitivity	43	26
`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	268
↳	`(-.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	134
↳	`(*.f32 eta eta)`	underflow	21
`/.f32`	`#f`	u/n	17	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	12
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	12
`sin.f32`	`(sin.f32 (.f32 (.f32 x (PI.f32)) tau))`	cancellation	1	0
`+.f32`	`(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	1361	58
-	335	4134

Precision

0.8024764150943396

Recall

0.9591261451726568

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1361	41	17
-	335	108	4026

Precision?

0.7598915989159891

Recall?

0.9880197322057788

Freqs

test

number	freq
0	4192
1	1507
2	189

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	15	2	0
-	4	0	2

Precision?

0.8095238095238095

Recall?

1.0

Samples

1.7s

11 993×

valid

Compiler

Compiled 11 546 to 1 708 computations (85.2% saved)

Precisions

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

ival-mult: 290.0ms (24.2% of total)

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

ival-sqrt: 134.0ms (11.2% of total)

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

ival-add: 84.0ms (7% of total)

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

ival-sub: 64.0ms (5.3% of total)

ival-cos: 57.0ms (4.8% of total)

const: 46.0ms (3.8% of total)

ival-exp: 44.0ms (3.7% of total)

ival-neg: 37.0ms (3.1% of total)

ival-tan: 21.0ms (1.8% of total)

ival-pi: 20.0ms (1.7% of total)

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

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

exact: 11.0ms (0.9% of total)

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

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

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

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

ival-floor: 3.0ms (0.3% of total)

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

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

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

ival->=: 0.0ms (0% of total)

ival->: 0.0ms (0% of total)

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

bsearch24.0ms (0%)

Memory

56.3MiB live, 56.3MiB allocated

Algorithm

53×	left-value

Compiler

Compiled 1 547 to 1 143 computations (26.1% saved)

end0.0ms (0%)

Memory: 1.0MiB live, 1.0MiB allocated

sample1.2min (23.2%)

simplify1.1min (22.4%)

rewrite29.8s (10%)

regimes22.5s (7.5%)

analyze20.0s (6.7%)

soundness19.6s (6.6%)

prune19.4s (6.5%)

eval14.2s (4.8%)

localize12.6s (4.2%)

preprocess10.4s (3.5%)

series7.7s (2.6%)

explain5.8s (1.9%)

bsearch24.0ms (0%)

end0.0ms (0%)

Profiling