Metrics for Herbie run

Date:	Saturday, December 21st, 2024
Commit:	a72653ee on main
Hostname:	nightly with Racket 8.10
Seed:	2024356
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	49 110.2 MB

sample11.5s (23.3%)

Memory

412.0MiB live, 12 466.2MiB allocated; 5.4s collecting garbage

Samples

6.9s	70 197×	0	valid
851.0ms	4 102×	2	valid
334.0ms	1 884×	0	invalid
0.0ms	5×	1	valid

Precisions

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

ival-mult: 1.1s (22.2% of total)

ival-div: 955.0ms (18.6% of total)

ival-sqrt: 747.0ms (14.5% of total)

ival-sub: 727.0ms (14.1% of total)

ival-log: 382.0ms (7.4% of total)

ival-neg: 238.0ms (4.6% of total)

ival-add: 212.0ms (4.1% of total)

adjust: 177.0ms (3.4% of total)

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

ival->=: 116.0ms (2.3% of total)

ival-fabs: 92.0ms (1.8% of total)

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

exact: 59.0ms (1.1% of total)

ival-true: 54.0ms (1.1% of total)

ival-assert: 30.0ms (0.6% of total)

Bogosity

simplify9.3s (18.8%)

Memory

54.0MiB live, 8 828.8MiB allocated; 2.2s collecting garbage

Algorithm

75×	egg-herbie

Stop Event

97×	iter limit
52×	node limit
25×	saturated

Counts

2 493 → 2 462

rewrite6.9s (14.1%)

Memory

130.5MiB live, 6 908.2MiB allocated; 1.8s collecting garbage

Stop Event

69×	iter limit
31×	node limit
2×	unsound
1×	saturated

Counts

406 → 12 484

derivations6.9s (14%)

Memory

62.8MiB live, 3 898.5MiB allocated; 550ms collecting garbage

Stop Event

58×	iter limit
40×	node limit
5×	fuel
4×	done
1×	saturated

Compiler

Compiled 4 060 to 544 computations (86.6% saved)

localize4.4s (9%)

Memory

-76.5MiB live, 5 005.2MiB allocated; 1.5s collecting garbage

Samples

1.4s	6 830×	0	valid
860.0ms	730×	2	valid
548.0ms	103×	3	valid
489.0ms	529×	1	valid
115.0ms	256×	0	invalid

Compiler

Compiled 7 360 to 823 computations (88.8% saved)

Precisions

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

adjust: 626.0ms (27.2% of total)

ival-mult: 594.0ms (25.8% of total)

ival-div: 299.0ms (13% of total)

ival-add: 214.0ms (9.3% of total)

ival-sub: 209.0ms (9.1% of total)

ival-sqrt: 124.0ms (5.4% of total)

ival-if: 91.0ms (4% of total)

ival-neg: 35.0ms (1.5% of total)

ival-log: 31.0ms (1.3% of total)

ival-assert: 19.0ms (0.8% of total)

ival-fabs: 15.0ms (0.7% of total)

exact: 13.0ms (0.6% of total)

ival-pow2: 10.0ms (0.4% of total)

ival-exp: 8.0ms (0.3% of total)

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

ival->=: 7.0ms (0.3% of total)

eval2.7s (5.5%)

Memory: 88.4MiB live, 3 576.5MiB allocated; 510ms collecting garbage
Compiler: Compiled 760 417 to 63 941 computations (91.6% saved)

explain1.7s (3.5%)

Memory

-170.8MiB live, 2 089.9MiB allocated; 477ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	250	0
`+.f64`	`#f`	cancellation	113	0
`-.f64`	`#f`	cancellation	105	0
`sqrt.f64`	`#f`	uflow-rescue	67	0
`/.f64`	`#f`	n/u	22	0
`/.f64`	`#f`	u/n	22	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*no**	20	0
`-.f64`	`#f`	nan-rescue	18	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	5	0
`/.f64`	`(/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))))`	o/n	2	0
↳	`(*.f64 #s(literal 2 binary64) c)`	overflow	2

Confusion

	Predicted +	Predicted -
+	289	12
-	221	1782

Precision

0.5666666666666667

Recall

0.9601328903654485

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	289	0	12
-	221	0	1782

Precision?

0.5666666666666667

Recall?

