Metrics for Herbie run

Date:	Monday, December 23rd, 2024
Commit:	7aac494d on cleanup-taylor
Seed:	2024358
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:	47 031.1 MB

sample11.0s (24.8%)

Memory

396.9MiB live, 12 838.7MiB allocated; 5.3s collecting garbage

Samples

6.4s	70 164×	0	valid
1.0s	4 134×	2	valid
290.0ms	1 939×	0	invalid
0.0ms	6×	1	valid

Precisions

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

ival-mult: 1.5s (28.6% of total)

ival-div: 994.0ms (18.8% of total)

ival-sub: 941.0ms (17.8% of total)

ival-sqrt: 663.0ms (12.5% of total)

ival-neg: 230.0ms (4.4% of total)

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

adjust: 158.0ms (3% of total)

ival-fabs: 111.0ms (2.1% of total)

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

ival-if: 90.0ms (1.7% of total)

ival-log: 88.0ms (1.7% of total)

ival->=: 58.0ms (1.1% of total)

exact: 56.0ms (1.1% of total)

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

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

Bogosity

simplify8.6s (19.3%)

Memory

183.7MiB live, 8 215.0MiB allocated; 1.3s collecting garbage

Algorithm

73×	egg-herbie

Stop Event

94×	iter limit
52×	node limit
23×	saturated

Counts

1 962 → 1 936

rewrite6.2s (14%)

Memory

32.6MiB live, 6 413.1MiB allocated; 1.1s collecting garbage

Stop Event

68×	iter limit
30×	node limit
2×	unsound
1×	saturated

Counts

361 → 12 207

derivations5.7s (12.9%)

Memory

120.2MiB live, 4 162.0MiB allocated; 533ms collecting garbage

Stop Event

52×	iter limit
36×	node limit
5×	done
4×	fuel
1×	saturated

Compiler

Compiled 2 548 to 458 computations (82% saved)

localize3.6s (8%)

Memory

-37.7MiB live, 3 984.1MiB allocated; 664ms collecting garbage

Samples

903.0ms	6 439×	0	valid
792.0ms	809×	2	valid
503.0ms	582×	1	valid
154.0ms	106×	3	valid
137.0ms	256×	0	invalid

Compiler

Compiled 7 214 to 733 computations (89.8% saved)

Precisions

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

ival-mult: 464.0ms (29.8% of total)

adjust: 277.0ms (17.8% of total)

ival-div: 273.0ms (17.6% of total)

ival-sqrt: 136.0ms (8.7% of total)

ival-add: 134.0ms (8.6% of total)

ival-sub: 129.0ms (8.3% of total)

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

ival-neg: 28.0ms (1.8% of total)

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

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

exact: 11.0ms (0.7% of total)

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

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

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

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

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

eval3.0s (6.8%)

Memory: 25.8MiB live, 3 865.3MiB allocated; 639ms collecting garbage
Compiler: Compiled 744 033 to 60 391 computations (91.9% saved)

explain1.5s (3.5%)

Memory

-40.6MiB live, 2 119.2MiB allocated; 318ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	238	0
`+.f64`	`#f`	cancellation	129	0
`-.f64`	`#f`	cancellation	111	1
`sqrt.f64`	`#f`	uflow-rescue	84	0
`/.f64`	`#f`	n/u	27	0
`/.f64`	`#f`	u/n	23	0
`-.f64`	`#f`	nan-rescue	17	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*no**	7	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	6	0

Confusion

	Predicted +	Predicted -
+	271	13
-	248	1772

Precision

0.5221579961464354

Recall

0.954225352112676

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	271	0	13
-	248	0	1772

Precision?

0.5221579961464354

Recall?

0.954225352112676

Freqs

test

number	freq
0	1785
1	402
2	111
3	6

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

291.0ms	574×	2	valid
285.0ms	3 642×	0	valid
93.0ms	332×	1	valid
35.0ms	60×	3	valid

Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions

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

ival-mult: 156.0ms (32.2% of total)

ival-div: 85.0ms (17.5% of total)

adjust: 71.0ms (14.7% of total)

ival-sub: 60.0ms (12.4% of total)

ival-sqrt: 46.0ms (9.5% of total)

ival-add: 16.0ms (3.3% of total)

ival-if: 12.0ms (2.5% of total)

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

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

ival-fabs: 5.0ms (1% of total)

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

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

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

exact: 3.0ms (0.6% of total)

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

preprocess1.3s (2.8%)

Memory

-18.3MiB live, 1 355.3MiB allocated; 237ms collecting garbage

Algorithm

9×	egg-herbie

Stop Event

