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

sample3.3min (24.7%)

Memory

618.1MiB live, 247 734.3MiB allocated

Samples

58.8s	121 588×	1	valid
39.0s	280 431×	0	valid
28.0s	14 588×	5	exit
16.0s	23 102×	2	valid
7.8s	4 022×	3	valid
6.4s	34 970×	0	exit
3.8s	10 951×	1	exit
3.5s	20 622×	0	invalid
2.3s	11 088×	1	invalid
522.0ms	36×	4	exit
308.0ms	816×	2	invalid
268.0ms	26×	3	exit
209.0ms	169×	4	valid
23.0ms	12×	2	exit

Precisions

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

ival-pow: 22.6s (15.7% of total)

ival-mult: 18.9s (13.1% of total)

ival-cos: 17.8s (12.4% of total)

ival-sin: 16.4s (11.3% of total)

ival-div: 12.9s (8.9% of total)

ival-pow2: 9.2s (6.4% of total)

adjust: 7.4s (5.1% of total)

ival-add: 6.4s (4.4% of total)

ival-exp: 6.2s (4.3% of total)

ival-sub: 6.1s (4.2% of total)

ival-log: 4.1s (2.8% of total)

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

ival-neg: 2.9s (2% of total)

ival-<: 1.8s (1.3% of total)

const: 1.8s (1.2% of total)

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

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

ival-pi: 637.0ms (0.4% of total)

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

exact: 511.0ms (0.4% of total)

ival-acos: 377.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify2.5min (18.6%)

Memory

-226.3MiB live, 199 509.5MiB allocated

Algorithm

446×	egg-herbie

Rules

3 513 054×	`accelerator-lowering-fma.f32`
3 513 054×	`accelerator-lowering-fma.f64`
1 711 328×	`-lowering-.f32`
1 711 328×	`-lowering-.f64`
906 502×	`+-lowering-+.f32`

Stop Event

395×	iter limit
310×	node limit
136×	saturated

Counts

82 488 → 82 488

rewrite1.3min (9.4%)

Memory

192.8MiB live, 108 773.1MiB allocated

Algorithm

197×	batch-egg-rewrite

Rules

875 538×	`accelerator-lowering-fma.f32`
875 538×	`accelerator-lowering-fma.f64`
835 410×	`-lowering-.f32`
835 410×	`-lowering-.f64`
654 828×	`/-lowering-/.f32`

Stop Event

213×	iter limit
195×	node limit
1×	saturated
1×	unsound

Counts

3 316 → 152 176

soundness1.2min (8.6%)

Memory

-84.1MiB live, 50 595.5MiB allocated

Rules

2 130 860×	`accelerator-lowering-fma.f32`
2 130 860×	`accelerator-lowering-fma.f64`
1 434 350×	`-lowering-.f32`
1 434 350×	`-lowering-.f64`
707 906×	`+-lowering-+.f32`

Stop Event

283×	iter limit
271×	node limit
44×	fuel
8×	done
1×	unsound

Compiler

Compiled 55 232 to 26 515 computations (52% saved)

localize59.0s (7.3%)

Memory

116.4MiB live, 83 732.0MiB allocated

Samples

14.6s	12 900×	1	valid
9.4s	4 633×	2	valid
7.1s	27 371×	0	valid
5.0s	763×	5	exit
1.7s	3 486×	0	invalid
1.7s	721×	3	valid
704.0ms	111×	4	exit
363.0ms	105×	4	valid
105.0ms	63×	1	invalid
78.0ms	243×	0	exit
47.0ms	7×	3	exit
24.0ms	27×	1	exit
5.0ms	1×	2	exit
3.0ms	1×	2	invalid

Compiler

Compiled 87 884 to 7 895 computations (91% saved)

Precisions

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

ival-mult: 8.1s (24.8% of total)

ival-cos: 5.1s (15.8% of total)

ival-sin: 5.0s (15.4% of total)

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

ival-add: 2.0s (6.1% of total)

