Metrics for Herbie run

Date:	Tuesday, April 15th, 2025
Commit:	5565a39e on main
Seed:	2025105
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:	1 016 024.5 MB

sample4.6min (33%)

Memory

4 111.9MiB live, 335 401.4MiB allocated; 1.7min collecting garbage

Samples

2.5min	2 145 062×	0	valid
17.8s	69 091×	1	valid
12.7s	64 530×	0	invalid
1.5s	6 086×	2	valid
736.0ms	1 199×	5	exit
386.0ms	1 819×	1	invalid
189.0ms	377×	4	exit
182.0ms	624×	3	valid
2.0ms	20×	1	exit
0.0ms	1×	4	valid

Precisions

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

ival-mult!: 35.9s (38.7% of total)

ival-div!: 10.6s (11.4% of total)

ival-add!: 9.6s (10.3% of total)

ival-sub!: 8.8s (9.5% of total)

ival-log: 8.5s (9.1% of total)

adjust: 4.9s (5.3% of total)

ival-sqrt: 4.4s (4.8% of total)

ival-sin: 3.9s (4.2% of total)

ival-cos: 2.8s (3.1% of total)

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

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

ival-sinh: 280.0ms (0.3% of total)

ival-tan: 257.0ms (0.3% of total)

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

ival-hypot: 233.0ms (0.3% of total)

ival-acos: 195.0ms (0.2% of total)

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

const: 0.0ms (0% of total)

Bogosity

rewrite3.1min (22%)

Memory

4 778.9MiB live, 203 994.1MiB allocated; 53.7s collecting garbage

Stop Event

2 233×	iter-limit
849×	node-limit
70×	unsound
12×	saturated

Counts

127 495 → 229 977

regimes1.1min (8.1%)

Memory

176.8MiB live, 101 998.8MiB allocated; 18.5s collecting garbage

Counts

36 008 → 5 105

Calls

512 calls:

9.3s	x
8.4s	y
7.8s	z
4.0s	t
2.7s	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

Compiler

Compiled 38 995 to 58 336 computations (-49.6% saved)

derivations1.1min (7.6%)

Memory

-868.3MiB live, 60 398.2MiB allocated; 11.5s collecting garbage

Stop Event

149×	fuel
120×	done

Compiler

Compiled 158 971 to 19 331 computations (87.8% saved)

series47.0s (5.6%)

Memory

3 173.8MiB live, 72 122.3MiB allocated; 11.0s collecting garbage

Counts

18 784 → 108 711

Calls

8865 calls:

Time	Variable		Expression
241.0ms	z	@	((+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (+ (+ (* (log t) (- a 1/2)) (log (+ y x))) (log z)) t) (+ (+ (* (log t) (- a 1/2)) (log (+ y x))) (log z)) (+ (* (log t) (- a 1/2)) (log (+ y x))) (log t) t (- a 1/2) a 1/2 (log (+ y x)) (+ y x) y (log z) z (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (+ (+ (* (log t) (- a 1/2)) (neg (neg (log z)))) (log (+ y x))) t) (+ (+ (* (log t) (- a 1/2)) (neg (neg (log z)))) (log (+ y x))) (* (log t) a) (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (+ (log (+ x y)) (log z)) t) (log (* z (+ y x))) (* z (+ y x)) (* (- a 1/2) (log t)) (- a 1/2) -1/2 (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (log (* (* z (+ y x)) (pow t -1/2))) t) (log (* (* z (+ y x)) (pow t -1/2))) (* (* z (+ y x)) (pow t -1/2)) (* z (+ y x)) (+ y x) x (pow t -1/2) (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (+ (+ (* (log t) (- a 1/2)) (neg (neg (log z)))) (log (+ y x))) t) (+ (+ (* (log t) (- a 1/2)) (neg (neg (log z)))) (log (+ y x))) (+ (* (log t) (- a 1/2)) (neg (neg (log z)))) (+ (* -1/2 (log t)) (log z)) (log (+ y x)))
168.0ms	x	@	((- (* x (/ (- 0 (pow (log (/ y x)) 3)) (+ 0 (+ (pow (log (/ y x)) 2) 0)))) z) (* x (/ (- 0 (pow (log (/ y x)) 3)) (+ 0 (+ (pow (log (/ y x)) 2) 0)))) x (/ (- 0 (pow (log (/ y x)) 3)) (+ 0 (+ (pow (log (/ y x)) 2) 0))) (- 0 (pow (log (/ y x)) 3)) 0 (pow (log (/ y x)) 3) (log (/ y x)) (/ y x) y 3 (+ 0 (+ (pow (log (/ y x)) 2) 0)) (+ (pow (log (/ y x)) 2) 0) (pow (log (/ y x)) 2) 2 z (+ (* (log x) x) (- (* (neg x) (log y)) z)) (log x) (- (* (neg x) (log y)) z) (neg z) (- (* x (log (/ x y))) z) (* (+ (* x (/ (log (/ x y)) z)) -1) z) (+ (* x (/ (log (/ x y)) z)) -1) (/ (log (/ x y)) z) (log (/ x y)) (/ x y) -1 (- (* x (- (log x) (log y))) z) (* x (- (log x) (log y))) (- (log x) (log y)) (log y) (- (* x (log (/ x y))) z) (* (+ (* (/ (- (pow (log (neg x)) 2) (pow (log (neg y)) 2)) (log (* (neg x) (neg y)))) (/ x z)) -1) z) (+ (* (/ (- (pow (log (neg x)) 2) (pow (log (neg y)) 2)) (log (* (neg x) (neg y)))) (/ x z)) -1) (/ (- (pow (log (neg x)) 2) (pow (log (neg y)) 2)) (log (* (neg x) (neg y)))) (- (pow (log (neg x)) 2) (pow (log (neg y)) 2)) (pow (log (neg x)) 2) (log (neg x)) (neg x) (pow (log (neg y)) 2) (log (neg y)) (neg y) (log (* (neg x) (neg y))) (* (neg x) (neg y)) (/ x z))
163.0ms	y	@	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) x (* (+ y 1/2) (log y)) (+ y 1/2) y 1/2 (log y) z)
156.0ms	x	@	((* (neg x) (log (/ y x))) (neg x) x (log (/ y x)) (/ y x) y (* x (log (* (/ -1 y) (neg x)))) (log (* (/ -1 y) (neg x))) (* (/ -1 y) (neg x)) (/ -1 y) -1 (+ (* (neg (log y)) x) (* (log x) x)) (neg (log y)) (log y) (* (log x) x) (log x) (* (/ (- (pow (log y) 2) (pow (log x) 2)) -1) (/ x (log (* y x)))) (/ (- (pow (log y) 2) (pow (log x) 2)) -1) (- (pow (log y) 2) (pow (log x) 2)) (pow (log y) 2) 2 (pow (log x) 2) (/ x (log (* y x))) (log (* y x)) (* y x) (/ (* (+ (pow (log (neg x)) 3) (pow (log (/ -1 y)) 3)) x) (+ (* (log (neg x)) (log (* x y))) (pow (log (/ -1 y)) 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) (log (neg x)) 3 (pow (log (/ -1 y)) 3) (log (/ -1 y)) (+ (* (log (neg x)) (log (* x y))) (pow (log (/ -1 y)) 2)) (log (* x y)) (* x y) (pow (log (/ -1 y)) 2))
145.0ms	x	@	((- (* x (- 0 (log (/ y x)))) z) (* x (- 0 (log (/ y x)))) x (- 0 (log (/ y x))) 0 (log (/ y x)) (/ y x) y z (- (* x (log (/ x y))) z) (neg z) (- (* x (log (/ x y))) z) (* (+ (* (log (/ x y)) (/ x z)) -1) z) (+ (* (log (/ x y)) (/ x z)) -1) (log (/ x y)) (/ x y) (/ x z) -1 (- (* x (- (log (neg x)) (log (neg y)))) z) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (neg x) (log (neg y)) (neg y) (+ (* (log x) x) (- (* (neg x) (log y)) z)) (log x) (- (* (neg x) (log y)) z) (* (neg x) (log y)) (log y))

eval45.8s (5.5%)

Memory: -2 259.3MiB live, 58 296.4MiB allocated; 21.8s collecting garbage
Compiler: Compiled 8 831 755 to 1 013 511 computations (88.5% saved)

explain41.6s (5%)

Memory

-904.2MiB live, 50 807.4MiB allocated; 17.4s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`#f`	sensitivity	1571	1
`/.f64`	`#f`	o/n	1200	0
`sqrt.f64`	`#f`	oflow-rescue	815	0
`-.f64`	`#f`	cancellation	574	9
`/.f64`	`#f`	o/o	535	0
`+.f64`	`#f`	nan-rescue	503	0
`*.f64`	`#f`	*no**	468	0
`-.f64`	`#f`	nan-rescue	453	0
`/.f64`	`#f`	n/o	373	0
`cos.f64`	`#f`	sensitivity	369	0
`+.f64`	`#f`	cancellation	321	1
`/.f64`	`#f`	u/n	246	0
`sin.f64`	`#f`	sensitivity	215	0
`*.f64`	`#f`	*nu**	185	0
`cos.f64`	`#f`	oflow-rescue	139	0
`/.f64`	`#f`	n/u	133	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	sensitivity	100	0
`/.f64`	`#f`	u/u	91	0
`log.f64`	`#f`	uflow-rescue	86	0
`log.f64`	`#f`	oflow-rescue	84	0
`sqrt.f64`	`#f`	uflow-rescue	50	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	29	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	29
↳	`(*.f64 y #s(literal 2 binary64))`	overflow	1
`sin.f64`	`(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	29	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	29
↳	`(*.f64 y #s(literal 2 binary64))`	overflow	1
`*.f64`	`#f`	*ou**	28	0
`exp.f64`	`#f`	sensitivity	27	3
`*.f64`	`#f`	*uo**	3	0
`-.f64`	`(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))`	oflow-right	1	0

Confusion

	Predicted +	Predicted -
+	6107	200
-	1635	60922

Precision

0.7888142598811677

Recall

0.9682892024734422

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	6107	3	197
-	1635	9	60913

Precision?

0.787980397214341

Recall?

0.9687648644363406

Freqs

test

number	freq
0	61122
1	6969
2	692
3	53
4	24
5	4

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	137	0	0
-	1	0	131

Precision?

0.9927536231884058

Recall?

1.0

Samples

12.1s	130 384×	0	valid
1.5s	5 986×	1	valid
635.0ms	1 270×	2	valid
35.0ms	82×	3	valid
2.0ms	6×	4	valid

Compiler

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

Precisions

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

ival-mult!: 1.7s (29.8% of total)

ival-sub!: 894.0ms (15.5% of total)

ival-log: 687.0ms (11.9% of total)

ival-div!: 651.0ms (11.3% of total)

ival-add!: 535.0ms (9.3% of total)

adjust: 332.0ms (5.8% of total)

ival-sqrt: 258.0ms (4.5% of total)

ival-sin: 230.0ms (4% of total)

ival-cos: 188.0ms (3.3% of total)

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

ival-hypot: 63.0ms (1.1% of total)

ival-fabs: 34.0ms (0.6% of total)

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

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

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

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

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

preprocess36.5s (4.4%)

Memory

-2 126.5MiB live, 43 551.1MiB allocated; 8.8s collecting garbage

Stop Event

174×	node-limit
95×	saturated

Compiler

Compiled 544 346 to 146 054 computations (73.2% saved)

bsearch29.6s (3.5%)

Memory

778.1MiB live, 37 833.7MiB allocated; 9.1s collecting garbage

Algorithm

1 817×	binary-search
1 158×	left-value

Stop Event

1 781×	narrow-enough
36×	predicate-same

Samples

14.0s	150 182×	0	valid
1.3s	203×	2	valid
908.0ms	4 465×	1	valid
222.0ms	2 956×	0	invalid
6.0ms	33×	1	invalid
4.0ms	14×	3	valid

Compiler

Compiled 948 344 to 687 419 computations (27.5% saved)

Precisions

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

ival-mult!: 4.7s (48.1% of total)

ival-add!: 1.9s (19.3% of total)

ival-sub!: 995.0ms (10.2% of total)

ival-div!: 767.0ms (7.9% of total)

ival-log: 434.0ms (4.4% of total)

ival-sin: 262.0ms (2.7% of total)

ival-cos: 229.0ms (2.3% of total)

adjust: 201.0ms (2.1% of total)

ival-sqrt: 182.0ms (1.9% of total)

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

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

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

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

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

analyze25.8s (3.1%)

Memory

-1 058.7MiB live, 21 235.5MiB allocated; 16.1s 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.3%	0.1%	0%	5.6%	0%	8
84.3%	79.3%	14.7%	0.1%	0%	5.9%	0%	9
85.9%	80.5%	13.2%	0.1%	0%	6.2%	0%	10
88.5%	82.8%	10.8%	0.1%	0%	6.2%	0%	11
89.6%	83.6%	9.8%	0.1%	0%	6.5%	0%	12

Compiler

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

prune17.8s (2.1%)

Memory: 1 544.6MiB live, 30 359.9MiB allocated; 4.9s collecting garbage
Counts: 227 707 → 12 838
Compiler: Compiled 804 425 to 436 304 computations (45.8% saved)

start9.0ms (0%)

Memory: 20.9MiB live, 20.7MiB allocated; 0ms collecting garbage

end2.0ms (0%)

Memory: 5.2MiB live, 5.1MiB allocated; 0ms collecting garbage

sample4.6min (33%)

rewrite3.1min (22%)

regimes1.1min (8.1%)

derivations1.1min (7.6%)

series47.0s (5.6%)

eval45.8s (5.5%)

explain41.6s (5%)

preprocess36.5s (4.4%)

bsearch29.6s (3.5%)

analyze25.8s (3.1%)

prune17.8s (2.1%)

start9.0ms (0%)

end2.0ms (0%)

Profiling