0.9601328903654485

Freqs

test

number	freq
0	1794
1	402
2	102
3	6

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	4	0	0
-	0	0	5

Precision?

1.0

Recall?

1.0

Samples

338.0ms	3 724×	0	valid
180.0ms	520×	2	valid
96.0ms	304×	1	valid
51.0ms	60×	3	valid

Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 429.0ms

ival-mult: 88.0ms (20.5% of total)

ival-div: 83.0ms (19.4% of total)

adjust: 70.0ms (16.3% of total)

ival-sub: 47.0ms (11% of total)

ival-sqrt: 32.0ms (7.5% of total)

ival-fabs: 32.0ms (7.5% of total)

ival-add: 26.0ms (6.1% of total)

ival-if: 15.0ms (3.5% of total)

ival-neg: 11.0ms (2.6% of total)

ival-log: 7.0ms (1.6% of total)

ival-exp: 4.0ms (0.9% of total)

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

exact: 4.0ms (0.9% of total)

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

ival-assert: 2.0ms (0.5% of total)

prune1.4s (2.8%)

Memory: -195.3MiB live, 1 576.5MiB allocated; 953ms collecting garbage
Counts: 14 816 → 297
Compiler: Compiled 23 593 to 11 116 computations (52.9% saved)

preprocess1.1s (2.3%)

Memory

207.4MiB live, 1 342.2MiB allocated; 293ms collecting garbage

Algorithm

9×	egg-herbie

Stop Event

18×	iter limit
14×	saturated
4×	node limit

Compiler

Compiled 8 671 to 1 444 computations (83.3% saved)

bsearch968.0ms (2%)

Memory

-82.9MiB live, 784.1MiB allocated; 96ms collecting garbage

Algorithm

48×	binary-search
6×	left-value

Stop Event

45×	narrow-enough
3×	predicate-same

Samples

437.0ms	3 568×	0	valid
59.0ms	304×	0	invalid
34.0ms	32×	2	valid

Compiler

