Metrics for Herbie run

Date:	Thursday, August 1st, 2024
Commit:	9d1b2398 on HEAD
Hostname:	nightly with Racket 8.11.1
Seed:	2024214
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.5%)

Memory

757.6MiB live, 140 655.4MiB allocated

Algorithm

270×	egg-herbie

Rules

2 442 764×	`lower-fma.f64`
2 441 892×	`lower-fma.f32`
1 056 638×	`lower-*.f64`
1 053 750×	`lower-*.f32`
624 768×	`lower-+.f64`

Stop Event

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

Counts

56 208 → 55 923

prune1.6min (16%)

Memory: -555.0MiB live, 106 135.0MiB allocated
Counts: 249 854 → 4 703
Compiler: Compiled 425 860 to 158 425 computations (62.8% saved)

sample1.2min (12.1%)

Memory

794.3MiB live, 102 735.9MiB allocated

Samples

53.6s	247 596×	0	valid
1.7s	10 443×	0	invalid
12.0ms	84×	1	valid

Precisions

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

ival-mult: 9.1s (20.1% of total)

const: 7.5s (16.6% of total)

ival-<=: 6.3s (13.9% of total)

ival-div: 3.9s (8.7% of total)

ival-add: 2.4s (5.3% of total)

ival-sin: 1.9s (4.3% of total)

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

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

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

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

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

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

ival-floor: 810.0ms (1.8% of total)

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

ival-tan: 650.0ms (1.4% of total)

ival-neg: 618.0ms (1.4% of total)

ival-pi: 602.0ms (1.3% of total)

ival-log2: 493.0ms (1.1% of total)

exact: 427.0ms (0.9% of total)

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

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

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

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

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

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

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

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

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

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

adjust: 2.0ms (0% of total)

Bogosity

eval1.0min (9.8%)

Memory: 181.3MiB live, 90 147.9MiB allocated
Compiler: Compiled 43 326 779 to 561 353 computations (98.7% saved)

regimes51.6s (8.4%)

Memory

75.8MiB live, 76 940.0MiB allocated

Counts

16 797 → 501

Calls

145 calls:

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

Compiler

Compiled 41 199 to 23 776 computations (42.3% saved)

soundness51.0s (8.3%)

Memory

-173.4MiB live, 36 597.7MiB allocated

Rules

1 575 298×	`lower-fma.f64`
1 574 682×	`lower-fma.f32`
1 005 104×	`lower-*.f64`
1 003 030×	`lower-*.f32`
501 908×	`lower-+.f64`

Stop Event

268×	iter limit
182×	node limit
29×	fuel
1×	done

Compiler

Compiled 34 757 to 14 248 computations (59% saved)

rewrite50.4s (8.2%)

Memory

294.3MiB live, 68 498.9MiB allocated

Algorithm

120×	batch-egg-rewrite

Rules

603 014×	`lower-fma.f64`
602 148×	`lower-fma.f32`
549 328×	`lower-*.f64`
546 552×	`lower-*.f32`
412 472×	`lower-/.f64`

Stop Event

243×	iter limit
117×	node limit
3×	unsound

Counts

2 167 → 83 921

end38.7s (6.3%)

Memory: 0.6MiB live, 18 717.7MiB allocated

localize31.6s (5.1%)

Memory

-467.2MiB live, 41 843.8MiB allocated

Samples

12.0s	27 480×	0	valid
1.6s	1 146×	1	valid
858.0ms	1 982×	0	invalid
73.0ms	44×	5	exit
15.0ms	66×	0	exit
1.0ms	2×	1	exit

Compiler

Compiled 122 190 to 5 808 computations (95.2% saved)

Precisions

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

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

ival-div: 1.5s (14.5% of total)

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

ival-sqrt: 810.0ms (7.7% of total)

const: 644.0ms (6.1% of total)

ival-exp: 426.0ms (4.1% of total)

ival-log: 272.0ms (2.6% of total)

ival-pow2: 226.0ms (2.2% of total)

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

ival-sub: 189.0ms (1.8% of total)

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

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

adjust: 141.0ms (1.3% of total)

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

ival-if: 111.0ms (1.1% of total)

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