18×	iter limit
14×	saturated
4×	node limit

Compiler

Compiled 5 621 to 1 268 computations (77.4% saved)

prune980.0ms (2.2%)

Memory: -101.7MiB live, 1 238.4MiB allocated; 220ms collecting garbage
Counts: 14 353 → 269
Compiler: Compiled 21 599 to 9 857 computations (54.4% saved)

series765.0ms (1.7%)

Memory

12.9MiB live, 773.3MiB allocated; 131ms collecting garbage

Counts

361 → 1 962

Calls

189 calls:

Time	Variable		Point	Expression
71.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) (+ (* (* x x) 1/2) (+ (log x) x)) (neg (log (- (/ 1 x) 1))) (+ (log x) x) (log x))
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))
44.0ms	b	@	inf	((+ (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 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (>= b 0) (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)))))) (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)) (- (+ (* (* a c) -4) (* b b)) (* b b)) (* (/ -1/2 a) (- (+ (* (* a c) -4) (* b b)) (* b b))) (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) (/ (* (/ -1/2 a) (- (+ (* (* a c) -4) (* b b)) (* b b))) (- (sqrt (+ (* (* a c) -4) (* b b))) b)) (/ (* c 2) (- (sqrt (+ (* (* c a) -4) (* b b))) b))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (sqrt (- (* b b) (* (* 4 a) c))) (* (- (/ (/ c b) b) (/ 1 a)) b) (sqrt (- (* b b) (* (* 4 a) c))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (sqrt (- (* b b) (* (* 4 a) c))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (+ (* (/ (/ (* c a) b) b) -4) 1) b) (sqrt (- (* b b) (* (* 4 a) c))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (+ (* (* a c) -4) (* b b))) (sqrt (+ (* (* c a) -4) (* b b))))
43.0ms	y	@	0	((+ (* x (/ (- 1 z) y)) (/ 4 y)) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (/ (- 1 z) y) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (* (- 1 z) (/ x y)) (/ x y) (- (/ (+ x 4) y) (* (/ x y) z)) (* (/ (neg x) y) z) (/ (neg x) y) (neg x) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (* (neg z) (/ x y)) (* (neg x) (/ z y)) (/ (+ (* (* (- 1 z) x) y) (* y 4)) (* y y)) (+ (* (* (- 1 z) x) y) (* y 4)) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)))
22.0ms	x	@	-inf	((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))

regimes758.0ms (1.7%)

Memory

71.8MiB live, 866.2MiB allocated; 130ms collecting garbage

Counts

376 → 86

Calls

26 calls:

111.0ms	(-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))
87.0ms	(if (>=.f64 b #s(literal 0 binary64)) (/.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))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))
69.0ms	c
55.0ms	x
55.0ms	y

Compiler

Compiled 996 to 850 computations (14.7% saved)

analyze573.0ms (1.3%)

Memory

47.4MiB live, 770.5MiB allocated; 195ms 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)

bsearch473.0ms (1.1%)

Memory

-91.7MiB live, 429.2MiB allocated; 52ms collecting garbage

Algorithm

28×	binary-search
8×	left-value

Stop Event

22×	narrow-enough
6×	predicate-same

Samples

180.0ms	2 320×	0	valid
18.0ms	157×	0	invalid
7.0ms	48×	2	valid

Compiler

Compiled 15 029 to 9 313 computations (38% saved)

Precisions

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

ival-mult: 37.0ms (26.8% of total)

ival-div: 26.0ms (18.8% of total)

ival-if: 19.0ms (13.8% of total)

ival-sub: 16.0ms (11.6% of total)

ival-add: 9.0ms (6.5% of total)

ival-sqrt: 8.0ms (5.8% of total)

ival->=: 5.0ms (3.6% of total)

ival-fabs: 5.0ms (3.6% of total)

ival-neg: 5.0ms (3.6% of total)

adjust: 2.0ms (1.4% of total)

ival-true: 2.0ms (1.4% of total)

exact: 2.0ms (1.4% of total)

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

ival-assert: 1.0ms (0.7% of total)

start0.0ms (0%)

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

end0.0ms (0%)

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

sample11.0s (24.8%)

simplify8.6s (19.3%)

rewrite6.2s (14%)

derivations5.7s (12.9%)

localize3.6s (8%)

eval3.0s (6.8%)

explain1.5s (3.5%)

preprocess1.3s (2.8%)

prune980.0ms (2.2%)

series765.0ms (1.7%)

regimes758.0ms (1.7%)

analyze573.0ms (1.3%)

bsearch473.0ms (1.1%)

start0.0ms (0%)

end0.0ms (0%)

Profiling