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:	222 892.7 MB

sample3.0min (30.6%)

Memory

1 221.8MiB live, 60 164.3MiB allocated; 9.6s collecting garbage

Samples

1.5min	2 144 717×	74	valid
6.4s	23 579×	1184	valid
5.9s	26 232×	592	valid
5.9s	63 784×	74	invalid
2.3s	14 238×	296	valid
1.4s	4 548×	2368	valid
1.1s	1 595×	9472	exit
758.0ms	7 548×	148	valid
124.0ms	544×	1184	invalid
107.0ms	627×	592	invalid
58.0ms	446×	296	invalid
18.0ms	207×	148	invalid
0.0ms	2×	4736	valid

Precisions

Click to see histograms. Total time spent on operations: 1.1min

ival-mult!: 21.7s (33.4% of total)

ival-div!: 7.6s (11.7% of total)

ival-log: 7.2s (11% of total)

ival-sub!: 6.7s (10.4% of total)

ival-add!: 6.5s (10% of total)

ival-sqrt: 3.9s (6.1% of total)

adjust: 2.8s (4.3% of total)

ival-sin: 2.8s (4.3% of total)

ival-cos: 2.5s (3.9% of total)

ival-exp: 1.7s (2.6% of total)

ival-tan: 340.0ms (0.5% of total)

ival-tanh: 262.0ms (0.4% of total)

ival-acos: 240.0ms (0.4% of total)

ival-cosh: 195.0ms (0.3% of total)

ival-fabs: 169.0ms (0.3% of total)

ival-sinh: 151.0ms (0.2% of total)

ival-hypot: 132.0ms (0.2% of total)

const: 0.0ms (0% of total)

Bogosity

rewrite2.3min (22.9%)

Memory

1 579.8MiB live, 40 778.7MiB allocated; 7.6s collecting garbage

Stop Event

2 244×	iter limit
859×	node limit
71×	unsound
13×	saturated

Counts

126 282 → 232 827

derivations47.5s (8%)

Memory

27.7MiB live, 869.3MiB allocated; 40ms collecting garbage

Stop Event

150×	fuel
119×	done

Compiler

Compiled 133 830 to 18 831 computations (85.9% saved)

preprocess47.1s (7.9%)

Memory

266.5MiB live, 14 584.4MiB allocated; 1.9s collecting garbage

Stop Event

538×	iter limit
341×	node limit
197×	saturated

Compiler

Compiled 302 456 to 60 166 computations (80.1% saved)

regimes42.0s (7.1%)

Memory

-309.9MiB live, 25 545.7MiB allocated; 1.1s collecting garbage

Counts

35 226 → 4 891

Calls

512 calls:

6.2s	x
6.0s	y
4.3s	z
2.6s	t
1.7s	a

Compiler

Compiled 37 518 to 56 584 computations (-50.8% saved)

series32.6s (5.5%)

Memory

-191.7MiB live, 17 978.2MiB allocated; 2.0s collecting garbage

Counts

18 950 → 107 332

Calls

8955 calls:

Time	Variable		Point	Expression
164.0ms	y	@	0	((* x (/ (- 0 (pow (log (/ y x)) 3)) (+ 0 (+ (* (log (/ y x)) (log (/ y x))) (* 0 (log (/ y x))))))) x (/ (- 0 (pow (log (/ y x)) 3)) (+ 0 (+ (* (log (/ y x)) (log (/ y x))) (* 0 (log (/ y x)))))) (- 0 (pow (log (/ y x)) 3)) 0 (pow (log (/ y x)) 3) (log (/ y x)) (/ y x) y 3 (+ 0 (+ (* (log (/ y x)) (log (/ y x))) (* 0 (log (/ y x))))) (+ (* (log (/ y x)) (log (/ y x))) (* 0 (log (/ y x)))) (* 0 (log (/ y x))) (log (pow (/ x y) x)) (pow (/ x y) x) (/ x y) (+ (* (log (neg x)) x) (* (neg (log (neg y))) x)) (log (neg x)) (neg x) (* (neg (log (neg y))) x) (neg (log (neg y))) (log (neg y)) (neg y) (* x (- (log x) (exp (* (log (log y)) 1)))) (- (log x) (exp (* (log (log y)) 1))) (log x) (exp (* (log (log y)) 1)) (* (log (log y)) 1) (log (log y)) (log y) 1 (/ (* (- (pow (log x) 3) (pow (log y) 3)) x) (+ (* (neg (log y)) (neg (log (* y x)))) (pow (log x) 2))) (* (- (pow (log x) 3) (pow (log y) 3)) x) (- (pow (log x) 3) (pow (log y) 3)) (pow (log x) 3) (pow (log y) 3) (+ (* (neg (log y)) (neg (log (* y x)))) (pow (log x) 2)) (neg (log y)) (neg (log (* y x))) (log (* y x)) (* y x) (pow (log x) 2) 2)
114.0ms	x	@	0	((* (neg x) (log (/ y x))) (neg x) x (log (/ y x)) (/ y x) y (* x (- (log x) (log y))) (- (log x) (log y)) (log x) (log y) (+ (* (log (neg x)) x) (* (neg (neg (log (/ -1 y)))) x)) (log (neg x)) (* (neg (neg (log (/ -1 y)))) x) (neg (neg (log (/ -1 y)))) (neg (log (/ -1 y))) (log (/ -1 y)) (/ -1 y) -1 (/ (* (- (pow (log x) 2) (pow (log y) 2)) x) (log (* x y))) (* (- (pow (log x) 2) (pow (log y) 2)) x) (- (pow (log x) 2) (pow (log y) 2)) (pow (log x) 2) 2 (pow (log y) 2) (log (* x y)) (* x y) (/ (* (+ (pow (log (neg x)) 3) (pow (log (/ -1 y)) 3)) x) (+ (* (log (/ -1 y)) (neg (log (* y x)))) (pow (log (neg x)) 2))) (* (+ (pow (log (neg x)) 3) (pow (log (/ -1 y)) 3)) x) (+ (pow (log (neg x)) 3) (pow (log (/ -1 y)) 3)) (pow (log (neg x)) 3) 3 (pow (log (/ -1 y)) 3) (+ (* (log (/ -1 y)) (neg (log (* y x)))) (pow (log (neg x)) 2)) (neg (log (* y x))) (log (* y x)) (* y x) (pow (log (neg x)) 2))
100.0ms	x	@	inf	((* (/ x (log (/ y x))) (/ (pow (neg (log (/ y x))) 3) (log (/ y x)))) (/ x (log (/ y x))) x (log (/ y x)) (/ y x) y (/ (pow (neg (log (/ y x))) 3) (log (/ y x))) (pow (neg (log (/ y x))) 3) (neg (log (/ y x))) 3 (log (pow (/ x y) x)) (pow (/ x y) x) 1 (+ (* (* (neg x) (log (neg x))) -1) (* (neg (neg (log (/ -1 y)))) x)) (* (neg x) (log (neg x))) (neg x) (log (neg x)) -1 (* (neg (neg (log (/ -1 y)))) x) (neg (neg (log (/ -1 y)))) (neg (log (/ -1 y))) (log (/ -1 y)) (/ -1 y) (+ (* (exp (* (log (log (neg x))) 1)) x) (* (neg (neg (log (/ -1 y)))) x)) (exp (* (log (log (neg x))) 1)) (* (log (log (neg x))) 1) (log (log (neg x))) (/ (* (- (pow (log x) 3) (pow (log y) 3)) x) (+ (* (neg (log y)) (neg (log (* y x)))) (pow (log x) 2))) (* (- (pow (log x) 3) (pow (log y) 3)) x) (- (pow (log x) 3) (pow (log y) 3)) (pow (log x) 3) (log x) (pow (log y) 3) (log y) (+ (* (neg (log y)) (neg (log (* y x)))) (pow (log x) 2)) (+ (* (log (* y x)) (log y)) (pow (log x) 2)) (log (* y x)) (* y x) (pow (log x) 2) 2)
98.0ms	a	@	0	((+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (+ (+ (* (log t) (+ -1/2 a)) (log (+ y x))) (log z)) t) (+ (+ (* (log t) (+ -1/2 a)) (log (+ y x))) (log z)) (+ (* (log t) (+ -1/2 a)) (log (+ y x))) (log t) t (+ -1/2 a) -1/2 a (log (+ y x)) (+ y x) y x (log z) z (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (* (log t) a) (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (log (* (* x z) (pow t (- a 1/2)))) t) (log (* (* x z) (pow t (- a 1/2)))) (* (* x z) (pow t (- a 1/2))) (* (* (pow t -1/2) x) z) (* (pow t -1/2) x) (pow t -1/2) (+ (* (- a 1/2) (log t)) (- (+ (log (+ x y)) (log z)) t)) (- a 1/2) 1/2 (- (+ (log (+ x y)) (log z)) t) (log (* (+ y x) z)) (* (+ y x) z) (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (* (- (+ (* (* (neg (log t)) (/ (- a 1/2) t)) -1) (/ (log (* (+ y x) z)) t)) 1) t) (- (+ (* (* (neg (log t)) (/ (- a 1/2) t)) -1) (/ (log (* (+ y x) z)) t)) 1) (+ (* (* (neg (log t)) (/ (- a 1/2) t)) -1) (/ (log (* (+ y x) z)) t)) (* (neg (log t)) (/ (- a 1/2) t)) (neg (log t)) (/ (- a 1/2) t) -1 (/ (log (* (+ y x) z)) t) 1)
94.0ms	y	@	inf	((* x (/ (- 0 (pow (log (/ y x)) 3)) (+ 0 (+ (* (log (/ y x)) (log (/ y x))) (* 0 (log (/ y x))))))) x (/ (- 0 (pow (log (/ y x)) 3)) (+ 0 (+ (* (log (/ y x)) (log (/ y x))) (* 0 (log (/ y x)))))) (- 0 (pow (log (/ y x)) 3)) 0 (pow (log (/ y x)) 3) (log (/ y x)) (/ y x) y 3 (+ 0 (+ (* (log (/ y x)) (log (/ y x))) (* 0 (log (/ y x))))) (+ (* (log (/ y x)) (log (/ y x))) (* 0 (log (/ y x)))) (* 0 (log (/ y x))) (log (pow (/ x y) x)) (pow (/ x y) x) (/ x y) (+ (* (log (neg x)) x) (* (neg (log (neg y))) x)) (log (neg x)) (neg x) (* (neg (log (neg y))) x) (neg (log (neg y))) (log (neg y)) (neg y) (* x (- (log x) (exp (* (log (log y)) 1)))) (- (log x) (exp (* (log (log y)) 1))) (log x) (exp (* (log (log y)) 1)) (* (log (log y)) 1) (log (log y)) (log y) 1 (/ (* (- (pow (log x) 3) (pow (log y) 3)) x) (+ (* (neg (log y)) (neg (log (* y x)))) (pow (log x) 2))) (* (- (pow (log x) 3) (pow (log y) 3)) x) (- (pow (log x) 3) (pow (log y) 3)) (pow (log x) 3) (pow (log y) 3) (+ (* (neg (log y)) (neg (log (* y x)))) (pow (log x) 2)) (neg (log y)) (neg (log (* y x))) (log (* y x)) (* y x) (pow (log x) 2) 2)

eval30.2s (5.1%)

Memory: -420.7MiB live, 21 010.2MiB allocated; 3.8s collecting garbage
Compiler: Compiled 9 343 271 to 1 018 376 computations (89.1% saved)

explain23.8s (4%)

Memory

-764.0MiB live, 12 878.3MiB allocated; 461ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`#f`	sensitivity	1583	3
`/.f64`	`#f`	o/n	1208	0
`sqrt.f64`	`#f`	oflow-rescue	784	0
`-.f64`	`#f`	cancellation	597	6
`/.f64`	`#f`	o/o	593	0
`*.f64`	`#f`	*no**	528	0
`+.f64`	`#f`	nan-rescue	505	0
`-.f64`	`#f`	nan-rescue	468	0
`cos.f64`	`#f`	sensitivity	353	0
`/.f64`	`#f`	n/o	339	0
`+.f64`	`#f`	cancellation	313	1
`/.f64`	`#f`	u/n	257	0
`sin.f64`	`#f`	sensitivity	224	1
`*.f64`	`#f`	*nu**	185	0
`/.f64`	`#f`	n/u	125	0
`cos.f64`	`#f`	oflow-rescue	124	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	sensitivity	94	1
`/.f64`	`#f`	u/u	92	0
`log.f64`	`#f`	oflow-rescue	86	0
`log.f64`	`#f`	uflow-rescue	72	0
`sqrt.f64`	`#f`	uflow-rescue	54	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	28	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	28
`sin.f64`	`(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	28	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	28
`*.f64`	`#f`	*ou**	28	0
`exp.f64`	`#f`	sensitivity	22	4
`*.f64`	`(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))`	*uo**	2	0
↳	`(*.f64 j y3)`	underflow	22
↳	`(-.f64 (.f64 k y2) (.f64 j y3))`	underflow	4
↳	`(*.f64 k y2)`	underflow	33
↳	`(*.f64 y4 y1)`	overflow	34
↳	`(-.f64 (.f64 y4 y1) (.f64 y5 y0))`	overflow	57
↳	`(*.f64 y5 y0)`	overflow	29
`+.f64`	`(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) (-.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) z)))`	oflow-right	1	0

Confusion

	Predicted +	Predicted -
+	6150	180
-	1683	60851

Precision

0.7851397931826887

Recall

0.9715639810426541

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	6150	3	177
-	1683	12	60839

Precision?

0.7840214067278287

Recall?

0.9720379146919431

Freqs

test

number	freq
0	61031
1	7060
2	698
3	63
4	12

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	138	0	0
-	3	1	127

Precision?

0.971830985915493

Recall?

1.0

Samples

6.4s	130 378×	74	valid
1.3s	3 196×	1184	valid
525.0ms	2 016×	592	valid
277.0ms	574×	2368	valid
194.0ms	1 056×	296	valid
67.0ms	506×	148	valid
2.0ms	2×	4736	valid

Compiler

Compiled 24 442 to 8 402 computations (65.6% saved)

Precisions

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

ival-mult!: 1.3s (29.6% of total)

ival-log: 847.0ms (18.9% of total)

ival-div!: 485.0ms (10.8% of total)

ival-sub!: 443.0ms (9.9% of total)

ival-add!: 405.0ms (9.1% of total)

ival-sqrt: 209.0ms (4.7% of total)

adjust: 197.0ms (4.4% of total)

ival-sin: 185.0ms (4.1% of total)

ival-cos: 173.0ms (3.9% of total)

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

ival-tan: 20.0ms (0.4% of total)

ival-cosh: 11.0ms (0.2% of total)

ival-tanh: 10.0ms (0.2% of total)

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

ival-sinh: 10.0ms (0.2% of total)

ival-hypot: 8.0ms (0.2% of total)

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

const: 0.0ms (0% of total)

bsearch18.1s (3%)

Memory

-43.3MiB live, 6 122.5MiB allocated; 448ms collecting garbage

Algorithm

1 768×	binary-search
1 017×	left-value

Stop Event

1 721×	narrow-enough
47×	predicate-same

Samples

8.4s	140 582×	74	valid
352.0ms	1 695×	592	valid
311.0ms	1 057×	1184	valid
185.0ms	3 518×	74	invalid
143.0ms	1 052×	296	valid
84.0ms	1 134×	148	valid
10.0ms	47×	592	invalid
7.0ms	16×	2368	valid
7.0ms	45×	296	invalid
3.0ms	28×	148	invalid
1.0ms	3×	1184	invalid

Compiler

Compiled 886 428 to 648 299 computations (26.9% saved)

Precisions

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

ival-mult!: 2.4s (43.2% of total)

ival-sub!: 776.0ms (14.1% of total)

ival-add!: 537.0ms (9.7% of total)

ival-log: 478.0ms (8.7% of total)

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

ival-sin: 270.0ms (4.9% of total)

ival-cos: 185.0ms (3.4% of total)

adjust: 172.0ms (3.1% of total)

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

ival-sqrt: 102.0ms (1.8% of total)

ival-tanh: 12.0ms (0.2% of total)

ival-sinh: 8.0ms (0.1% of total)

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

ival-cosh: 5.0ms (0.1% of total)

prune14.7s (2.5%)

Memory: -953.2MiB live, 16 382.6MiB allocated; 1.0s collecting garbage
Counts: 257 879 → 12 699
Compiler: Compiled 793 688 to 436 531 computations (45% saved)

simplify11.0s (1.8%)

Memory

20.5MiB live, 2 543.0MiB allocated; 212ms collecting garbage

Stop Event

200×	node limit
69×	saturated

analyze9.9s (1.7%)

Memory

-24.1MiB live, 4 030.6MiB allocated; 166ms collecting garbage

Algorithm

269×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
46.8%	46.8%	53.1%	0.1%	0%	0%	0%	1
50.5%	50.1%	49.2%	0.1%	0%	0.6%	0%	2
58.6%	57%	40.3%	0.1%	0%	2.6%	0%	3
65.2%	62.7%	33.5%	0.1%	0%	3.6%	0%	4
71.2%	68.2%	27.5%	0.1%	0%	4.1%	0%	5
75.9%	72.3%	23%	0.1%	0%	4.6%	0%	6
79.8%	75.6%	19.1%	0.1%	0%	5.1%	0%	7
81.7%	77%	17.2%	0.1%	0%	5.6%	0%	8
84.4%	79.3%	14.7%	0.1%	0%	5.9%	0%	9
86%	80.5%	13.1%	0.1%	0%	6.2%	0%	10
88.5%	82.9%	10.7%	0.1%	0%	6.2%	0%	11
89.6%	83.7%	9.7%	0.1%	0%	6.5%	0%	12

Compiler

Compiled 3 462 to 2 977 computations (14% saved)

start8.0ms (0%)

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

end2.0ms (0%)

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

sample3.0min (30.6%)

rewrite2.3min (22.9%)

derivations47.5s (8%)

preprocess47.1s (7.9%)

regimes42.0s (7.1%)

series32.6s (5.5%)

eval30.2s (5.1%)

explain23.8s (4%)

bsearch18.1s (3%)

prune14.7s (2.5%)

simplify11.0s (1.8%)

analyze9.9s (1.7%)

start8.0ms (0%)

end2.0ms (0%)

Profiling