Metrics for Herbie run

Date:	Thursday, March 13th, 2025
Commit:	1e34e08c on main
Seed:	2025072
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:	161 255.8 MB

sample1.9min (65.6%)

Memory

815.6MiB live, 103 037.9MiB allocated; 37.9s collecting garbage

Samples

28.8s	43 604×	2	valid
22.9s	96 855×	1	valid
19.4s	144 833×	0	invalid
14.9s	7 202×	5	exit
8.3s	87 272×	0	valid
2.5s	3 433×	3	valid
458.0ms	4 388×	0	exit
5.0ms	4×	4	valid

Precisions

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

ival-pow: 14.2s (17.8% of total)

ival-tan: 12.7s (15.9% of total)

adjust: 9.6s (12.1% of total)

ival-mult: 5.9s (7.4% of total)

ival-sub: 4.4s (5.6% of total)

ival-cos: 4.1s (5.2% of total)

ival-div: 3.8s (4.8% of total)

ival-log: 3.6s (4.6% of total)

ival-add: 3.6s (4.6% of total)

ival-sin: 3.3s (4.1% of total)

const: 2.8s (3.5% of total)

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

ival-sqrt: 1.8s (2.3% of total)

ival-expm1: 1.7s (2.1% of total)

ival-log1p: 1.3s (1.7% of total)

ival-fabs: 1.3s (1.7% of total)

ival-<: 505.0ms (0.6% of total)

ival-and: 488.0ms (0.6% of total)

ival-atan: 474.0ms (0.6% of total)

ival-<=: 429.0ms (0.5% of total)

ival-cbrt: 378.0ms (0.5% of total)

ival-neg: 265.0ms (0.3% of total)

exact: 157.0ms (0.2% of total)

ival-assert: 135.0ms (0.2% of total)

ival-fmin: 97.0ms (0.1% of total)

ival->: 1.0ms (0% of total)

Bogosity

rewrite21.3s (12%)

Memory

665.3MiB live, 18 801.6MiB allocated; 5.7s collecting garbage

Stop Event

262×	iter limit
108×	node limit

Counts

14 716 → 34 698

preprocess7.3s (4.1%)

Memory

-185.9MiB live, 6 516.1MiB allocated; 1.5s collecting garbage

Stop Event

56×	iter limit
51×	node limit
5×	saturated

Compiler

Compiled 19 126 to 5 217 computations (72.7% saved)

derivations6.1s (3.4%)

Memory

187.0MiB live, 4 143.8MiB allocated; 642ms collecting garbage

Stop Event

22×	fuel
6×	done

Compiler

Compiled 8 358 to 1 898 computations (77.3% saved)

eval5.8s (3.3%)

Memory: 13.3MiB live, 7 461.2MiB allocated; 1.6s collecting garbage
Compiler: Compiled 1 334 570 to 161 753 computations (87.9% saved)

explain5.8s (3.2%)

Memory

173.2MiB live, 5 829.3MiB allocated; 1.0s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	4156	35
`log.f64`	`#f`	sensitivity	759	1
`/.f64`	`#f`	u/u	434	0
`sqrt.f64`	`#f`	oflow-rescue	416	0
`+.f64`	`#f`	cancellation	331	0
`/.f64`	`#f`	u/n	119	0
`pow.f64`	`#f`	sensitivity	65	0
`sqrt.f64`	`#f`	uflow-rescue	30	0
`/.f64`	`(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (.f64 (-.f64 (exp.f64 (.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))`	n/u	29	0
↳	`(*.f64 b eps)`	underflow	143
↳	`(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))`	underflow	152
↳	`(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))`	underflow	143
↳	`(.f64 (-.f64 (exp.f64 (.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))`	underflow	238
↳	`(*.f64 a eps)`	underflow	152
`-.f64`	`#f`	nan-rescue	18	0
`/.f64`	`(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))`	o/o	3	0
↳	`(exp.f64 (*.f64 #s(literal 2 binary64) x))`	overflow	3
↳	`(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))`	overflow	3
↳	`(exp.f64 x)`	overflow	3
↳	`(-.f64 (exp.f64 x) #s(literal 1 binary64))`	overflow	3

Confusion

	Predicted +	Predicted -
+	5212	16
-	154	1786

Precision

0.9713007827059262

Recall

0.9969395562356542

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5212	9	7
-	154	28	1758

Precision?

0.9663150101795299

Recall?

0.9986610558530987

Freqs

test

number	freq
0	1802
1	4577
2	641
3	91
4	57

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	28	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

1.6s	2 714×	2	valid
1.3s	6 056×	1	valid
535.0ms	5 380×	0	valid
115.0ms	186×	3	valid

Compiler

Compiled 2 154 to 763 computations (64.6% saved)

Precisions

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

ival-tan: 679.0ms (23.6% of total)

adjust: 385.0ms (13.4% of total)

