Metrics for Herbie run

Date:	Thursday, April 3rd, 2025
Commit:	753370c2 on random-cleanup
Seed:	2025093
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:	22 931.0 MB

sample8.4s (40.3%)

Memory

319.5MiB live, 8 581.1MiB allocated; 3.9s collecting garbage

Samples

5.2s	70 141×	0	valid
538.0ms	4 158×	2	valid
129.0ms	1 855×	0	invalid
0.0ms	5×	1	valid

Precisions

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

ival-mult!: 982.0ms (27% of total)

ival-neg: 817.0ms (22.4% of total)

ival-div!: 581.0ms (16% of total)

ival-sqrt: 413.0ms (11.3% of total)

ival-sub!: 277.0ms (7.6% of total)

ival-exp: 138.0ms (3.8% of total)

adjust: 132.0ms (3.6% of total)

ival-fabs: 109.0ms (3% of total)

ival-log: 100.0ms (2.7% of total)

ival-add!: 86.0ms (2.4% of total)

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

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

Bogosity

rewrite5.6s (27%)

Memory

317.6MiB live, 5 698.1MiB allocated; 1.0s collecting garbage

Stop Event

71×	iter-limit
28×	node-limit
2×	unsound
1×	saturated

Counts

4 110 → 7 263

eval1.6s (7.8%)

Memory: -115.7MiB live, 2 362.0MiB allocated; 492ms collecting garbage
Compiler: Compiled 462 103 to 37 613 computations (91.9% saved)

explain1.4s (6.7%)

Memory

-37.6MiB live, 1 921.6MiB allocated; 348ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	254
`-.f64`	`#f`	cancellation	127
`+.f64`	`#f`	cancellation	98
`sqrt.f64`	`#f`	uflow-rescue	67
`/.f64`	`#f`	n/u	33
`/.f64`	`#f`	u/n	28
`*.f64`	`(*.f64 (/.f64 x y) z)`	*no**	14
`-.f64`	`#f`	nan-rescue	13
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	3
`exp.f64`	`(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))`	sensitivity	1

Confusion

	Predicted +	Predicted -
+	279	11
-	233	1781

Precision

0.544921875

Recall

0.9620689655172414

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	279	0	11
-	233	0	1781

Precision?

0.544921875

Recall?

0.9620689655172414

Freqs

test

number	freq
0	1792
1	390
2	118
3	4

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

255.0ms	3 662×	0	valid
140.0ms	606×	2	valid
55.0ms	284×	1	valid
53.0ms	56×	3	valid

Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions

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

ival-mult!: 48.0ms (19% of total)

ival-div!: 42.0ms (16.6% of total)

ival-sqrt: 38.0ms (15% of total)

adjust: 35.0ms (13.8% of total)

ival-sub!: 23.0ms (9.1% of total)

ival-fabs: 16.0ms (6.3% of total)

ival-add!: 15.0ms (5.9% of total)

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

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

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

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

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

series1.2s (5.9%)

Memory

93.7MiB live, 1 258.8MiB allocated; 138ms collecting garbage

Counts

700 → 3 410

Calls

183 calls:

Time	Variable		Point	Expression
70.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)))))) (>= b 0) b 0 (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (neg b) a) (neg b) a (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 c (+ (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)) (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) (/ c b)) (/ b a) -1 (/ c b) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (sqrt (* (/ c a) -1))) (sqrt (* (/ c a) -1)) (* (/ c a) -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)) (* (sqrt (* (/ c a) -4)) -1/2) (sqrt (* (/ c a) -4)) (* (/ c a) -4) -4 -1/2 (/ (* 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) (neg (sqrt (neg (/ 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)))))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (* (* a c) -4)) (* (* a c) -4) (* a c))
55.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)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a c (* 2 a) 2 (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
54.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 (neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (/ (- 1 x) x) (- 1 x))
51.0ms	a	@	inf	((if (>= b 0) (/ (+ c c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (>= b 0) b 0 (/ (+ c c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ c c) c (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 (- (* a (/ c b)) b)) 2 (- (* a (/ c b)) b) (* a (/ c b)) a (/ c b) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (* 2 a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (neg b) a) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (if (>= b 0) (/ (* 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 a)) (* 1/2 (sqrt (* (/ c a) -4))) 1/2 (sqrt (* (/ c a) -4)) (* (/ c a) -4) (/ c a) -4 (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a)) (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a) (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) (neg (sqrt (* (* a c) -1))) (sqrt (* (* a c) -1)) (* (* a c) -1) (* a c) -1 (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (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)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (+ (* (/ b c) -1) (sqrt (* (/ a c) -4))) c) (+ (* (/ b c) -1) (sqrt (* (/ a c) -4))) (/ b c) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c))
46.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 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) (/ (+ (* a (/ c b)) (neg b)) a) (+ (* a (/ c b)) (neg b)) a (/ c b) c (neg b) (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* 2 c) 2 (- (sqrt (+ (* (* -4 a) c) (* b b))) b) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 (* 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) -1/2 (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (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)))))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (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)))))) (/ (* 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))) 1/2 (sqrt (* (* a c) -1)) (* (* a c) -1) (* 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)) (+ (* (/ b a) -1/2) (sqrt (* (/ c a) -1))) (/ b a) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* -2 (/ (* a c) b)) (/ (* a c) b))

regimes847.0ms (4.1%)

Memory

-34.2MiB live, 1 422.2MiB allocated; 126ms collecting garbage

Counts

712 → 135

Calls

26 calls:

117.0ms	b
93.0ms	x
61.0ms	y
44.0ms	(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
44.0ms	(*.f64 x x)

Compiler

Compiled 1 266 to 1 049 computations (17.1% saved)

prune689.0ms (3.3%)

Memory: -71.4MiB live, 929.8MiB allocated; 147ms collecting garbage
Counts: 9 774 → 273
Compiler: Compiled 19 468 to 9 569 computations (50.8% saved)

preprocess467.0ms (2.2%)

Memory

-124.0MiB live, 288.9MiB allocated; 60ms collecting garbage

Stop Event

8×	node-limit
1×	saturated

Compiler

Compiled 462 to 254 computations (45% saved)

analyze427.0ms (2.1%)

Memory

13.0MiB live, 459.2MiB allocated; 266ms 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)

derivations117.0ms (0.6%)

Memory

1.7MiB live, 1.7MiB allocated; 0ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 89 to 33 computations (62.9% saved)

bsearch5.0ms (0%)

Memory

6.7MiB live, 6.7MiB allocated; 0ms collecting garbage

Algorithm

5×	left-value

Compiler

Compiled 207 to 177 computations (14.5% saved)

start0.0ms (0%)

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

end0.0ms (0%)

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

sample8.4s (40.3%)

rewrite5.6s (27%)

eval1.6s (7.8%)

explain1.4s (6.7%)

series1.2s (5.9%)

regimes847.0ms (4.1%)

prune689.0ms (3.3%)

preprocess467.0ms (2.2%)

analyze427.0ms (2.1%)

derivations117.0ms (0.6%)

bsearch5.0ms (0%)

start0.0ms (0%)

end0.0ms (0%)

Profiling