Metrics for Herbie run

Date:	Sunday, April 13th, 2025
Commit:	fa22e59a on autofix-24-1
Seed:	2025103
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs` default
Memory:	23 440.1 MB

sample8.3s (39.3%)

Memory

279.3MiB live, 9 515.2MiB allocated; 4.5s collecting garbage

Samples

5.0s	70 134×	0	valid
742.0ms	4 166×	2	valid
140.0ms	1 882×	0	invalid
0.0ms	4×	1	valid

Precisions

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

ival-mult!: 973.0ms (25.4% of total)

ival-div!: 787.0ms (20.5% of total)

ival-neg: 542.0ms (14.1% of total)

ival-sub!: 510.0ms (13.3% of total)

ival-sqrt: 454.0ms (11.8% of total)

ival-fabs: 162.0ms (4.2% of total)

adjust: 140.0ms (3.7% of total)

ival-log: 99.0ms (2.6% of total)

ival-add!: 82.0ms (2.1% of total)

ival-exp: 77.0ms (2% of total)

ival-if: 4.0ms (0.1% of total)

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

Bogosity

rewrite5.0s (23.5%)

Memory

157.8MiB live, 4 894.1MiB allocated; 939ms collecting garbage

Stop Event

67×	iter-limit
25×	node-limit
2×	unsound
1×	saturated

Counts

4 416 → 6 525

explain1.6s (7.7%)

Memory

-85.7MiB live, 2 015.2MiB allocated; 680ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	279	0
`+.f64`	`#f`	cancellation	124	0
`-.f64`	`#f`	cancellation	105	1
`sqrt.f64`	`#f`	uflow-rescue	73	0
`/.f64`	`#f`	u/n	30	0
`/.f64`	`#f`	n/u	28	0
`-.f64`	`#f`	nan-rescue	16	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*no**	8	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	2	0

Confusion

	Predicted +	Predicted -
+	305	13
-	223	1763

Precision

0.5776515151515151

Recall

0.9591194968553459

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	305	0	13
-	223	1	1762

Precision?

0.5765595463137996

Recall?

0.9591194968553459

Freqs

test

number	freq
0	1776
1	397
2	125
3	6

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

293.0ms	3 690×	0	valid
240.0ms	584×	2	valid
175.0ms	288×	1	valid
16.0ms	46×	3	valid

Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions

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

ival-mult!: 109.0ms (22.9% of total)

ival-sqrt: 106.0ms (22.3% of total)

ival-div!: 87.0ms (18.3% of total)

adjust: 82.0ms (17.2% of total)

ival-sub!: 43.0ms (9% of total)

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

ival-if: 9.0ms (1.9% of total)

ival-add!: 8.0ms (1.7% of total)

ival-fabs: 6.0ms (1.3% of total)

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

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

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

derivations1.3s (5.9%)

Memory

40.2MiB live, 935.7MiB allocated; 173ms collecting garbage

Stop Event

6×	done
3×	fuel

Compiler

Compiled 4 075 to 530 computations (87% saved)

eval1.1s (5.1%)

Memory: 35.3MiB live, 1 535.9MiB allocated; 333ms collecting garbage
Compiler: Compiled 441 623 to 34 133 computations (92.3% saved)

series862.0ms (4.1%)

Memory

98.2MiB live, 1 027.2MiB allocated; 155ms collecting garbage

Counts

619 → 3 797

Calls

171 calls:

Time	Variable		Point	Expression
37.0ms	x	@	-inf	((neg (log (- (/ 1 x) 1))) (log x) 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) 1/2 1)
28.0ms	y	@	0	((fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (/ (+ x 4) y) (+ x 4) x 4 y (* (/ x y) z) (/ x y) z)
26.0ms	c	@	0	((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) b 0 (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (/ b a) -1) (/ c b)) (/ b a) a -1 (/ c b) c (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* -2 b) -2 (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) a) (neg b) (/ (* 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)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (* 2 a) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (sqrt (neg (/ c a)))) (sqrt (neg (/ c a))) (neg (/ c a)) (/ c 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)) (+ (* (/ b a) -1/2) (sqrt (neg (/ c a)))) -1/2 (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (sqrt (* (* a c) -1))) a)) (/ (+ (* 1/2 b) (sqrt (* (* a c) -1))) a) (+ (* 1/2 b) (sqrt (* (* a c) -1))) (neg (* (+ (* (/ b c) -1/2) (sqrt (* (/ a c) -1))) c)) (* (+ (* (/ b c) -1/2) (sqrt (* (/ a c) -1))) c) (+ (* (/ b c) -1/2) (sqrt (* (/ a c) -1))) (/ b c) (sqrt (* (/ a c) -1)) (* (/ a c) -1) (/ a c))
24.0ms	x	@	0	((neg (log (- (/ 1 x) 1))) (log x) 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) 1/2 1)
15.0ms	c	@	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 a) c) (* b b))) b) a) -1/2) (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b))) (>= b 0) b 0 (* (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) -1/2) (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a c (* b b) -1/2 (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* 2 c) 2 (- (sqrt (+ (* (* -4 a) c) (* 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)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (sqrt (* (/ c a) -4)) -1/2) (sqrt (* (/ c a) -4)) (* (/ c a) -4) (/ c a) (/ (* 2 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))) (- (* b b) (* (* 4 a) c)) (* (* 4 a) c) (* 4 a) 4 (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)))) (sqrt (- (* b b) (* (* 4 a) c))) (* 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)))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (* (/ b a) -1/2) (neg (sqrt (* (/ c a) -1)))) (/ b a) (neg (sqrt (* (/ c a) -1))) (sqrt (* (/ c a) -1)) (* (/ c a) -1) -1 (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)))) (* (- (/ (neg b) c) (sqrt (* (/ a c) -4))) c) (- (/ (neg b) c) (sqrt (* (/ a c) -4))) (/ (neg b) c) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c))

preprocess818.0ms (3.9%)

Memory

-52.8MiB live, 713.8MiB allocated; 89ms collecting garbage

Stop Event

8×	node-limit
1×	saturated

Compiler

Compiled 9 774 to 2 016 computations (79.4% saved)

bsearch677.0ms (3.2%)

Memory

35.4MiB live, 697.4MiB allocated; 65ms collecting garbage

Algorithm

58×	binary-search
5×	left-value

Stop Event

56×	narrow-enough
2×	predicate-same

Samples

292.0ms	4 416×	0	valid
59.0ms	740×	0	invalid
4.0ms	32×	2	valid

Compiler

Compiled 40 835 to 25 717 computations (37% saved)

Precisions

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

ival-mult!: 70.0ms (33.2% of total)

ival-div!: 44.0ms (20.9% of total)

ival-sqrt: 21.0ms (10% of total)

ival-sub!: 17.0ms (8.1% of total)

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

ival-neg: 13.0ms (6.2% of total)

ival-add!: 11.0ms (5.2% of total)

ival-fabs: 10.0ms (4.7% of total)

ival->=: 9.0ms (4.3% of total)

adjust: 2.0ms (0.9% of total)

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

regimes544.0ms (2.6%)

Memory

-0.6MiB live, 868.0MiB allocated; 70ms collecting garbage

Counts

466 → 116

Calls

26 calls:

78.0ms	b
70.0ms	x
38.0ms	a
33.0ms	c
32.0ms	(if (>=.f64 b #s(literal 0 binary64)) (/.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)) (/.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))))))

Compiler

Compiled 972 to 811 computations (16.6% saved)

analyze541.0ms (2.5%)

Memory

-8.4MiB live, 675.0MiB allocated; 186ms 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
66.4%	56.2%	28.4%	0.1%	0%	15.3%	0%	5
74%	62.1%	21.8%	0.1%	0%	16%	0%	6
77.6%	63.8%	18.4%	0.1%	0%	17.7%	0%	7
79.3%	65%	17%	0.1%	0%	17.9%	0%	8
85%	69.2%	12.2%	0.1%	0%	18.5%	0%	9
86.8%	69.7%	10.6%	0.1%	0%	19.6%	0%	10
88.7%	71.1%	9.1%	0.1%	0%	19.8%	0%	11
91.6%	72.9%	6.7%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 153 to 106 computations (30.7% saved)

prune487.0ms (2.3%)

Memory: -94.4MiB live, 561.5MiB allocated; 178ms collecting garbage
Counts: 7 592 → 235
Compiler: Compiled 20 631 to 10 113 computations (51% saved)

start0.0ms (0%)

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

end0.0ms (0%)

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

sample8.3s (39.3%)

rewrite5.0s (23.5%)

explain1.6s (7.7%)

derivations1.3s (5.9%)

eval1.1s (5.1%)

series862.0ms (4.1%)

preprocess818.0ms (3.9%)

bsearch677.0ms (3.2%)

regimes544.0ms (2.6%)

analyze541.0ms (2.5%)

prune487.0ms (2.3%)

start0.0ms (0%)

end0.0ms (0%)

Profiling