ival-log: 262.0ms (9.1% of total)

ival-cos: 231.0ms (8% of total)

ival-mult: 190.0ms (6.6% of total)

ival-exp: 162.0ms (5.6% of total)

ival-div: 155.0ms (5.4% of total)

ival-sub: 152.0ms (5.3% of total)

ival-sin: 130.0ms (4.5% of total)

ival-pow: 119.0ms (4.1% of total)

ival-add: 116.0ms (4% of total)

ival-neg: 71.0ms (2.5% of total)

ival-sqrt: 66.0ms (2.3% of total)

ival-log1p: 66.0ms (2.3% of total)

ival-expm1: 26.0ms (0.9% of total)

ival-atan: 20.0ms (0.7% of total)

ival-cbrt: 16.0ms (0.6% of total)

ival-true: 12.0ms (0.4% of total)

exact: 8.0ms (0.3% of total)

ival-assert: 6.0ms (0.2% of total)

series4.2s (2.4%)

Memory

224.5MiB live, 4 033.8MiB allocated; 1.6s collecting garbage

Counts

2 666 → 12 050

Calls

504 calls:

Time	Variable		Point	Expression
536.0ms	x	@	-inf	((/ (log (- 1 x)) (log (+ 1 x))) (log (- 1 x)) (- 1 x) 1 x (log (+ 1 x)) (+ 1 x))
114.0ms	a	@	0	((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (+ (* eps (/ (pow (exp eps) b) (- (exp (* b eps)) 1))) (* -1/2 eps)) a) 1) a) (/ (+ (* (- (+ (* 1/2 eps) (/ 1 a)) (* 1/2 eps)) b) 1) b) (+ (* (- (+ (* 1/2 eps) (/ 1 a)) (* 1/2 eps)) b) 1) (- (+ (* 1/2 eps) (/ 1 a)) (* 1/2 eps)) (+ (* 1/2 eps) (/ 1 a)) 1/2 eps (/ 1 a) 1 a (* 1/2 eps) b (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (/ (+ b a) a) b) (/ (+ b a) a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (+ (* eps (/ (pow (exp eps) b) (- (exp (* b eps)) 1))) (* -1/2 eps)) a) 1) a) (+ (* (+ (* eps (/ (pow (exp eps) b) (- (exp (* b eps)) 1))) (* -1/2 eps)) a) 1) (/ a b) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (+ (* eps (/ (pow (exp eps) b) (- (exp (* b eps)) 1))) (* -1/2 eps)) a) 1) a) (+ (* (+ (* eps (/ (pow (exp eps) b) (- (exp (* b eps)) 1))) (* -1/2 eps)) a) 1) (+ (* eps (/ (pow (exp eps) b) (- (exp (* b eps)) 1))) (* -1/2 eps)) (/ (+ (* (+ (* 1/2 eps) (* -1/2 eps)) b) 1) b) (+ (* (+ (* 1/2 eps) (* -1/2 eps)) b) 1) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (+ (/ b (* b a)) (/ a (* b a))) (/ b (* b a)) (* b a) (/ a (* b a)))
77.0ms	n	@	0	((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (+ 1 x) 1 x n (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ 1 (/ x n)) (/ x n) (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (* (pow n -2) 1/2) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (* (pow n -2) 1/2) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) (/ (- 1 (* 1/2 (pow x -1))) n) (- 1 (* 1/2 (pow x -1))) (* 1/2 (pow x -1)) 1/2 (pow x -1) -1 (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) (neg (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (log x) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (+ (* (/ (pow (log (+ 1 x)) 2) n) 1/2) (log (+ 1 x))) (+ (* (/ (pow (log x) 2) n) 1/2) (log x))) n) (/ (- (+ (* 1/2 (pow (log (+ 1 x)) 2)) (* n (- (log (+ 1 x)) (log x)))) (* 1/2 (pow (log x) 2))) (* n n)) (- (+ (* 1/2 (pow (log (+ 1 x)) 2)) (* n (- (log (+ 1 x)) (log x)))) (* 1/2 (pow (log x) 2))) (+ (* 1/2 (pow (log (+ 1 x)) 2)) (* n (- (log (+ 1 x)) (log x)))) (pow (log (+ 1 x)) 2) (log (+ 1 x)) 2 (* n (- (log (+ 1 x)) (log x))) (- (log (+ 1 x)) (log x)) (* 1/2 (pow (log x) 2)) (pow (log x) 2) (* n n))
74.0ms	n	@	0	((- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) (- (* (+ n 1) (log (+ n 1))) (* n (log n))) (* (+ n 1) (log (+ n 1))) (+ n 1) n 1 (log (+ n 1)) (* n (log n)) (log n))
66.0ms	N	@	inf	((log (+ 1 (pow N -1))) (pow N -1) N -1 (- (log (+ N 1)) (log N)) (/ (- 1 (/ 1/2 N)) N) (- 1 (/ 1/2 N)) 1 (/ 1/2 N) 1/2 (- (log (+ N 1)) (log N)) (/ (+ (/ (- (/ 1/3 N) 1/2) N) 1) N) (+ (/ (- (/ 1/3 N) 1/2) N) 1) (/ (- (/ 1/3 N) 1/2) N) (- (/ 1/3 N) 1/2) (/ 1/3 N) 1/3 (- (log (+ N 1)) (log N)) (/ (+ (* (/ (+ (* (/ (- (/ 1/4 N) 1/3) N) -1) -1/2) N) -1) -1) (neg N)) (+ (* (/ (+ (* (/ (- (/ 1/4 N) 1/3) N) -1) -1/2) N) -1) -1) (/ (+ (* (/ (- (/ 1/4 N) 1/3) N) -1) -1/2) N) (+ (* (/ (- (/ 1/4 N) 1/3) N) -1) -1/2) (/ (- (/ 1/4 N) 1/3) N) (- (/ 1/4 N) 1/3) (/ 1/4 N) 1/4 -1/2 (neg N) (log (/ (- N -1) N)) (/ (- N -1) N) (- N -1))

regimes3.0s (1.7%)

Memory

6.4MiB live, 3 006.4MiB allocated; 455ms collecting garbage

Counts

3 443 → 325

Calls

43 calls:

706.0ms	x
271.0ms	eps
190.0ms	b
180.0ms	N
122.0ms	n

Compiler

Compiled 2 138 to 2 005 computations (6.2% saved)

prune2.7s (1.5%)

Memory: -249.8MiB live, 3 840.9MiB allocated; 703ms collecting garbage
Counts: 38 994 → 1 546
Compiler: Compiled 86 943 to 46 911 computations (46% saved)

analyze1.9s (1.1%)

Memory

58.6MiB live, 2 119.9MiB allocated; 655ms collecting garbage

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	61.1%	38.9%	0%	0%	0%	0
7.4%	4.5%	56.6%	38.9%	0%	0%	0%	1
22.3%	13.6%	47.5%	38.9%	0%	0%	0%	2
40.2%	23.5%	34.9%	38.9%	0%	2.7%	0%	3
53.4%	31.1%	27.2%	38.9%	0%	2.8%	0%	4
63%	36.3%	21.3%	38.9%	0%	3.6%	0%	5
65.9%	37.5%	19.4%	38.9%	0%	4.2%	0%	6
70.4%	38.8%	16.3%	38.9%	0%	6%	0%	7
73.6%	40.2%	14.4%	38.9%	0%	6.5%	0%	8
76.3%	40.9%	12.7%	38.9%	0%	7.5%	0%	9
78.4%	41.4%	11.4%	38.9%	0%	8.3%	0%	10
81.1%	42.4%	9.9%	38.9%	0%	8.8%	0%	11
82.3%	42.7%	9.2%	38.9%	0%	9.3%	0%	12

Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch1.6s (0.9%)

Memory

-50.0MiB live, 1 260.8MiB allocated; 255ms collecting garbage

Algorithm

88×	binary-search
22×	left-value

Stop Event

83×	narrow-enough
5×	predicate-same

Samples

468.0ms	4 732×	0	valid
333.0ms	1 015×	1	valid
133.0ms	412×	2	valid
125.0ms	1 522×	0	invalid
5.0ms	54×	0	exit
0.0ms	1×	3	valid

Compiler

Compiled 33 666 to 26 085 computations (22.5% saved)

Precisions

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

ival-pow: 267.0ms (34.7% of total)

ival-mult: 139.0ms (18.1% of total)

ival-div: 71.0ms (9.2% of total)

adjust: 56.0ms (7.3% of total)

ival-sub: 56.0ms (7.3% of total)

ival-cos: 54.0ms (7% of total)

ival-sqrt: 48.0ms (6.2% of total)

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

ival-add: 25.0ms (3.3% of total)

ival-true: 5.0ms (0.7% of total)

exact: 5.0ms (0.7% of total)

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

ival-cbrt: 3.0ms (0.4% of total)

ival-expm1: 1.0ms (0.1% of total)

simplify1.5s (0.9%)

Memory

-198.9MiB live, 1 201.6MiB allocated; 310ms collecting garbage

Stop Event

28×	node limit

start1.0ms (0%)

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

end0.0ms (0%)

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

sample1.9min (65.6%)

rewrite21.3s (12%)

preprocess7.3s (4.1%)

derivations6.1s (3.4%)

eval5.8s (3.3%)

explain5.8s (3.2%)

series4.2s (2.4%)

regimes3.0s (1.7%)

prune2.7s (1.5%)

analyze1.9s (1.1%)

bsearch1.6s (0.9%)

simplify1.5s (0.9%)

start1.0ms (0%)

end0.0ms (0%)

Profiling