Metrics for Herbie run

Date:	Tuesday, July 16th, 2024
Commit:	a85c6450 on fix-terminal-costs
Hostname:	nightly with Racket 8.11.1
Seed:	2024198
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.7%)

Memory

93.2MiB live, 145 625.1MiB allocated

Algorithm

266×	egg-herbie

Rules

2 211 164×	`accelerator-lowering-fma.f32`
2 211 164×	`accelerator-lowering-fma.f64`
1 065 464×	`-lowering-.f32`
1 065 464×	`-lowering-.f64`
571 878×	`+-lowering-+.f32`

Stop Event

239×	iter limit
198×	node limit
65×	saturated
3×	unsound

Counts

55 296 → 55 296

prune1.6min (15.5%)

Memory: -62.9MiB live, 88 336.4MiB allocated
Counts: 243 716 → 4 845
Compiler: Compiled 428 763 to 162 307 computations (62.1% saved)

sample1.2min (11.9%)

Memory

26.9MiB live, 105 667.8MiB allocated

Samples

54.1s	247 586×	0	valid
1.8s	10 541×	0	invalid
10.0ms	94×	1	valid

Precisions

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

ival-mult: 10.1s (22.4% of total)

const: 7.0s (15.4% of total)

ival-<=: 6.5s (14.4% of total)

ival-div: 4.4s (9.7% of total)

ival-sub: 2.0s (4.5% of total)

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

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

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

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

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

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

ival-exp: 833.0ms (1.8% of total)

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

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

ival-neg: 604.0ms (1.3% of total)

ival-fmax: 537.0ms (1.2% of total)

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

exact: 465.0ms (1% of total)

ival-sinh: 355.0ms (0.8% of total)

ival-tan: 291.0ms (0.6% of total)

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

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

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

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

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

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

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

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

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

adjust: 1.0ms (0% of total)

Bogosity

eval1.0min (9.9%)

Memory: 379.4MiB live, 91 049.7MiB allocated
Compiler: Compiled 43 999 928 to 576 618 computations (98.7% saved)

rewrite53.4s (8.7%)

Memory

-207.3MiB live, 71 997.6MiB allocated

Algorithm

118×	batch-egg-rewrite

Rules

603 524×	`accelerator-lowering-fma.f32`
603 524×	`accelerator-lowering-fma.f64`
548 702×	`-lowering-.f32`
548 702×	`-lowering-.f64`
408 234×	`/-lowering-/.f32`

Stop Event

121×	iter limit
115×	node limit
3×	unsound

Counts

2 097 → 78 202

regimes51.9s (8.4%)

Memory

172.6MiB live, 78 468.5MiB allocated

Counts

18 883 → 553

Calls

145 calls:

1.6s	s
1.6s	maxCos
1.5s	(*.f32 uy #s(literal 2 binary32))
1.5s	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
1.4s	uy

Compiler

Compiled 38 749 to 22 718 computations (41.4% saved)

soundness50.3s (8.1%)

Memory

60.6MiB live, 40 337.2MiB allocated

Rules

1 476 092×	`accelerator-lowering-fma.f32`
1 476 092×	`accelerator-lowering-fma.f64`
1 042 420×	`-lowering-.f32`
1 042 420×	`-lowering-.f64`
520 332×	`/-lowering-/.f32`

Stop Event

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

Compiler

Compiled 38 143 to 15 764 computations (58.7% saved)

end37.5s (6.1%)

Memory: 7.1MiB live, 18 085.2MiB allocated

localize28.8s (4.7%)

Memory

214.6MiB live, 44 355.1MiB allocated

Samples

10.8s	27 077×	0	valid
1.1s	892×	1	valid
936.0ms	1 894×	0	invalid
222.0ms	205×	2	valid
74.0ms	39×	5	exit
25.0ms	95×	1	exit
6.0ms	6×	3	valid

Compiler

Compiled 123 951 to 5 893 computations (95.2% saved)

Precisions

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

ival-mult: 3.5s (35.8% of total)

ival-div: 1.4s (14.2% of total)

ival-add: 1.1s (11.6% of total)

const: 522.0ms (5.3% of total)

ival-sqrt: 442.0ms (4.5% of total)

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

ival-pow2: 252.0ms (2.6% of total)

ival-log: 231.0ms (2.3% of total)

ival-sub: 222.0ms (2.2% of total)

ival-exp: 218.0ms (2.2% of total)

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

ival-sin: 194.0ms (2% of total)

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

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

ival-if: 134.0ms (1.4% of total)

adjust: 106.0ms (1.1% of total)

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

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

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

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

exact: 55.0ms (0.6% of total)

ival-pi: 55.0ms (0.6% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

analyze20.8s (3.4%)

Memory

241.9MiB live, 31 281.3MiB 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)

series19.7s (3.2%)

Memory

80.4MiB live, 24 137.4MiB allocated

Counts

2 097 → 55 296

Calls

10836 calls:

Time	Variable		Point	Expression
461.0ms	cosTheta_i	@	0	(exp (* (+ (log (/ (* (sinh (/ 1 v)) (* (* v 2) v)) (* cosTheta_i cosTheta_O))) (/ (* sinTheta_i sinTheta_O) v)) -1))
315.0ms	cosTheta_O	@	-inf	(+ (* cosTheta_O (/ cosTheta_i v)) 1)
297.0ms	dX.v	@	-inf	(* (log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (exp 2) (log (* (floor h) dX.v)))) (+ (pow (* (floor w) dY.u) 2) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor d) dY.w) 2))))) 1/2)
265.0ms	v	@	0	(log (/ (* (sinh (/ 1 v)) (* (* v 2) v)) (* cosTheta_i cosTheta_O)))
261.0ms	h	@	-inf	(* (log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (exp 2) (log (* (floor h) dX.v)))) (+ (pow (* (floor w) dY.u) 2) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor d) dY.w) 2))))) 1/2)

