Metrics for Herbie run

Date:	Wednesday, April 16th, 2025
Commit:	253a78a0 on chassis-platforms-cleanup
Seed:	2025106
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:	162 542.4 MB

sample47.5s (36.6%)

Memory

529.6MiB live, 59 573.1MiB allocated; 17.3s collecting garbage

Samples

20.3s	293 006×	0	valid
7.1s	35 785×	1	valid
6.1s	17 505×	2	valid
358.0ms	4 261×	0	invalid
162.0ms	456×	3	valid
106.0ms	943×	0	exit
76.0ms	101×	3	exit
53.0ms	101×	4	exit
5.0ms	30×	1	exit

Precisions

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

ival-mult!: 5.4s (23.7% of total)

ival-pow: 3.3s (14.6% of total)

ival-add!: 2.8s (12% of total)

ival-div!: 2.5s (10.9% of total)

adjust: 2.1s (9.2% of total)

ival-sin: 1.6s (7.1% of total)

ival-sub!: 1.5s (6.4% of total)

ival-cos: 1.5s (6.4% of total)

ival-exp: 569.0ms (2.5% of total)

ival-sqrt: 503.0ms (2.2% of total)

ival-pow2: 419.0ms (1.8% of total)

ival-neg: 351.0ms (1.5% of total)

ival-expm1: 97.0ms (0.4% of total)

ival-log1p: 87.0ms (0.4% of total)

ival-atan: 76.0ms (0.3% of total)

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

ival-hypot: 17.0ms (0.1% of total)

ival-<=: 11.0ms (0% of total)

ival-and: 8.0ms (0% of total)

ival-if: 5.0ms (0% of total)

ival-fabs: 4.0ms (0% of total)

ival-==: 3.0ms (0% of total)

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

const: 0.0ms (0% of total)

ival-<: 0.0ms (0% of total)

Bogosity

rewrite30.2s (23.3%)

Memory

391.6MiB live, 31 307.5MiB allocated; 10.2s collecting garbage

Stop Event

381×	iter-limit
149×	node-limit
10×	saturated
4×	unsound

Counts

18 984 → 41 050

derivations8.5s (6.6%)

Memory

44.1MiB live, 8 879.1MiB allocated; 1.3s collecting garbage

Stop Event

24×	fuel
18×	done

Compiler

Compiled 27 354 to 2 770 computations (89.9% saved)

explain7.9s (6.1%)

Memory

85.4MiB live, 12 008.8MiB allocated; 1.5s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1283	1
`+.f64`	`#f`	cancellation	369	96
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	219	0
`sqrt.f64`	`#f`	oflow-rescue	188	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	169	0
`/.f64`	`#f`	o/o	155	0
`/.f64`	`#f`	n/o	149	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	117	0
`-.f64`	`#f`	nan-rescue	111	0
`/.f64`	`#f`	u/n	81	0
`*.f64`	`#f`	*nu**	57	0
`+.f64`	`#f`	nan-rescue	51	0
`/.f64`	`#f`	n/u	50	0
`/.f64`	`#f`	o/n	44	0
`/.f64`	`#f`	u/u	43	0
`*.f64`	`#f`	*no**	29	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	17	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	37
↳	`(/.f64 i n)`	overflow	17
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	17
`sqrt.f64`	`#f`	uflow-rescue	16	0
`exp.f64`	`#f`	sensitivity	2	2

Confusion

	Predicted +	Predicted -
+	3839	227
-	118	6568

Precision

0.9701794288602477

Recall

0.9441711756025578

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3839	170	57
-	118	184	6384

Precision?

0.9299466481094874

Recall?

0.985981308411215

Freqs

test

number	freq
0	6795
1	3527
2	392
3	38

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	1	0
-	2	0	9

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.1s	16 854×	0	valid
744.0ms	3 150×	1	valid
453.0ms	1 456×	2	valid
19.0ms	44×	3	valid

Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions

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

ival-mult!: 299.0ms (21.3% of total)

ival-pow: 223.0ms (15.9% of total)

adjust: 216.0ms (15.4% of total)

ival-div!: 116.0ms (8.3% of total)

ival-add!: 100.0ms (7.1% of total)

ival-sin: 89.0ms (6.4% of total)

ival-sub!: 82.0ms (5.9% of total)

ival-sqrt: 79.0ms (5.6% of total)

ival-cos: 73.0ms (5.2% of total)

ival-neg: 43.0ms (3.1% of total)

