Metrics for Herbie run

Date:	Tuesday, July 9th, 2024
Commit:	39f89785 on egg-runner
Hostname:	nightly with Racket 8.11.1
Seed:	2024191
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

sample3.3min (23.2%)

Memory

1 026.2MiB live, 261 757.3MiB allocated

Samples

1.0min	127 360×	1	valid
36.9s	273 724×	0	valid
26.9s	15 356×	5	exit
17.6s	24 905×	2	valid
7.6s	3 290×	3	valid
5.8s	34 383×	0	exit
4.0s	10 162×	1	exit
3.2s	19 819×	0	invalid
2.5s	12 087×	1	invalid
431.0ms	29×	4	exit
413.0ms	829×	2	invalid
301.0ms	23×	3	exit
243.0ms	33×	4	valid
31.0ms	16×	2	exit

Precisions

Click to see histograms. Total time spent on operations: 2.4min

ival-pow: 21.9s (15.3% of total)

ival-mult: 19.1s (13.3% of total)

ival-cos: 17.9s (12.5% of total)

ival-sin: 16.0s (11.1% of total)

ival-div: 11.6s (8.1% of total)

ival-pow2: 9.7s (6.8% of total)

adjust: 7.5s (5.2% of total)

ival-add: 7.2s (5% of total)

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

ival-exp: 5.5s (3.9% of total)

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

ival-sqrt: 3.8s (2.6% of total)

ival-neg: 3.2s (2.2% of total)

const: 1.7s (1.2% of total)

ival-<: 1.4s (1% of total)

ival-atan2: 823.0ms (0.6% of total)

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

ival-hypot: 587.0ms (0.4% of total)

ival-tan: 574.0ms (0.4% of total)

ival-acos: 562.0ms (0.4% of total)

exact: 539.0ms (0.4% of total)

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

ival-and: 329.0ms (0.2% of total)

ival-true: 319.0ms (0.2% of total)

ival-cbrt: 276.0ms (0.2% of total)

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

ival-<=: 174.0ms (0.1% of total)

ival-asin: 165.0ms (0.1% of total)

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

ival-log1p: 153.0ms (0.1% of total)

ival-==: 1.0ms (0% of total)

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

Bogosity

simplify2.9min (20.3%)

Memory

-436.9MiB live, 245 867.9MiB allocated

Algorithm

456×	egg-herbie

Rules

3 535 338×	`accelerator-lowering-fma.f32`
3 535 338×	`accelerator-lowering-fma.f64`
1 782 694×	`-lowering-.f32`
1 782 694×	`-lowering-.f64`
944 770×	`+-lowering-+.f32`

Stop Event

404×	iter limit
325×	node limit
131×	saturated

Counts

89 196 → 89 196

rewrite1.6min (10.9%)

Memory

879.2MiB live, 129 635.3MiB allocated

Algorithm

202×	batch-egg-rewrite

Rules

898 678×	`-lowering-.f32`
898 678×	`-lowering-.f64`
864 614×	`accelerator-lowering-fma.f32`
864 614×	`accelerator-lowering-fma.f64`
677 030×	`/-lowering-/.f32`

Stop Event

208×	iter limit
201×	node limit
1×	saturated

Counts

3 585 → 165 631

soundness1.1min (7.8%)

Memory

-327.3MiB live, 55 629.6MiB allocated

Rules

2 108 944×	`accelerator-lowering-fma.f32`
2 108 944×	`accelerator-lowering-fma.f64`
1 468 020×	`-lowering-.f32`
1 468 020×	`-lowering-.f64`
725 266×	`+-lowering-+.f32`

Stop Event

277×	iter limit
274×	node limit
47×	fuel
5×	done
2×	saturated

Compiler

Compiled 47 122 to 23 524 computations (50.1% saved)

localize1.0min (7.2%)

Memory

424.1MiB live, 90 758.3MiB allocated

Samples