ival-log2: 100.0ms (1% of total)

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

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

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

exact: 53.0ms (0.5% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

ival-cosh: 3.0ms (0% of total)

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

analyze21.4s (3.5%)

Memory

-92.0MiB live, 30 849.1MiB 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)

series15.4s (2.5%)

Memory

106.6MiB live, 19 508.9MiB allocated

Counts

2 167 → 56 208

Calls

10749 calls:

Time	Variable		Point	Expression
544.0ms	v	@	0	(log (/ 1 (* 2 v)))
300.0ms	u1	@	inf	(/ 1 (sqrt (+ 1 (/ u0 (* (- 1 u0) (+ (* (/ (- 1 (cos (* 2 (atan (/ (* alphay (tan (* (PI) (+ (* 2 u1) 1/2)))) alphax))))) (* alphay alphay)) 1/2) (/ 1 (* alphax (* alphax (+ 1 (pow (/ (* alphay (tan (* (PI) (+ (* 2 u1) 1/2)))) alphax) 2)))))))))))
267.0ms	x	@	-inf	(/ (exp (+ (* -2 (log (+ 1 (exp (neg (/ (fabs x) s)))))) (neg (/ (fabs x) s)))) s)
233.0ms	cosTheta_O	@	-inf	(- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v))
192.0ms	h	@	inf	(log (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (pow (* (floor h) dY.v) 2)))

preprocess12.4s (2%)

Memory

99.0MiB live, 14 720.7MiB 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 62 840 to 19 352 computations (69.2% saved)

explain8.7s (1.4%)

Memory

-77.8MiB live, 13 623.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1030	63
`-.f32`	`#f`	cancellation	409	21
`sqrt.f32`	`#f`	oflow-rescue	358	0
`cos.f32`	`#f`	sensitivity	205	15
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	203	7
`/.f32`	`#f`	o/n	120	0
`exp.f32`	`#f`	sensitivity	42	18
`/.f32`	`#f`	u/n	24	0
`/.f32`	`#f`	o/o	12	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	9	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	9
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	137
↳	`(*.f32 eta eta)`	underflow	9
`/.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	16
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	16
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	2	0
`sin.f32`	`(sin.f32 (*.f32 x (PI.f32)))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	1681	49
-	404	5546

Precision

0.8062350119904077

Recall

0.9716763005780347

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1681	23	26
-	404	87	5459

Precision?

0.7763097949886105

Recall?

0.9849710982658959

Freqs

test

number	freq
0	5595
1	1764
2	309
3	12

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	20	1	0
-	4	1	4

Precision?

0.8076923076923077

Recall?

1.0

Samples

2.4s	15 322×	0	valid
12.0ms	38×	1	valid

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: 515.0ms (32.6% of total)

ival-div: 193.0ms (12.2% of total)

ival-sin: 187.0ms (11.8% of total)

ival-add: 83.0ms (5.3% of total)

ival-sub: 76.0ms (4.8% of total)

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

ival-sqrt: 66.0ms (4.2% of total)

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

const: 55.0ms (3.5% of total)

ival-exp: 47.0ms (3% of total)

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

ival-neg: 33.0ms (2.1% of total)

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

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

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

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

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

exact: 13.0ms (0.8% of total)

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

ival-fabs: 9.0ms (0.6% of total)

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

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

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

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

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

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

adjust: 1.0ms (0.1% of total)

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

bsearch53.0ms (0%)

Memory

27.3MiB live, 109.8MiB allocated

Algorithm

58×	left-value
33×	binary-search

Stop Event

33×	narrow-enough

Compiler

Compiled 3 646 to 2 248 computations (38.3% saved)

simplify1.7min (16.5%)

prune1.6min (16%)

sample1.2min (12.1%)

eval1.0min (9.8%)

regimes51.6s (8.4%)

soundness51.0s (8.3%)

rewrite50.4s (8.2%)

end38.7s (6.3%)

localize31.6s (5.1%)

analyze21.4s (3.5%)

series15.4s (2.5%)

preprocess12.4s (2%)

explain8.7s (1.4%)

bsearch53.0ms (0%)

Profiling