Compiled 36 772 to 22 219 computations (39.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 398.0ms

ival-div: 103.0ms (25.9% of total)

ival-mult: 92.0ms (23.1% of total)

ival-sub: 72.0ms (18.1% of total)

ival-if: 39.0ms (9.8% of total)

adjust: 31.0ms (7.8% of total)

ival-add: 17.0ms (4.3% of total)

ival-sqrt: 13.0ms (3.3% of total)

ival-neg: 9.0ms (2.3% of total)

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

ival->=: 6.0ms (1.5% of total)

exact: 4.0ms (1% of total)

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

ival-assert: 2.0ms (0.5% of total)

ival-exp: 1.0ms (0.3% of total)

series873.0ms (1.8%)

Memory

14.6MiB live, 819.7MiB allocated; 135ms collecting garbage

Counts

406 → 2 493

Calls

195 calls:

Time	Variable		Point	Expression
51.0ms	f	@	inf	((+ (* (/ n f) f) f) (/ (neg (+ f n)) (- f n)) (neg (+ f n)) (+ f n) (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n)) (neg (+ f n)) (neg f) (- f n) (/ (neg (+ f n)) (- f n)) (+ (* (/ 2 n) f) 1) (/ 2 n) (+ (* (/ f n) n) n) (/ (neg (+ f n)) (- f n)) (neg (+ f n)) (+ f n))
51.0ms	x	@	0	((neg (log (- (/ 1 x) 1))) (log x) (neg (log (- (/ 1 x) 1))) (+ (log x) x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (+ (* 1/2 x) 1))
48.0ms	a	@	0	((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (* c (/ -2 (+ (sqrt (+ (* -4 (* a c)) (* b b))) b))) (* (/ (- (sqrt (+ (* (* c a) -4) (* b b))) b) a) 1/2)) (>= b 0) (* c (/ -2 (+ (sqrt (+ (* -4 (* a c)) (* b b))) b))) (if (>= b 0) (* c (/ 2 (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (* c (/ 2 (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ 2 (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (- (+ (* c (* a 4)) (* b b)) (* b b)) (* (* (- (neg b) (sqrt (+ (* (* -4 c) a) (* b b)))) 2) a))) (/ (+ c c) (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b))))) (+ c c) (- (neg b) (sqrt (+ (* -4 (* a c)) (* b b)))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* (* c a) -4) (* b b))) b)) (* (/ (- (sqrt (+ (* (* c a) -4) (* b b))) b) a) 1/2)) (/ (* -2 c) (+ (sqrt (+ (* (* c a) -4) (* b b))) b)) (- (* b b) (* (* 4 a) c)) (* (+ (* (/ -2 b) (* c (/ a b))) 2) (neg b)) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (sqrt (+ (* -4 (* a c)) (* b b))) (sqrt (+ (* (* c a) -4) (* b b))) (- (sqrt (+ (* (* c a) -4) (* b b))) b) (+ (sqrt (+ (* -4 (* a c)) (* b b))) b) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* -4 (* a c)) (* b b)) (/ (- (sqrt (+ (* (* c a) -4) (* b b))) b) a) (+ (sqrt (+ (* (* c a) -4) (* b b))) b) (* (+ (* (/ (/ b a) c) -2) (/ 2 b)) c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
30.0ms	a	@	-inf	((if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (if (>= b 0) (* (+ (sqrt (+ (* -4 (* c a)) (* b b))) b) (/ -1/2 a)) (/ (* 2 c) (- (sqrt (+ (* (* c a) -4) (* b b))) b))) (>= b 0) (* (+ (sqrt (+ (* -4 (* c a)) (* b b))) b) (/ -1/2 a)) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (/ -2 (- b (sqrt (+ (* (* -4 c) a) (* b b))))) c)) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (+ (sqrt (- (* b b) (* (* 4 a) c))) (neg b)) (* 2 a)) (if (>= b 0) (/ (- (* b b) (- (* b b) (* (* 4 a) c))) (* (+ (sqrt (- (* b b) (* (* 4 a) c))) (neg b)) (* 2 a))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (* b b) (- (* b b) (* (* 4 a) c))) (* (+ (sqrt (- (* b b) (* (* 4 a) c))) (neg b)) (* 2 a))) (sqrt (+ (* -4 (* c a)) (* b b))) (sqrt (+ (* (* c a) -4) (* b b))) (+ (sqrt (+ (* -4 (* c a)) (* b b))) b) (- (sqrt (+ (* (* c a) -4) (* b b))) b) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- b (sqrt (+ (* (* -4 c) a) (* b b)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (/ -2 (- b (sqrt (+ (* (* -4 c) a) (* b b))))) c) (- (* b b) (* (* 4 a) c)) (- (* b b) (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c))))
30.0ms	x	@	-inf	((neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (* x x) 1/2) (* x x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (+ (* 1/2 x) 1) x) (+ (* 1/2 x) 1))

regimes808.0ms (1.6%)

Memory

9.7MiB live, 1 138.5MiB allocated; 138ms collecting garbage

Counts

506 → 110

Calls

26 calls:

96.0ms	x
82.0ms	(log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))
70.0ms	b
52.0ms	(-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))
51.0ms	y

Compiler

Compiled 946 to 829 computations (12.4% saved)

analyze591.0ms (1.2%)

Memory

-26.4MiB live, 675.3MiB allocated; 149ms collecting garbage

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
67.2%	56.9%	27.7%	0.1%	0%	15.3%	0%	5
74.4%	62.4%	21.5%	0.1%	0%	16%	0%	6
78.9%	64.9%	17.3%	0.1%	0%	17.7%	0%	7
80.8%	66.3%	15.8%	0.1%	0%	17.9%	0%	8
85.9%	69.9%	11.5%	0.1%	0%	18.5%	0%	9
88%	70.7%	9.7%	0.1%	0%	19.6%	0%	10
90%	72.1%	8%	0.1%	0%	19.8%	0%	11
92.3%	73.5%	6.2%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 153 to 106 computations (30.7% saved)

start0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

sample11.5s (23.3%)

simplify9.3s (18.8%)

rewrite6.9s (14.1%)

derivations6.9s (14%)

localize4.4s (9%)

eval2.7s (5.5%)

explain1.7s (3.5%)

prune1.4s (2.8%)

preprocess1.1s (2.3%)

bsearch968.0ms (2%)

series873.0ms (1.8%)

regimes808.0ms (1.6%)

analyze591.0ms (1.2%)

start0.0ms (0%)

end0.0ms (0%)

Profiling