ival-pow2: 32.0ms (2.3% of total)

ival-exp: 30.0ms (2.1% of total)

ival-log1p: 6.0ms (0.4% of total)

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

ival-atan: 4.0ms (0.3% of total)

ival-expm1: 3.0ms (0.2% of total)

const: 0.0ms (0% of total)

eval7.2s (5.6%)

Memory: 466.4MiB live, 12 412.3MiB allocated; 1.8s collecting garbage
Compiler: Compiled 1 985 418 to 197 063 computations (90.1% saved)

preprocess6.8s (5.2%)

Memory

-553.4MiB live, 8 270.4MiB allocated; 3.0s collecting garbage

Stop Event

32×	node-limit
10×	saturated

Compiler

Compiled 77 418 to 17 306 computations (77.6% saved)

regimes5.9s (4.6%)

Memory

50.3MiB live, 9 543.9MiB allocated; 1.4s collecting garbage

Counts

4 823 → 578

Calls

96 calls:

745.0ms	x
400.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))
302.0ms	a
276.0ms	b
260.0ms	c

Compiler

Compiled 8 666 to 5 873 computations (32.2% saved)

series5.2s (4%)

Memory

335.6MiB live, 7 228.9MiB allocated; 944ms collecting garbage

Counts

3 277 → 15 707

Calls

918 calls:

Time	Variable		Point	Expression
401.0ms	x	@	-inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))) (+ (* x y) z) x y z (+ 1 (+ (* x y) z)) 1 (+ (* x y) z) (* x y))
123.0ms	t1	@	0	((* (/ (neg t1) (+ u t1)) (/ v (+ u t1))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (+ u t1)) v (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/ (neg v) t1) (neg v) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (neg t1) v) (* (+ t1 u) (+ t1 u)) (+ t1 u) (+ t1 u) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u)) (* (+ (* 2 t1) u) u) (+ (* 2 t1) u) 2 (* (neg t1) (/ v (* (+ u t1) (+ u t1)))) (/ v (* (+ u t1) (+ u t1))) (* (+ u t1) (+ u t1)))
122.0ms	w	@	inf	((- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* 1/4 (* r r)) (* w w)) 3/2)) (/ 2 (* r r)) 2 (* r r) r (+ (* (* 1/4 (* r r)) (* w w)) 3/2) (* 1/4 (* r r)) 1/4 (* w w) w 3/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* (* w (* w r)) r) 3/8) 3/2)) (+ (* (* (* w (* w r)) r) 3/8) 3/2) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) (+ 3 (/ 2 (* r r))) 3 (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v)) (* (* 1/4 (* r r)) (* w w)) 9/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* (* w (* w r)) r) 3/8) 3/2)) (neg (* (+ (* (* w w) 3/8) (/ 3/2 (* r r))) (* r r))) (* (+ (* (* w w) 3/8) (/ 3/2 (* r r))) (* r r)) (+ (* (* w w) 3/8) (/ 3/2 (* r r))) 3/8 (/ 3/2 (* r r)) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v)) (* (exp (* (log (* w r)) 2)) 3/8) (exp (* (log (* w r)) 2)) (* (log (* w r)) 2) (log (* w r)) (* w r))
81.0ms	x	@	-inf	((* (sin (+ x (/ (PI) 2))) (pow (pow (exp 10) (fabs x)) (fabs x))) (sin (+ x (/ (PI) 2))) (+ x (/ (PI) 2)) x (/ (PI) 2) (PI) 2 (pow (pow (exp 10) (fabs x)) (fabs x)) (pow (exp 10) (fabs x)) (exp 10) 10 (fabs x) (* (cos x) (exp (* 10 (* x x)))) (cos x) (+ (* -1/2 (* x x)) 1) (* (* x x) -1/2) (* x x) -1/2 (exp (* 10 (* x x))) (* 10 (* x x)) (* (cos x) (exp (* 10 (* x x)))) (cos x) (- 1 (* (neg (* x x)) (- (* (+ (* (* x x) -1/720) 1/24) (* x x)) 1/2))) 1 (* (neg (* x x)) (- (* (+ (* (* x x) -1/720) 1/24) (* x x)) 1/2)) (neg (* x x)) (- (* (+ (* (* x x) -1/720) 1/24) (* x x)) 1/2) (* (+ (* (* x x) -1/720) 1/24) (* x x)) (+ (* (* x x) -1/720) 1/24) -1/720 1/24 1/2 (* (sin (+ x (/ (PI) 2))) (/ 1 (exp (* (* -10 x) x)))) (/ 1 (exp (* (* -10 x) x))) (exp (* (* -10 x) x)) (* (* -10 x) x) (* -10 x) -10 (* (sin (+ x (/ (PI) 2))) (pow (exp (* (* 10 x) (/ x 2))) 2)) (pow (exp (* (* 10 x) (/ x 2))) 2) (exp (* (* 10 x) (/ x 2))) (* (* 10 x) (/ x 2)) (* 10 x) (/ x 2))
71.0ms	n	@	0	((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* (- (exp i) 1) n) i) (* (- (exp i) 1) n) (- (exp i) 1) i n (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (- (pow (+ 1 (/ i n)) n) 1) (/ i n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (- (pow (+ 1 (/ i n)) n) 1) (* (log (* (/ 1 n) i)) n) (log (* (/ 1 n) i)) (* (/ 1 n) i) (/ 1 n) 1 (/ (* 100 (- (exp (* (log (+ (/ i n) 1)) n)) 1)) (/ i n)) (* 100 (- (exp (* (log (+ (/ i n) 1)) n)) 1)) (- (exp (* (log (+ (/ i n) 1)) n)) 1) (* (log (+ (/ i n) 1)) n) (log (+ (/ i n) 1)) (+ (/ i n) 1))

analyze4.6s (3.6%)

Memory

138.2MiB live, 4 652.0MiB allocated; 3.1s collecting garbage

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
21.4%	11.7%	42.9%	45.5%	0%	0%	0%	1
37.4%	20.4%	34.1%	45.5%	0%	0%	0%	2
48.7%	26.2%	27.7%	45.5%	0%	0.6%	0%	3
57.7%	30.7%	22.6%	45.5%	0%	1.2%	0%	4
71.2%	37.7%	15.3%	45.5%	0%	1.6%	0%	5
72.9%	38.4%	14.3%	45.5%	0%	1.8%	0%	6
77.9%	40.7%	11.6%	45.5%	0%	2.2%	0%	7
81.5%	42.6%	9.7%	45.5%	0%	2.3%	0%	8
84.1%	43.8%	8.3%	45.5%	0%	2.5%	0%	9
86.2%	44.6%	7.2%	45.5%	0%	2.7%	0%	10
88.2%	45.6%	6.1%	45.5%	0%	2.8%	0%	11
89.1%	45.9%	5.6%	45.5%	0%	2.9%	0%	12

Compiler

Compiled 1 402 to 721 computations (48.6% saved)

bsearch3.0s (2.3%)

Memory

38.4MiB live, 3 674.0MiB allocated; 530ms collecting garbage

Algorithm

195×	binary-search
85×	left-value

Stop Event

184×	narrow-enough
10×	predicate-same
1×	predicate-failed

Samples

924.0ms	11 042×	0	valid
393.0ms	663×	2	valid
351.0ms	1 211×	1	valid
77.0ms	1 333×	0	invalid
39.0ms	44×	3	valid
1.0ms	16×	0	exit

Compiler

Compiled 138 465 to 70 731 computations (48.9% saved)

Precisions

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

ival-pow: 398.0ms (30.6% of total)

ival-mult!: 357.0ms (27.5% of total)

ival-div!: 186.0ms (14.3% of total)

ival-neg: 94.0ms (7.2% of total)

adjust: 70.0ms (5.4% of total)

ival-sub!: 58.0ms (4.5% of total)

ival-add!: 53.0ms (4.1% of total)

ival-sqrt: 31.0ms (2.4% of total)

ival-exp: 28.0ms (2.2% of total)

ival-log1p: 24.0ms (1.8% of total)

ival-expm1: 2.0ms (0.2% of total)

prune2.9s (2.2%)

Memory: -418.8MiB live, 4 986.0MiB allocated; 663ms collecting garbage
Counts: 41 861 → 1 878
Compiler: Compiled 134 943 to 60 157 computations (55.4% saved)

start2.0ms (0%)

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

end0.0ms (0%)

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

sample47.5s (36.6%)

rewrite30.2s (23.3%)

derivations8.5s (6.6%)

explain7.9s (6.1%)

eval7.2s (5.6%)

preprocess6.8s (5.2%)

regimes5.9s (4.6%)

series5.2s (4%)

analyze4.6s (3.6%)

bsearch3.0s (2.3%)

prune2.9s (2.2%)

start2.0ms (0%)

end0.0ms (0%)

Profiling