adjust: 1.9s (5.7% of total)

ival-sqrt: 1.1s (3.5% of total)

const: 1.0s (3.2% of total)

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

ival-pow: 759.0ms (2.3% of total)

ival-sub: 738.0ms (2.3% of total)

ival-atan2: 362.0ms (1.1% of total)

ival-exp: 341.0ms (1% of total)

ival-log: 337.0ms (1% of total)

ival-neg: 320.0ms (1% of total)

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

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

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

ival-cbrt: 123.0ms (0.4% of total)

exact: 115.0ms (0.4% of total)

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

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

ival-hypot: 87.0ms (0.3% of total)

ival-copysign: 66.0ms (0.2% of total)

ival-expm1: 58.0ms (0.2% of total)

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

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

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

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

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

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

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

eval57.5s (7.1%)

Memory: 1 271.4MiB live, 83 390.8MiB allocated
Compiler: Compiled 13 031 600 to 782 635 computations (94% saved)

prune53.1s (6.5%)

Memory: -1 377.9MiB live, 93 176.1MiB allocated
Counts: 300 695 → 8 051
Compiler: Compiled 671 080 to 290 639 computations (56.7% saved)

regimes51.9s (6.4%)

Memory

-205.7MiB live, 72 543.4MiB allocated

Counts

26 670 → 1 074

Calls

155 calls:

3.5s	phi1
3.1s	phi2
2.7s	b
2.7s	lambda2
2.6s	a

Compiler

Compiled 31 360 to 17 828 computations (43.2% saved)

explain22.1s (2.7%)

Memory

