Metrics for Herbie run

Date:	Monday, July 22nd, 2024
Commit:	11cd870a on better-preprocessing
Hostname:	nightly with Racket 8.11.1
Seed:	2024204
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.2%)

Memory

-108.0MiB live, 145 502.0MiB allocated

Algorithm

268×	egg-herbie

Rules

2 212 550×	`accelerator-lowering-fma.f32`
2 212 550×	`accelerator-lowering-fma.f64`
1 053 862×	`-lowering-.f32`
1 053 862×	`-lowering-.f64`
575 520×	`+-lowering-+.f32`

Stop Event

241×	iter limit
196×	node limit
69×	saturated
3×	unsound

Counts

56 064 → 56 064

prune1.4min (14.3%)

Memory: -671.8MiB live, 87 739.1MiB allocated
Counts: 253 839 → 4 680
Compiler: Compiled 408 518 to 154 822 computations (62.1% saved)

sample1.2min (12%)

Memory

353.5MiB live, 106 214.6MiB allocated

Samples

51.4s	247 600×	0	valid
2.4s	10 450×	0	invalid
9.0ms	80×	1	valid

Precisions

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

ival-mult: 8.6s (20.5% of total)

const: 6.4s (15.2% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

ival-neg: 495.0ms (1.2% of total)

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

exact: 409.0ms (1% of total)

ival-atan: 390.0ms (0.9% of total)

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

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

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

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

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

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

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

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

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

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

adjust: 1.0ms (0% of total)

Bogosity

eval1.1min (10.5%)

Memory: 933.7MiB live, 93 171.5MiB allocated
Compiler: Compiled 44 643 391 to 579 419 computations (98.7% saved)

rewrite50.9s (8.4%)

Memory

-269.7MiB live, 72 395.2MiB allocated

Algorithm

119×	batch-egg-rewrite

Rules

580 342×	`accelerator-lowering-fma.f32`
580 342×	`accelerator-lowering-fma.f64`
540 602×	`-lowering-.f32`
540 602×	`-lowering-.f64`
417 508×	`/-lowering-/.f32`

Stop Event

122×	iter limit
116×	node limit
3×	unsound

Counts

2 152 → 83 948

soundness48.0s (8%)

Memory

197.5MiB live, 39 275.1MiB allocated

Rules

1 527 306×	`accelerator-lowering-fma.f32`
1 527 306×	`accelerator-lowering-fma.f64`
1 035 088×	`-lowering-.f32`
1 035 088×	`-lowering-.f64`
505 744×	`/-lowering-/.f32`

Stop Event

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

Compiler

Compiled 35 730 to 15 323 computations (57.1% saved)

end47.9s (8%)

Memory: 5.3MiB live, 23 084.4MiB allocated

regimes46.2s (7.7%)

Memory

113.1MiB live, 72 744.6MiB allocated

Counts

18 253 → 549

Calls

145 calls:

1.6s	s
1.3s	(*.f32 uy #s(literal 2 binary32))
1.3s	uy
1.3s	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
1.2s	cosTheta_i

Compiler

Compiled 37 861 to 21 569 computations (43% saved)

localize29.3s (4.9%)

Memory

-89.6MiB live, 43 462.3MiB allocated

Samples

10.9s	26 378×	0	valid
1.2s	2 070×	0	invalid
713.0ms	646×	2	valid
710.0ms	910×	1	valid
556.0ms	256×	4	exit
150.0ms	107×	5	exit
26.0ms	90×	1	exit
6.0ms	5×	3	valid
4.0ms	2×	4	valid

Compiler

Compiled 115 730 to 5 675 computations (95.1% saved)

Precisions

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

ival-mult: 3.2s (30% of total)

ival-div: 1.9s (18.3% of total)

ival-add: 996.0ms (9.4% of total)

ival-sqrt: 653.0ms (6.2% of total)

ival-pow2: 577.0ms (5.4% of total)

const: 464.0ms (4.4% of total)

ival-log: 263.0ms (2.5% of total)

adjust: 251.0ms (2.4% of total)

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

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

ival-sub: 199.0ms (1.9% of total)

ival-sin: 198.0ms (1.9% of total)

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

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

ival-cos: 143.0ms (1.3% of total)

ival-if: 142.0ms (1.3% of total)

ival-fmax: 136.0ms (1.3% of total)

ival-floor: 125.0ms (1.2% of total)

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

exact: 89.0ms (0.8% of total)

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

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

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

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

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

ival-acos: 18.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

analyze20.5s (3.4%)

Memory

353.2MiB live, 31 240.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.0s (2.5%)

Memory

299.0MiB live, 21 443.9MiB allocated

Counts

2 152 → 56 064

Calls

10668 calls:

Time	Variable		Point	Expression
266.0ms	u1	@	0	(* (sqrt (neg (log (- 1 u1)))) (sin (* (* 2 (PI)) u2)))
264.0ms	sinTheta_O	@	0	(+ (* cosTheta_O (/ cosTheta_i v)) (/ (* cosTheta_O (* (* sinTheta_O (neg sinTheta_i)) cosTheta_i)) (* v v)))
186.0ms	w	@	0	(pow (exp 2) (log (* (floor w) dY.u)))
181.0ms	u1	@	-inf	(* (log (+ 1 (/ u0 (* (- 1 u0) (+ (/ 1 (* alphax (* alphax (+ 1 (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2))))) (/ (- 1 (/ 1 (+ 1 (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2)))) (* alphay alphay))))))) -1/2)
180.0ms	x	@	-inf	(/ (pow (+ (exp (neg (/ (fabs x) s))) 1) -2) s)

preprocess10.4s (1.7%)

Memory

143.2MiB live, 15 025.5MiB allocated

Algorithm

30×	egg-herbie

Rules

132 696×	`accelerator-lowering-fma.f32`
132 696×	`accelerator-lowering-fma.f64`
46 474×	`-lowering-.f32`
46 474×	`-lowering-.f64`
27 980×	`unsub-neg`

Stop Event

31×	saturated
30×	iter limit
29×	node limit

Compiler

Compiled 50 296 to 14 900 computations (70.4% saved)

explain9.0s (1.5%)

Memory

92.8MiB live, 13 767.9MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	994	71
`-.f32`	`#f`	cancellation	390	28
`sqrt.f32`	`#f`	oflow-rescue	356	0
`cos.f32`	`#f`	sensitivity	197	12
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	174	26
`/.f32`	`#f`	o/n	130	0
`exp.f32`	`#f`	sensitivity	39	28
`/.f32`	`#f`	u/n	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	18	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	284
↳	`(-.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	142
↳	`(*.f32 eta eta)`	underflow	18
`/.f32`	`#f`	o/o	18	0
`/.f32`	`#f`	n/o	5	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	2	0
`sin.f32`	`(sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	1637	57
-	384	5602

Precision

0.809995051954478

Recall

0.9663518299881936

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1637	26	31
-	384	127	5475

Precision?

0.764949402023919

Recall?

0.9817001180637545

Freqs

test

number	freq
0	5659
1	1712
2	291
3	18

Total Confusion?

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

Precision?

0.7931034482758621

Recall?

1.0

Samples

2.4s	15 284×	0	valid
18.0ms	56×	1	valid
12.0ms	18×	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: 501.0ms (32.8% of total)

ival-div: 238.0ms (15.6% of total)

ival-sqrt: 104.0ms (6.8% of total)

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

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

ival-log: 75.0ms (4.9% of total)

ival-sin: 73.0ms (4.8% of total)

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

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

ival-floor: 42.0ms (2.7% of total)

ival-cos: 42.0ms (2.7% of total)

ival-fmax: 27.0ms (1.8% of total)

const: 24.0ms (1.6% of total)

ival-pi: 22.0ms (1.4% of total)

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

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

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

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

exact: 13.0ms (0.9% of total)

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

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

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

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

adjust: 4.0ms (0.3% of total)

ival-sinh: 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)

bsearch103.0ms (0%)

Memory

60.6MiB live, 177.1MiB allocated

Algorithm

101×	left-value
36×	binary-search

Stop Event

36×	narrow-enough

Compiler

Compiled 4 665 to 3 088 computations (33.8% saved)

simplify1.7min (17.2%)

prune1.4min (14.3%)

sample1.2min (12%)

eval1.1min (10.5%)

rewrite50.9s (8.4%)

soundness48.0s (8%)

end47.9s (8%)

regimes46.2s (7.7%)

localize29.3s (4.9%)

analyze20.5s (3.4%)

series15.0s (2.5%)

preprocess10.4s (1.7%)

explain9.0s (1.5%)

bsearch103.0ms (0%)

Profiling