17.3s	13 660×	1	valid
8.6s	29 212×	0	valid
7.0s	3 870×	2	valid
4.4s	576×	5	exit
1.7s	688×	1	invalid
1.4s	2 926×	0	invalid
1.1s	431×	3	valid
943.0ms	151×	4	exit
86.0ms	134×	1	exit
80.0ms	5×	4	valid
70.0ms	6×	3	exit
26.0ms	6×	2	invalid
13.0ms	29×	2	exit
13.0ms	18×	0	exit

Compiler

Compiled 108 009 to 8 261 computations (92.4% saved)

Precisions

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

ival-mult: 7.8s (23.1% of total)

ival-sin: 5.9s (17.5% of total)

ival-cos: 5.0s (14.7% of total)

ival-div: 3.8s (11.3% of total)

adjust: 1.9s (5.6% of total)

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

ival-sub: 1.0s (3.1% of total)

const: 1.0s (3.1% of total)

ival-pow2: 833.0ms (2.5% of total)

ival-pow: 681.0ms (2% of total)

ival-sqrt: 669.0ms (2% of total)

ival-log: 616.0ms (1.8% of total)

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

ival-atan2: 293.0ms (0.9% of total)

ival-log1p: 250.0ms (0.7% of total)

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

ival-neg: 220.0ms (0.7% of total)

ival-hypot: 213.0ms (0.6% of total)

ival-atan: 186.0ms (0.6% of total)

exact: 144.0ms (0.4% of total)

ival-acos: 142.0ms (0.4% of total)

ival-cbrt: 117.0ms (0.3% of total)

ival-pi: 111.0ms (0.3% of total)

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

ival-true: 50.0ms (0.1% of total)

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

ival-asin: 22.0ms (0.1% of total)

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

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

ival-sinh: 6.0ms (0% of total)

ival-copysign: 6.0ms (0% of total)

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

eval58.0s (6.7%)

Memory: 2 001.0MiB live, 91 875.7MiB allocated
Compiler: Compiled 15 136 430 to 854 848 computations (94.4% saved)

prune56.9s (6.6%)

Memory: -2 069.1MiB live, 95 630.0MiB allocated
Counts: 322 795 → 8 290
Compiler: Compiled 681 754 to 301 041 computations (55.8% saved)

regimes52.4s (6.1%)

Memory

163.6MiB live, 83 640.2MiB allocated

Counts

27 730 → 1 005

Calls

155 calls:

3.1s	phi2
2.9s	b
2.9s	a
2.9s	phi1
2.4s	lambda1

Compiler

Compiled 13 144 to 8 599 computations (34.6% saved)

explain21.8s (2.5%)

Memory