preprocess11.7s (1.9%)

Memory

141.7MiB live, 15 628.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 69 320 to 16 556 computations (76.1% saved)

explain9.2s (1.5%)

Memory

-86.5MiB live, 13 495.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1021	68
`-.f32`	`#f`	cancellation	386	31
`sqrt.f32`	`#f`	oflow-rescue	354	0
`cos.f32`	`#f`	sensitivity	187	15
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	171	11
`/.f32`	`#f`	o/n	142	0
`exp.f32`	`#f`	sensitivity	48	31
`/.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	10	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	296
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	10
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	148
↳	`(*.f32 eta eta)`	underflow	10
`/.f32`	`#f`	o/o	10	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	11
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	11
`*.f32`	`#f`	*no**	5	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	4	0
`sin.f32`	`#f`	cancellation	2	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 -
+	1661	56
-	375	5588

Precision

0.8158153241650294

Recall

0.9673849737914968

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1661	33	23
-	375	108	5480

Precision?

0.7781350482315113

Recall?

0.9866045428072219

Freqs

test

number	freq
0	5644
1	1714
2	311
3	11

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	23	1	1
-	3	0	2

Precision?

0.8888888888888888

Recall?

0.96

Samples

2.5s	15 316×	0	valid
11.0ms	32×	1	valid
6.0ms	12×	5	exit

Compiler

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

Precisions

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

ival-mult: 587.0ms (31.9% of total)

ival-div: 326.0ms (17.7% of total)

ival-sub: 181.0ms (9.8% of total)

ival-add: 102.0ms (5.5% of total)

ival-neg: 91.0ms (4.9% of total)

ival-sin: 90.0ms (4.9% of total)

ival-log: 67.0ms (3.6% of total)

ival-sqrt: 63.0ms (3.4% of total)

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

ival-exp: 42.0ms (2.3% of total)

ival-floor: 39.0ms (2.1% of total)

ival->=: 32.0ms (1.7% of total)

ival-fmax: 25.0ms (1.4% of total)

const: 22.0ms (1.2% of total)

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

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

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

exact: 13.0ms (0.7% of total)

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

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

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

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

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

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

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

bsearch104.0ms (0%)

Memory

10.7MiB live, 166.0MiB allocated

Algorithm

78×	left-value
52×	binary-search

Stop Event

52×	narrow-enough

Compiler

Compiled 4 558 to 2 969 computations (34.9% saved)

simplify1.7min (16.7%)

prune1.6min (15.5%)

sample1.2min (11.9%)

eval1.0min (9.9%)

rewrite53.4s (8.7%)

regimes51.9s (8.4%)

soundness50.3s (8.1%)

end37.5s (6.1%)

localize28.8s (4.7%)

analyze20.8s (3.4%)

series19.7s (3.2%)

preprocess11.7s (1.9%)

explain9.2s (1.5%)

bsearch104.0ms (0%)

Profiling