Metrics for Herbie run

Date:	Friday, March 21st, 2025
Commit:	3191bcb3 on baseline-kernel
Seed:	2025080
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	7 033.6 MB

sample5.7s (30.5%)

Memory

84.6MiB live, 2 042.7MiB allocated; 213ms collecting garbage

Samples

3.1s	70 148×	74	valid
508.0ms	4 147×	1184	valid
127.0ms	1 973×	74	invalid
1.0ms	9×	148	valid

Precisions

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

ival-mult!: 578.0ms (25.7% of total)

ival-div!: 477.0ms (21.2% of total)

ival-sqrt: 310.0ms (13.8% of total)

ival-sub!: 249.0ms (11.1% of total)

ival-neg: 205.0ms (9.1% of total)

adjust: 101.0ms (4.5% of total)

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

ival-fabs: 86.0ms (3.8% of total)

ival-add!: 79.0ms (3.5% of total)

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

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

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

Bogosity

rewrite4.2s (22.5%)

Memory

59.5MiB live, 1 285.3MiB allocated; 207ms collecting garbage

Stop Event

72×	iter limit
28×	node limit
2×	unsound
1×	saturated

Counts

4 378 → 7 316

preprocess1.9s (10.1%)

Memory

-14.8MiB live, 488.2MiB allocated; 82ms collecting garbage

Stop Event

18×	iter limit
16×	node limit
2×	saturated

Compiler

Compiled 10 629 to 1 676 computations (84.2% saved)

derivations1.6s (8.4%)

Memory

0.5MiB live, 31.2MiB allocated; 1ms collecting garbage

Stop Event

5×	done
4×	fuel

Compiler

Compiled 5 040 to 650 computations (87.1% saved)

eval1.1s (5.9%)

Memory: -11.0MiB live, 783.5MiB allocated; 122ms collecting garbage
Compiler: Compiled 428 468 to 36 156 computations (91.6% saved)

explain993.0ms (5.3%)

Memory

-18.6MiB live, 566.4MiB allocated; 18ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	285	0
`-.f64`	`#f`	cancellation	117	0
`+.f64`	`#f`	cancellation	103	1
`sqrt.f64`	`#f`	uflow-rescue	73	0
`/.f64`	`#f`	n/u	28	0
`/.f64`	`#f`	u/n	27	0
`-.f64`	`#f`	nan-rescue	14	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	10	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*no**	7	0
`exp.f64`	`(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))`	sensitivity	1	0

Confusion

	Predicted +	Predicted -
+	328	9
-	193	1774

Precision

0.6295585412667947

Recall

0.973293768545994

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	328	0	9
-	193	1	1773

Precision?

0.6283524904214559

Recall?

0.973293768545994

Freqs

test

number	freq
0	1783
1	382
2	134
3	5

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

185.0ms	3 708×	74	valid
94.0ms	262×	2368	valid
86.0ms	414×	1184	valid
24.0ms	58×	4736	valid
21.0ms	84×	592	valid
12.0ms	60×	296	valid
3.0ms	22×	148	valid

Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions

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

ival-div!: 57.0ms (23.8% of total)

ival-mult!: 42.0ms (17.5% of total)

ival-sqrt: 40.0ms (16.7% of total)

ival-sub!: 31.0ms (12.9% of total)

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

adjust: 13.0ms (5.4% of total)

ival-add!: 12.0ms (5% of total)

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

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

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

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

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

series712.0ms (3.8%)

Memory

-25.4MiB live, 368.7MiB allocated; 40ms collecting garbage

Counts

707 → 3 671

Calls

180 calls:

Time	Variable		Point	Expression
23.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))
16.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)) (+ (* -1 (/ b a)) (/ c b)) -1 (/ b a) a (/ 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)) (* -1/2 (sqrt (* (/ c a) -4))) -1/2 (sqrt (* (/ c a) -4)) (* (/ c a) -4) (/ c a) -4 (if (>= b 0) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a)) (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* b b) (* 2 a) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* a (/ (* c c) (* b b))) c) b)) (/ (+ (* a (/ (* c c) (* b b))) c) b) (+ (* a (/ (* c c) (* b b))) c) (* c (+ (* a (/ c (* b b))) 1)) (+ (* a (/ c (* b b))) 1) (/ c (* b b)) 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 c) (- (/ b c) (* 2 (sqrt (* (/ a c) -1))))) (neg c) (- (/ b c) (* 2 (sqrt (* (/ a c) -1)))) (* 2 (sqrt (* (/ a c) -1))) (sqrt (* (/ a c) -1)) (* (/ a c) -1) (/ a c) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* (* 4 a) c) (* 4 a) 4)
16.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) (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)))))
16.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 (neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (/ (- 1 x) x) (- 1 x))
9.0ms	b	@	0	((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (>= b 0) b 0 (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 c (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* a (/ c b)) -2) b) (* a (/ c b)) a (/ c b) -2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (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 (* 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))) (if (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* (/ (- (sqrt (+ (* (* -4 a) c) (* b b))) b) a) 1/2)) (/ (* -2 c) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* -2 c) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 (* (/ (- (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) 1/2 (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) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (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) (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))) (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)) (+ (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) -1 (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c))

regimes698.0ms (3.7%)

Memory

-20.3MiB live, 488.5MiB allocated; 15ms collecting garbage

Counts

748 → 139

Calls

26 calls:

117.0ms	b
87.0ms	x
40.0ms	a
38.0ms	(*.f64 x x)
36.0ms	c

Compiler

Compiled 1 190 to 1 007 computations (15.4% saved)

bsearch676.0ms (3.6%)

Memory

-15.0MiB live, 244.0MiB allocated; 18ms collecting garbage

Algorithm

66×	binary-search
5×	left-value

Stop Event

62×	narrow-enough
4×	predicate-same

Samples

282.0ms	4 384×	74	valid
60.0ms	749×	74	invalid
7.0ms	64×	1184	valid

Compiler

Compiled 47 472 to 29 867 computations (37.1% saved)

Precisions

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

ival-mult!: 78.0ms (34.6% of total)

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

ival-sqrt: 24.0ms (10.7% of total)

ival-sub!: 18.0ms (8% of total)

ival-neg: 16.0ms (7.1% of total)

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

ival->=: 11.0ms (4.9% of total)

ival-add!: 10.0ms (4.4% of total)

adjust: 6.0ms (2.7% of total)

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

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

prune484.0ms (2.6%)

Memory: -17.5MiB live, 520.4MiB allocated; 39ms collecting garbage
Counts: 9 355 → 322
Compiler: Compiled 24 592 to 12 615 computations (48.7% saved)

simplify402.0ms (2.1%)

Memory

23.3MiB live, 98.9MiB allocated; 5ms collecting garbage

Stop Event

9×	node limit

analyze299.0ms (1.6%)

Memory

3.8MiB live, 115.5MiB allocated; 10ms 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)

start0.0ms (0%)

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

end0.0ms (0%)

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

sample5.7s (30.5%)

rewrite4.2s (22.5%)

preprocess1.9s (10.1%)

derivations1.6s (8.4%)

eval1.1s (5.9%)

explain993.0ms (5.3%)

series712.0ms (3.8%)

regimes698.0ms (3.7%)

bsearch676.0ms (3.6%)

prune484.0ms (2.6%)

simplify402.0ms (2.1%)

analyze299.0ms (1.6%)

start0.0ms (0%)

end0.0ms (0%)

Profiling