-189.7MiB live, 32 440.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1791	3
`+.f64`	`#f`	cancellation	1711	33
`sin.f64`	`#f`	sensitivity	1540	5
`sqrt.f64`	`#f`	oflow-rescue	1480	0
`-.f64`	`#f`	cancellation	906	12
`log.f64`	`#f`	sensitivity	570	2
`-.f64`	`#f`	nan-rescue	502	0
`/.f64`	`#f`	o/n	490	0
`/.f64`	`#f`	u/u	345	0
`/.f64`	`#f`	o/o	305	0
`*.f64`	`#f`	*no**	236	0
`/.f64`	`#f`	u/n	190	0
`exp.f64`	`#f`	sensitivity	169	26
`sqrt.f64`	`#f`	uflow-rescue	167	0
`/.f64`	`#f`	n/o	107	0
`*.f64`	`#f`	*nu**	100	0
`cbrt.f64`	`#f`	oflow-rescue	81	0
`cbrt.f64`	`#f`	uflow-rescue	45	0
`/.f64`	`#f`	n/u	41	0
`*.f64`	`#f`	*uo**	35	0
`*.f64`	`#f`	*ou**	26	0
`acos.f64`	`(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))`	sensitivity	15	2
`pow.f64`	`#f`	uflow-rescue	9	0
`log.f64`	`#f`	oflow-rescue	7	0
`pow.f64`	`#f`	sensitivity	6	2
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	1	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	1
↳	`(exp.f64 a)`	underflow	117
↳	`(exp.f64 b)`	underflow	1
`sin.f64`	`(sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	5760	75
-	1352	6125

Precision

0.8098987626546682

Recall

0.987146529562982

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5760	44	31
-	1352	33	6092

Precision?

0.8073445541799972

Recall?

0.994687232219366

Freqs

test

number	freq
0	6200
1	4729
2	1648
3	362
4	206
5	99
6	39
7	22
8	5
9	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	0	1
-	2	1	6

Precision?

0.9333333333333333

Recall?

0.9767441860465116

Samples

4.1s	8 230×	1	valid
2.1s	16 080×	0	valid
2.0s	1 986×	2	valid
525.0ms	324×	3	valid
11.0ms	4×	4	valid

Compiler

Compiled 21 748 to 3 336 computations (84.7% saved)

Precisions

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

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

ival-cos: 1.1s (15.9% of total)

ival-mult: 959.0ms (14.1% of total)

ival-div: 617.0ms (9.1% of total)

ival-pow2: 436.0ms (6.4% of total)

adjust: 355.0ms (5.2% of total)

ival-add: 287.0ms (4.2% of total)

ival-sub: 283.0ms (4.2% of total)

ival-sqrt: 217.0ms (3.2% of total)

ival-exp: 217.0ms (3.2% of total)

ival-log: 189.0ms (2.8% of total)

ival-neg: 111.0ms (1.6% of total)

ival-atan2: 55.0ms (0.8% of total)

ival-atan: 51.0ms (0.8% of total)

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

ival-acos: 43.0ms (0.6% of total)

ival-hypot: 33.0ms (0.5% of total)

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

exact: 27.0ms (0.4% of total)

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

ival-pow: 25.0ms (0.4% of total)

ival-cbrt: 20.0ms (0.3% of total)

ival-fabs: 14.0ms (0.2% of total)

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

ival-asin: 8.0ms (0.1% of total)

ival-log1p: 5.0ms (0.1% of total)

series20.4s (2.4%)

Memory

-347.0MiB live, 26 671.0MiB allocated

Counts

3 585 → 89 196

Calls

18189 calls:

Time	Variable		Point	Expression
275.0ms	a	@	inf	(pow (* 2 (+ (* (- 1/2 (* 1/2 (cos (* 2 (/ (PI) (/ 180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (/ (PI) (/ 180 angle)))))) (* a a)))) 1/4)
261.0ms	c	@	inf	(/ (/ -1 (+ b (sqrt (+ (* b b) (* c (* a -4)))))) 2)
189.0ms	s	@	inf	(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
185.0ms	t	@	inf	(exp (- (+ (* (* c_p -1) (log (+ 1 (/ 1 (exp s))))) (* c_n (log (+ 1 (/ 1 (+ -1 (/ -1 (exp s)))))))) (+ (* (* c_p -1) (log (+ 1 (exp (- 0 t))))) (* c_n (log (+ 1 (/ 1 (+ -1 (/ -1 (exp t))))))))))
166.0ms	angle	@	inf	(log (sqrt (+ (* (- (/ (+ (* (* a a) (- 1/2 (* 1/2 (cos (* 2 (/ (* angle (PI)) 180)))))) (* (* b b) (+ 1/2 (* 1/2 (cos (* 2 (/ (* angle (PI)) 180))))))) (* x-scale x-scale)) (/ (+ (* (* a a) (+ 1/2 (* 1/2 (cos (* 2 (/ (* angle (PI)) 180)))))) (* b (* b (- 1/2 (* 1/2 (cos (* 2 (/ (* angle (PI)) 180)))))))) (* y-scale y-scale))) (- (/ (+ (* (* a a) (- 1/2 (* 1/2 (cos (* 2 (/ (* angle (PI)) 180)))))) (* (* b b) (+ 1/2 (* 1/2 (cos (* 2 (/ (* angle (PI)) 180))))))) (* x-scale x-scale)) (/ (+ (* (* a a) (+ 1/2 (* 1/2 (cos (* 2 (/ (* angle (PI)) 180)))))) (* b (* b (- 1/2 (* 1/2 (cos (* 2 (/ (* angle (PI)) 180)))))))) (* y-scale y-scale)))) (* (/ (* (- (* b b) (* a a)) (sin (* 2 (/ (* angle (PI)) 180)))) (* x-scale y-scale)) (/ (* (- (* b b) (* a a)) (sin (* 2 (/ (* angle (PI)) 180)))) (* x-scale y-scale))))))

preprocess19.4s (2.2%)

Memory

146.8MiB live, 24 732.5MiB allocated

Algorithm

104×	egg-herbie

Rules

237 718×	`accelerator-lowering-fma.f32`
237 718×	`accelerator-lowering-fma.f64`
81 446×	`-lowering-.f32`
81 446×	`-lowering-.f64`
46 320×	`unsub-neg`

Stop Event

60×	saturated
52×	iter limit
44×	node limit

Compiler

Compiled 60 232 to 20 774 computations (65.5% saved)

bsearch19.2s (2.2%)

Memory

-413.1MiB live, 27 166.6MiB allocated

Algorithm

374×	binary-search
71×	left-value

Stop Event

360×	narrow-enough
13×	predicate-same
1×	predicate-failed

Samples

6.7s	11 961×	1	valid
4.5s	30 825×	0	valid
1.7s	2 796×	2	valid
1.3s	871×	5	exit
268.0ms	87×	3	valid
154.0ms	1 571×	0	invalid
24.0ms	68×	1	exit
15.0ms	2×	4	valid

Compiler

Compiled 115 886 to 80 207 computations (30.8% saved)

Precisions

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

ival-sin: 2.5s (19.6% of total)

ival-cos: 2.3s (18% of total)

ival-mult: 2.0s (15.8% of total)

ival-pow2: 1.1s (8.3% of total)

ival-div: 847.0ms (6.7% of total)

ival-sub: 821.0ms (6.5% of total)

adjust: 673.0ms (5.3% of total)

ival-add: 510.0ms (4% of total)

ival-pow: 510.0ms (4% of total)

ival-sqrt: 291.0ms (2.3% of total)

ival-exp: 214.0ms (1.7% of total)

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

ival-atan2: 158.0ms (1.2% of total)

ival-acos: 114.0ms (0.9% of total)

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

ival-atan: 100.0ms (0.8% of total)

ival-hypot: 62.0ms (0.5% of total)

ival-log: 62.0ms (0.5% of total)

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

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

exact: 37.0ms (0.3% of total)

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

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

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

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

analyze16.6s (1.9%)

Memory

140.2MiB live, 21 661.1MiB allocated

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
17.2%	13.7%	65.7%	20.6%	0%	0%	0%	1
25%	19.6%	58.5%	20.6%	0%	1.3%	0%	2
35.2%	26.6%	48.9%	20.6%	0%	3.8%	0%	3
42.3%	31.7%	43.1%	20.6%	0%	4.5%	0%	4
47.9%	35.6%	38.7%	20.6%	0%	5.1%	0%	5
51%	37.6%	36.1%	20.6%	0%	5.7%	0%	6
54.4%	39.7%	33.2%	20.6%	0%	6.5%	0%	7
56.2%	40.7%	31.8%	20.6%	0%	6.8%	0%	8
59%	42.5%	29.5%	20.6%	0%	7.4%	0%	9
60.3%	43.2%	28.4%	20.6%	0%	7.7%	0%	10
62.1%	44.3%	27%	20.6%	0%	8.1%	0%	11
63.6%	45.1%	25.8%	20.6%	0%	8.5%	0%	12

Compiler

Compiled 1 826 to 990 computations (45.8% saved)

end0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated

sample3.3min (23.2%)

simplify2.9min (20.3%)

rewrite1.6min (10.9%)

soundness1.1min (7.8%)

localize1.0min (7.2%)

eval58.0s (6.7%)

prune56.9s (6.6%)

regimes52.4s (6.1%)

explain21.8s (2.5%)

series20.4s (2.4%)

preprocess19.4s (2.2%)

bsearch19.2s (2.2%)

analyze16.6s (1.9%)

end0.0ms (0%)

Profiling