-423.9MiB live, 31 084.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1817	6
`+.f64`	`#f`	cancellation	1729	35
`sin.f64`	`#f`	sensitivity	1566	3
`sqrt.f64`	`#f`	oflow-rescue	1458	0
`-.f64`	`#f`	cancellation	926	15
`log.f64`	`#f`	sensitivity	600	1
`-.f64`	`#f`	nan-rescue	526	0
`/.f64`	`#f`	o/n	465	0
`/.f64`	`#f`	u/u	331	0
`/.f64`	`#f`	o/o	320	0
`*.f64`	`#f`	*no**	250	0
`/.f64`	`#f`	u/n	167	0
`exp.f64`	`#f`	sensitivity	167	26
`sqrt.f64`	`#f`	uflow-rescue	155	0
`/.f64`	`#f`	n/o	118	0
`*.f64`	`#f`	*nu**	90	0
`cbrt.f64`	`#f`	oflow-rescue	81	0
`*.f64`	`#f`	*ou**	43	0
`/.f64`	`#f`	n/u	37	0
`cbrt.f64`	`#f`	uflow-rescue	37	0
`*.f64`	`#f`	*uo**	26	0
`pow.f64`	`#f`	sensitivity	15	3
`pow.f64`	`#f`	uflow-rescue	12	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	10	4
`log.f64`	`#f`	oflow-rescue	5	0
`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	141
↳	`(exp.f64 b)`	underflow	1

Confusion

	Predicted +	Predicted -
+	5831	69
-	1319	6093

Precision

0.8155244755244755

Recall

0.9883050847457627

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5831	42	27
-	1319	28	6065

Precision?

0.8134349030470914

Recall?

0.9954237288135593

Freqs

test

number	freq
0	6162
1	4725
2	1684
3	367
4	224
5	81
6	40
7	19
8	7
9	2
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	0	0
-	2	0	8

Precision?

0.9545454545454546

Recall?

1.0

Samples

4.3s	7 944×	1	valid
2.3s	16 410×	0	valid
1.9s	1 864×	2	valid
842.0ms	390×	3	valid
16.0ms	16×	4	valid

Compiler

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

Precisions

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

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

ival-cos: 1.4s (19.6% of total)

ival-mult: 908.0ms (12.5% of total)

ival-div: 652.0ms (9% of total)

ival-pow2: 609.0ms (8.4% of total)

ival-exp: 321.0ms (4.4% of total)

ival-sub: 300.0ms (4.1% of total)

adjust: 296.0ms (4.1% of total)

ival-sqrt: 273.0ms (3.7% of total)

ival-add: 270.0ms (3.7% of total)

ival-log: 258.0ms (3.5% of total)

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

ival-atan2: 72.0ms (1% of total)

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

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

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

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

ival-atan: 29.0ms (0.4% of total)

ival-cbrt: 28.0ms (0.4% of total)

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

exact: 24.0ms (0.3% of total)

ival-acos: 21.0ms (0.3% of total)

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

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

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

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

preprocess18.2s (2.2%)

Memory

70.4MiB live, 21 693.6MiB 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 73 808 to 22 452 computations (69.6% saved)

bsearch17.5s (2.2%)

Memory

-88.4MiB live, 24 160.7MiB allocated

Algorithm

289×	binary-search
229×	left-value

Stop Event

275×	narrow-enough
14×	predicate-same

Samples

9.1s	12 797×	1	valid
3.2s	20 332×	0	valid
1.1s	1 771×	2	valid
307.0ms	157×	3	valid
80.0ms	200×	1	exit
75.0ms	919×	0	invalid
13.0ms	31×	4	valid
1.0ms	2×	5	exit
0.0ms	2×	1	invalid

Compiler

Compiled 103 931 to 70 259 computations (32.4% saved)

Precisions

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

ival-cos: 3.5s (28.5% of total)

ival-sin: 2.9s (23.9% of total)

ival-mult: 1.8s (14.4% of total)

ival-div: 735.0ms (6% of total)

ival-pow2: 683.0ms (5.6% of total)

ival-sub: 597.0ms (4.9% of total)

adjust: 543.0ms (4.5% of total)

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

ival-sqrt: 227.0ms (1.9% of total)

ival-atan2: 189.0ms (1.6% of total)

ival-acos: 122.0ms (1% of total)

ival-neg: 71.0ms (0.6% of total)

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

ival-exp: 66.0ms (0.5% of total)

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

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

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

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

exact: 25.0ms (0.2% of total)

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

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

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

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

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

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

analyze17.5s (2.2%)

Memory

241.0MiB live, 21 560.7MiB 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)

series16.7s (2.1%)

Memory

-45.4MiB live, 23 856.6MiB allocated

Counts

3 316 → 82 488

Calls

16353 calls:

Time	Variable		Point	Expression
288.0ms	B	@	-inf	(* (sqrt (* -16 (* A (* (* C C) F)))) (/ -1 (+ (* -4 (* A C)) (* B B))))
281.0ms	t	@	inf	(/ (* (+ (* (+ (* 1/2 (* c_p s)) 1) (pow 1/2 c_p)) (* s (* (* (pow 1/2 c_p) s) (+ (* c_p (+ (* c_p 1/8) -1/8)) (* s (* (* c_p c_p) (+ (* c_p 1/48) -1/16))))))) (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)))
187.0ms	x	@	0	(log (+ x x))
166.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)))
138.0ms	t	@	-inf	(* (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (* (pow (+ 1 (/ 1 (- -1 (exp (neg t))))) (neg c_n)) (* (pow (+ 1 (exp (neg s))) (neg c_p)) (pow (+ 1 (exp (neg t))) (neg (neg c_p))))))

end0.0ms (0%)

Memory: 1.0MiB live, 0.9MiB allocated

sample3.3min (24.7%)

simplify2.5min (18.6%)

rewrite1.3min (9.4%)

soundness1.2min (8.6%)

localize59.0s (7.3%)

eval57.5s (7.1%)

prune53.1s (6.5%)

regimes51.9s (6.4%)

explain22.1s (2.7%)

preprocess18.2s (2.2%)

bsearch17.5s (2.2%)

analyze17.5s (2.2%)

series16.7s (2.1%)

end0.0ms (0%)

Profiling