Metrics for Herbie run

Date:	Thursday, February 6th, 2025
Commit:	f63971dc on main
Seed:	2025037
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:	1 346 760.7 MB

sample6.5min (37.1%)

Memory

3 874.4MiB live, 498 207.9MiB allocated; 2.7min collecting garbage

Samples

3.8min	2 144 544×	0	valid
31.6s	69 779×	1	valid
9.7s	64 867×	0	invalid
2.0s	5 862×	2	valid
1.5s	1 561×	5	exit
502.0ms	1 900×	1	invalid
318.0ms	677×	3	valid
1.0ms	2×	4	valid

Precisions

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

ival-mult: 51.5s (29.8% of total)

ival-add: 27.4s (15.8% of total)

ival-div: 26.6s (15.4% of total)

ival-sub: 21.7s (12.6% of total)

ival-log: 8.9s (5.2% of total)

adjust: 8.7s (5% of total)

const: 7.5s (4.4% of total)

ival-sqrt: 5.1s (3% of total)

ival-sin: 4.5s (2.6% of total)

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

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

exact: 1.4s (0.8% of total)

ival-assert: 842.0ms (0.5% of total)

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

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

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

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

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

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

ival-tanh: 84.0ms (0% of total)

Bogosity

rewrite3.1min (17.8%)

Memory

3 547.4MiB live, 229 015.6MiB allocated; 55.7s collecting garbage

Stop Event

2 221×	iter limit
850×	node limit
69×	unsound
12×	saturated

Counts

123 222 → 229 804

preprocess1.2min (7.1%)

Memory

1 566.9MiB live, 80 665.1MiB allocated; 28.9s collecting garbage

Stop Event

538×	iter limit
341×	node limit
197×	saturated

Compiler

Compiled 318 974 to 59 618 computations (81.3% saved)

derivations1.1min (6.5%)

Memory

-607.7MiB live, 67 998.5MiB allocated; 17.6s collecting garbage

Stop Event

144×	fuel
125×	done

Compiler

Compiled 142 281 to 18 837 computations (86.8% saved)

regimes1.1min (6.4%)

Memory

539.5MiB live, 101 724.0MiB allocated; 20.9s collecting garbage

Counts

32 761 → 4 894

Calls

512 calls:

11.9s	y
9.5s	x
6.9s	z
3.6s	t
2.3s	a

Compiler

Compiled 37 295 to 55 889 computations (-49.9% saved)

series59.8s (5.7%)

Memory

542.0MiB live, 86 065.1MiB allocated; 22.8s collecting garbage

Counts

18 702 → 104 520

Calls

8877 calls:

Time	Variable		Point	Expression
3.3s	x	@	0	((+ (* (- y z) (/ (- t x) (- a z))) x) (- y z) y z (/ (- t x) (- a z)) (- t x) t x (- a z) a (+ x (/ (* (- y z) (- t x)) (- a z))) (+ x (/ (* (- y z) (- t x)) (- a z))) (/ (* (- t x) y) (- a z)) (* (- t x) y) (+ x (/ (* (- y z) (- t x)) (- a z))) (+ (* (* (- t x) (/ (- y z) z)) -1) x) (* (- t x) (/ (- y z) z)) (/ (- y z) z) -1 (+ x (/ (* (- y z) (- t x)) (- a z))) (/ (* (- y z) (- t x)) (- a z)) (* (- y z) (- t x)) (* (+ (* t (/ (- y z) x)) (neg (- y z))) x) (+ (* t (/ (- y z) x)) (neg (- y z))) (/ (- y z) x) (neg (- y z)))
872.0ms	c	@	inf	((+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (* x (log y)) z) t) (+ (* x (log y)) z) (* x (log y)) x (log y) y z t a (* (- b 1/2) (log c)) (- b 1/2) b 1/2 (log c) c (* y i) i)
303.0ms	x	@	-inf	((* (/ (neg (pow (log (/ y x)) 3)) (- (pow (log (/ y x)) 2) 0)) x) (/ (neg (pow (log (/ y x)) 3)) (- (pow (log (/ y x)) 2) 0)) (neg (pow (log (/ y x)) 3)) (pow (log (/ y x)) 3) (log (/ y x)) (/ y x) y x 3 (- (pow (log (/ y x)) 2) 0) (pow (log (/ y x)) 2) 2 0 (+ (* (log x) x) (* (neg (log y)) x)) (log x) (* (neg (log y)) x) (neg (log y)) (log y) (+ (* (log (/ -1 y)) x) (* (* (log (neg x)) (neg x)) -1)) (log (/ -1 y)) (/ -1 y) -1 (* (* (log (neg x)) (neg x)) -1) (* (log (neg x)) (neg x)) (log (neg x)) (neg x) (+ (* (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))) 1 (* (neg (neg (log (/ -1 y)))) x) (neg (neg (log (/ -1 y)))) (neg (log (/ -1 y))) (* (/ (- (* (log (neg x)) (log (neg x))) (* (log (neg y)) (log (neg y)))) (+ (log (neg x)) (log (neg y)))) x) (/ (- (* (log (neg x)) (log (neg x))) (* (log (neg y)) (log (neg y)))) (+ (log (neg x)) (log (neg y)))) (- (* (log (neg x)) (log (neg x))) (* (log (neg y)) (log (neg y)))) (* (log (neg x)) (log (neg x))) (* (log (neg y)) (log (neg y))) (log (neg y)) (neg y) (+ (log (neg x)) (log (neg y))))
175.0ms	z	@	-inf	((+ (- (+ (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 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 (* (* y z) (pow t (- a 1/2)))) t) (log (* (* y z) (pow t (- a 1/2)))) (* (* y z) (pow t (- a 1/2))) (* (* (pow t -1/2) y) z) (* (pow t -1/2) y) (pow t -1/2) -1/2 (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (log (* (* (pow t (- a 1/2)) z) y)) t) (log (* (* (pow t (- a 1/2)) z) y)) (* (* (pow t (- a 1/2)) z) y) (* (pow t (- a 1/2)) z) (pow t (- a 1/2)) (- (log (* (+ y x) z)) (- t (* (- a 1/2) (log t)))) (log (* (+ y x) z)) (* (+ y x) z) (- t (* (- a 1/2) (log t))) (* (- a 1/2) (log t)) (- a 1/2))
172.0ms	x	@	inf	((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (* (+ (* (neg t) (/ (/ x z) y)) (/ x y)) z) (neg (* (* x z) (- (/ (/ t y) z) (pow y -1)))) (* (* x z) (- (/ (/ t y) z) (pow y -1))) (* x z) x z (- (/ (/ t y) z) (pow y -1)) (/ (/ t y) z) (/ t y) t y (pow y -1) -1 (+ (/ (* (- z t) x) y) t) (/ (* x z) y) (+ (/ (* (- z t) x) y) t) (* (- 1 (/ x y)) t) (- 1 (/ x y)) 1 (/ x y) (+ (/ (* (- z t) x) y) t) (/ (* (- z t) x) y) (* (- z t) x) (- z t) (neg t) (+ (* (/ x y) (- z t)) t) (+ (* (/ (+ (* z (/ x t)) (neg x)) y) t) t) (/ (+ (* z (/ x t)) (neg x)) y) (+ (* z (/ x t)) (neg x)) (/ x t) (neg x))

eval49.4s (4.7%)

Memory: -254.5MiB live, 72 455.7MiB allocated; 22.7s collecting garbage
Compiler: Compiled 9 145 339 to 992 264 computations (89.2% saved)

explain43.2s (4.1%)

Memory

-326.0MiB live, 65 440.3MiB allocated; 15.0s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`#f`	sensitivity	1569	3
`/.f64`	`#f`	o/n	1193	0
`sqrt.f64`	`#f`	oflow-rescue	762	0
`-.f64`	`#f`	cancellation	604	9
`/.f64`	`#f`	o/o	565	0
`*.f64`	`#f`	*no**	537	0
`+.f64`	`#f`	nan-rescue	477	0
`-.f64`	`#f`	nan-rescue	467	0
`cos.f64`	`#f`	sensitivity	355	0
`+.f64`	`#f`	cancellation	322	0
`/.f64`	`#f`	n/o	307	0
`/.f64`	`#f`	u/n	244	0
`sin.f64`	`#f`	sensitivity	209	0
`*.f64`	`#f`	*nu**	189	0
`cos.f64`	`#f`	oflow-rescue	146	0
`/.f64`	`#f`	n/u	133	0
`/.f64`	`#f`	u/u	84	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	sensitivity	83	0
`log.f64`	`#f`	oflow-rescue	77	0
`log.f64`	`#f`	uflow-rescue	67	0
`sqrt.f64`	`#f`	uflow-rescue	56	0
`sin.f64`	`(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	40	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	40
↳	`(*.f64 y #s(literal 2 binary64))`	overflow	1
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	40	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	40
↳	`(*.f64 y #s(literal 2 binary64))`	overflow	1
`*.f64`	`#f`	*ou**	40	0
`exp.f64`	`#f`	sensitivity	33	4
`*.f64`	`(.f64 (.f64 (-.f64 (.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (.f64 z #s(literal 2 binary64)))) (exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64))))`	*uo**	1	0
↳	`(.f64 (-.f64 (.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64))))`	underflow	1
↳	`(exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64)))`	overflow	109
↳	`(/.f64 (*.f64 t t) #s(literal 2 binary64))`	overflow	56
↳	`(*.f64 t t)`	overflow	56

Confusion

	Predicted +	Predicted -
+	6048	195
-	1674	60947

Precision

0.7832167832167832

Recall

0.9687650168188371

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	6048	4	191
-	1674	12	60935

Precision?

0.7821142414060481

Recall?

0.9694057344225533

Freqs

test

number	freq
0	61142
1	6923
2	734
3	53
4	10
5	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	134	1	0
-	0	0	134

Precision?

1.0

Recall?

1.0

Samples

13.3s	130 300×	0	valid
2.8s	6 000×	1	valid
803.0ms	1 320×	2	valid
36.0ms	104×	3	valid
2.0ms	4×	4	valid

Compiler

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

Precisions

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

ival-mult: 2.6s (25.7% of total)

ival-sub: 1.6s (16.3% of total)

adjust: 1.5s (15.3% of total)

ival-add: 1.1s (11.1% of total)

ival-div: 1.0s (10.3% of total)

ival-log: 648.0ms (6.5% of total)

const: 315.0ms (3.2% of total)

ival-sqrt: 298.0ms (3% of total)

ival-cos: 220.0ms (2.2% of total)

ival-sin: 208.0ms (2.1% of total)

ival-true: 125.0ms (1.3% of total)

ival-exp: 87.0ms (0.9% of total)

exact: 69.0ms (0.7% of total)

ival-assert: 59.0ms (0.6% of total)

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

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

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

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

ival-tan: 11.0ms (0.1% of total)

ival-tanh: 7.0ms (0.1% of total)

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

bsearch38.6s (3.7%)

Memory

-151.0MiB live, 53 007.8MiB allocated; 13.6s collecting garbage

Algorithm

1 750×	binary-search
1 050×	left-value

Stop Event

1 703×	narrow-enough
47×	predicate-same

Samples

22.3s	146 747×	0	valid
1.3s	4 175×	1	valid
340.0ms	2 925×	0	invalid
70.0ms	212×	2	valid
5.0ms	18×	3	valid

Compiler

Compiled 940 673 to 681 264 computations (27.6% saved)

Precisions

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

ival-mult: 6.2s (41.5% of total)

ival-sub: 2.5s (16.5% of total)

ival-add: 2.1s (13.9% of total)

ival-div: 1.1s (7.5% of total)

const: 879.0ms (5.8% of total)

ival-log: 533.0ms (3.5% of total)

ival-sin: 469.0ms (3.1% of total)

adjust: 360.0ms (2.4% of total)

ival-cos: 269.0ms (1.8% of total)

ival-sqrt: 198.0ms (1.3% of total)

ival-true: 128.0ms (0.9% of total)

exact: 71.0ms (0.5% of total)

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

ival-assert: 65.0ms (0.4% of total)

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

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

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

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

prune30.3s (2.9%)

Memory: -1 089.5MiB live, 45 614.4MiB allocated; 13.0s collecting garbage
Counts: 255 962 → 12 380
Compiler: Compiled 781 025 to 427 930 computations (45.2% saved)

analyze24.8s (2.4%)

Memory

491.6MiB live, 30 399.3MiB allocated; 11.7s 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)

simplify16.4s (1.6%)

Memory

-217.9MiB live, 16 136.1MiB allocated; 5.5s collecting garbage

Stop Event

199×	node limit
70×	saturated

start24.0ms (0%)

Memory: -20.7MiB live, 24.8MiB allocated; 16ms collecting garbage

end7.0ms (0%)

Memory: -36.3MiB live, 6.0MiB allocated; 10ms collecting garbage

sample6.5min (37.1%)

rewrite3.1min (17.8%)

preprocess1.2min (7.1%)

derivations1.1min (6.5%)

regimes1.1min (6.4%)

series59.8s (5.7%)

eval49.4s (4.7%)

explain43.2s (4.1%)

bsearch38.6s (3.7%)

prune30.3s (2.9%)

analyze24.8s (2.4%)

simplify16.4s (1.6%)

start24.0ms (0%)

end7.0ms (0%)

Profiling