Metrics for Herbie run

Date:	Wednesday, April 16th, 2025
Commit:	49675406 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:	84 895.7 MB

sample47.8s (59.6%)

Memory

493.1MiB live, 50 113.5MiB allocated; 14.9s collecting garbage

Samples

20.6s	20 978×	5	exit
7.3s	39 276×	1	valid
6.6s	109 658×	0	valid
5.1s	16 186×	2	valid
714.0ms	5 822×	0	invalid
235.0ms	1 116×	1	exit
124.0ms	1 283×	0	exit

Precisions

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

ival-exp: 6.8s (20.5% of total)

ival-cos: 5.6s (17% of total)

ival-pow: 3.9s (11.8% of total)

adjust: 3.6s (11% of total)

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

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

ival-mult!: 1.5s (4.5% of total)

ival-fmod: 1.5s (4.4% of total)

ival-tan: 1.5s (4.4% of total)

ival-sinh: 1.2s (3.7% of total)

ival-acos: 816.0ms (2.5% of total)

ival-sin: 761.0ms (2.3% of total)

ival-div!: 726.0ms (2.2% of total)

ival-pow2: 371.0ms (1.1% of total)

ival-sub!: 369.0ms (1.1% of total)

ival-add!: 343.0ms (1% of total)

ival-neg: 294.0ms (0.9% of total)

ival-hypot: 144.0ms (0.4% of total)

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

ival-<=: 52.0ms (0.2% of total)

ival-and: 34.0ms (0.1% of total)

ival-or: 16.0ms (0% of total)

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

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

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

Bogosity

rewrite9.0s (11.2%)

Memory

328.0MiB live, 8 775.9MiB allocated; 1.2s collecting garbage

Stop Event

170×	iter-limit
49×	node-limit
13×	unsound
4×	saturated

Counts

6 949 → 17 007

regimes4.9s (6.1%)

Memory

72.2MiB live, 6 011.6MiB allocated; 906ms collecting garbage

Counts

3 400 → 178

Calls

53 calls:

584.0ms	x
483.0ms	a
315.0ms	y
253.0ms	b
232.0ms	(+.f64 y z)

Compiler

Compiled 1 671 to 1 991 computations (-19.2% saved)

explain3.1s (3.8%)

Memory

-203.1MiB live, 2 455.6MiB allocated; 2.1s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	537	0
`cos.f64`	`#f`	sensitivity	517	4
`-.f64`	`#f`	cancellation	347	0
`sqrt.f64`	`#f`	uflow-rescue	335	0
`/.f64`	`#f`	n/o	260	0
`acos.f64`	`(acos.f64 (-.f64 #s(literal 1 binary64) x))`	sensitivity	255	0
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	sensitivity	249	0
`tan.f64`	`(tan.f64 (+.f64 y z))`	sensitivity	180	0
`pow.f64`	`(pow.f64 l (exp.f64 w))`	sensitivity	133	14
`*.f64`	`#f`	*nu**	38	0
`*.f64`	`#f`	*no**	34	0
`*.f64`	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`	*ou**	17	0
↳	`(pow.f64 c #s(literal 2 binary64))`	overflow	56
↳	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	underflow	82
↳	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	underflow	79
↳	`(pow.f64 s #s(literal 2 binary64))`	underflow	68
`*.f64`	`#f`	*uo**	16	0
`-.f64`	`(-.f64 (.f64 a a) (.f64 b b))`	nan-rescue	10	0
↳	`(*.f64 a a)`	overflow	112
↳	`(*.f64 b b)`	overflow	10
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	oflow-rescue	6	0
↳	`(sinh.f64 x)`	overflow	6
↳	`(/.f64 (sinh.f64 x) x)`	overflow	6

Confusion

	Predicted +	Predicted -
+	2151	253
-	718	1998

Precision

0.749738584872778

Recall

0.8947587354409318

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2151	1	252
-	718	16	1982

Precision?

0.7456687456687456

Recall?

0.8951747088186356

Freqs

test

number	freq
0	2251
1	2811
2	51
3	7

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	18	0	0
-	0	0	2

Precision?

1.0

Recall?

1.0

Samples

670.0ms	2 386×	1	valid
397.0ms	6 642×	0	valid
294.0ms	1 042×	2	valid
22.0ms	170×	1	exit

Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions

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

ival-tan: 82.0ms (11.2% of total)

adjust: 80.0ms (11% of total)

ival-cos: 69.0ms (9.5% of total)

ival-log: 67.0ms (9.2% of total)

ival-mult!: 53.0ms (7.3% of total)

ival-sqrt: 51.0ms (7% of total)

ival-sinh: 47.0ms (6.4% of total)

ival-acos: 47.0ms (6.4% of total)

ival-sin: 46.0ms (6.3% of total)

ival-add!: 45.0ms (6.2% of total)

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

ival-div!: 24.0ms (3.3% of total)

ival-fmod: 23.0ms (3.2% of total)

ival-pow2: 21.0ms (2.9% of total)

ival-sub!: 20.0ms (2.7% of total)

ival-pow: 8.0ms (1.1% of total)

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

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

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

derivations2.9s (3.6%)

Memory

-24.8MiB live, 2 150.0MiB allocated; 187ms collecting garbage

Stop Event

10×	fuel
10×	done

Compiler

Compiled 3 259 to 887 computations (72.8% saved)

series2.5s (3.1%)

Memory

62.3MiB live, 3 416.2MiB allocated; 445ms collecting garbage

Counts

1 410 → 5 539

Calls

363 calls:

Time	Variable		Point	Expression
66.0ms	hi	@	inf	((/ (- x lo) (- hi lo)) (+ (+ (- 1 (/ x lo)) (* (neg (/ (- x hi) lo)) (/ hi lo))) (/ hi lo)) (+ (- 1 (/ x lo)) (* (neg (/ (- x hi) lo)) (/ hi lo))) (- 1 (/ x lo)) 1 (* (neg (/ (- x hi) lo)) (/ hi lo)) (neg (/ (- x hi) lo)) (/ (- x hi) lo) (- x hi) x hi lo (/ hi lo) (/ (- x lo) (- hi lo)) (+ (* (neg lo) (+ (/ 1 hi) (/ (neg x) (* hi hi)))) (/ x hi)) (/ (neg lo) hi) (neg lo) (/ (- x lo) (- hi lo)) (+ (* (neg lo) (+ (/ 1 hi) (/ (neg x) (* hi hi)))) (/ x hi)) (* (/ (+ (/ (neg x) hi) 1) hi) (neg lo)) (/ (+ (/ (neg x) hi) 1) hi) (+ (/ (neg x) hi) 1) (/ (neg x) hi) (neg x) (/ (- x lo) (- hi lo)) (+ (* (neg lo) (+ (/ 1 hi) (/ (neg x) (* hi hi)))) (/ x hi)) (* (+ (+ (/ (neg lo) (* hi x)) (/ 1 hi)) (/ lo (* hi hi))) x) (+ (+ (/ (neg lo) (* hi x)) (/ 1 hi)) (/ lo (* hi hi))) (+ (/ (neg lo) (* hi x)) (/ 1 hi)) (/ (neg lo) (* hi x)) (* hi x) (/ 1 hi) (/ lo (* hi hi)) (* hi hi) (/ (- x lo) (- hi lo)) (+ (* (neg lo) (+ (exp (* (log hi) -1)) (/ (neg x) (* hi hi)))) (/ x hi)) (+ (exp (* (log hi) -1)) (/ (neg x) (* hi hi))) (exp (* (log hi) -1)) (* (log hi) -1) (log hi) -1 (/ (neg x) (* hi hi)) (/ x hi))
62.0ms	x	@	0	((/ (/ (cos (+ x x)) (* (* c s) x)) (* (* c s) x)) (/ (cos (+ x x)) (* (* c s) x)) (cos (+ x x)) (+ x x) x (* (* c s) x) (* c s) c s (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/ 1 (* s (* (* (* (* x x) s) c) c))) 1 (* s (* (* (* (* x x) s) c) c)) (* (* (* (* x x) s) c) c) (* (* (* x x) s) c) (* (* x x) s) (* x x) (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/ (/ 1 (* (* c s) x)) (* (* c s) x)) (/ 1 (* (* c s) x)) (/ (cos (* 2 x)) (* (* (* (* s s) c) c) (* x x))) (cos (* 2 x)) (+ (* (* (+ (* (+ (* -4/45 (* x x)) 2/3) (* x x)) -2) x) x) 1) (* (+ (* (+ (* -4/45 (* x x)) 2/3) (* x x)) -2) x) (+ (* (+ (* -4/45 (* x x)) 2/3) (* x x)) -2) -2 (* (* (* (* s s) c) c) (* x x)) (* (* (* s s) c) c) (* (* s s) c) (* s s) (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/ 1 (* (* (exp (+ (* (log x) 2) (* (log s) 2))) c) c)) (* (* (exp (+ (* (log x) 2) (* (log s) 2))) c) c) (* (exp (+ (* (log x) 2) (* (log s) 2))) c) (exp (+ (* (log x) 2) (* (log s) 2))) (+ (* (log x) 2) (* (log s) 2)) (log x) 2 (* (log s) 2) (log s))
62.0ms	x	@	-inf	((/ (/ (cos (+ x x)) (* (* c s) x)) (* (* c s) x)) (/ (cos (+ x x)) (* (* c s) x)) (cos (+ x x)) (+ x x) x (* (* c s) x) (* c s) c s (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/ 1 (* s (* (* (* (* x x) s) c) c))) 1 (* s (* (* (* (* x x) s) c) c)) (* (* (* (* x x) s) c) c) (* (* (* x x) s) c) (* (* x x) s) (* x x) (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/ (/ 1 (* (* c s) x)) (* (* c s) x)) (/ 1 (* (* c s) x)) (/ (cos (* 2 x)) (* (* (* (* s s) c) c) (* x x))) (cos (* 2 x)) (+ (* (* (+ (* (+ (* -4/45 (* x x)) 2/3) (* x x)) -2) x) x) 1) (* (+ (* (+ (* -4/45 (* x x)) 2/3) (* x x)) -2) x) (+ (* (+ (* -4/45 (* x x)) 2/3) (* x x)) -2) -2 (* (* (* (* s s) c) c) (* x x)) (* (* (* s s) c) c) (* (* s s) c) (* s s) (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/ 1 (* (* (exp (+ (* (log x) 2) (* (log s) 2))) c) c)) (* (* (exp (+ (* (log x) 2) (* (log s) 2))) c) c) (* (exp (+ (* (log x) 2) (* (log s) 2))) c) (exp (+ (* (log x) 2) (* (log s) 2))) (+ (* (log x) 2) (* (log s) 2)) (log x) 2 (* (log s) 2) (log s))
47.0ms	x	@	-inf	((/ (+ (* (/ (* (* (PI) (PI)) (* (PI) (PI))) 16) (* (PI) (/ (PI) 4))) (pow (* (asin (- x 1)) (asin (- 1 x))) 3)) (* (+ (* (* (PI) (/ (PI) 4)) (+ (* (asin (- x 1)) (asin (- x 1))) (* (PI) (/ (PI) 4)))) (pow (asin (- 1 x)) 4)) (+ (asin (- 1 x)) (/ (PI) 2)))) (+ (* (/ (* (* (PI) (PI)) (* (PI) (PI))) 16) (* (PI) (/ (PI) 4))) (pow (* (asin (- x 1)) (asin (- 1 x))) 3)) (/ (* (* (PI) (PI)) (* (PI) (PI))) 16) (* (* (PI) (PI)) (* (PI) (PI))) (* (PI) (PI)) (PI) 16 (* (PI) (/ (PI) 4)) (/ (PI) 4) 4 (pow (* (asin (- x 1)) (asin (- 1 x))) 3) (* (asin (- x 1)) (asin (- 1 x))) (asin (- x 1)) (- x 1) x 1 (asin (- 1 x)) (- 1 x) 3 (* (+ (* (* (PI) (/ (PI) 4)) (+ (* (asin (- x 1)) (asin (- x 1))) (* (PI) (/ (PI) 4)))) (pow (asin (- 1 x)) 4)) (+ (asin (- 1 x)) (/ (PI) 2))) (+ (* (* (PI) (/ (PI) 4)) (+ (* (asin (- x 1)) (asin (- x 1))) (* (PI) (/ (PI) 4)))) (pow (asin (- 1 x)) 4)) (+ (* (asin (- x 1)) (asin (- x 1))) (* (PI) (/ (PI) 4))) (pow (asin (- 1 x)) 4) (+ (asin (- 1 x)) (/ (PI) 2)) (/ (PI) 2) 2 (- (/ (PI) 2) (asin (- 1 x))) (- (* 1/2 (PI)) (asin (- 1 x))) (* 1/2 (PI)) 1/2 (acos (- 1 x)) (- 1 x) (* (- (/ 1 x) 1) x) (- (/ 1 x) 1) (pow (exp -1) (log x)) (exp -1) -1 (log x) (/ (+ (* (asin (- 1 x)) (asin (/ (+ (* x x) -1) (- x -1)))) (* (PI) (/ (PI) 4))) (+ (/ (PI) 2) (asin (- 1 x)))) (+ (* (asin (- 1 x)) (asin (/ (+ (* x x) -1) (- x -1)))) (* (PI) (/ (PI) 4))) (asin (/ (+ (* x x) -1) (- x -1))) (/ (+ (* x x) -1) (- x -1)) (+ (* x x) -1) (- x -1) (+ (/ (PI) 2) (asin (- 1 x))) (/ (- (* (/ (PI) 2) (* (sqrt (PI)) (/ (sqrt (PI)) 2))) (* (asin (/ (- 1 (* (* x x) x)) (+ (* x (- x -1)) 1))) (asin (- 1 x)))) (+ (/ (PI) 2) (asin (- 1 x)))) (- (* (/ (PI) 2) (* (sqrt (PI)) (/ (sqrt (PI)) 2))) (* (asin (/ (- 1 (* (* x x) x)) (+ (* x (- x -1)) 1))) (asin (- 1 x)))) (* (/ (PI) 2) (* (sqrt (PI)) (/ (sqrt (PI)) 2))) (* (sqrt (PI)) (/ (sqrt (PI)) 2)) (sqrt (PI)) (/ (sqrt (PI)) 2) (* (asin (/ (- 1 (* (* x x) x)) (+ (* x (- x -1)) 1))) (asin (- 1 x))) (asin (/ (- 1 (* (* x x) x)) (+ (* x (- x -1)) 1))) (/ (- 1 (* (* x x) x)) (+ (* x (- x -1)) 1)) (- 1 (* (* x x) x)) (* (* x x) x) (* x x) (+ (* x (- x -1)) 1))
43.0ms	x	@	inf	((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x) x)

analyze2.5s (3.1%)

Memory

43.1MiB live, 2 353.0MiB allocated; 1.5s collecting garbage

Algorithm

20×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	73.7%	26.3%	0%	0%	0%	0
28.8%	21.3%	52.5%	26.3%	0%	0%	0%	1
44.1%	32.5%	41.2%	26.3%	0%	0%	0%	2
52.6%	38.7%	35%	26.3%	0%	0%	0%	3
61.9%	45.6%	28.1%	26.3%	0%	0%	0%	4
65.2%	47.5%	25.3%	26.3%	0%	0.9%	0%	5
66.8%	48.4%	24%	26.3%	0%	1.2%	0%	6
71.1%	51.1%	20.8%	26.3%	0%	1.9%	0%	7
72.1%	51.6%	20%	26.3%	0%	2.1%	0%	8
74.4%	53%	18.2%	26.3%	0%	2.5%	0%	9
75.8%	53.9%	17.2%	26.3%	0%	2.6%	0%	10
76.6%	54.3%	16.6%	26.3%	0%	2.8%	0%	11
77.3%	54.8%	16.1%	26.3%	0%	2.9%	0%	12

Compiler

Compiled 279 to 216 computations (22.6% saved)

eval2.3s (2.9%)

Memory: 208.7MiB live, 3 420.4MiB allocated; 496ms collecting garbage
Compiler: Compiled 606 174 to 82 182 computations (86.4% saved)

preprocess2.3s (2.9%)

Memory

-75.8MiB live, 2 688.6MiB allocated; 415ms collecting garbage

Stop Event

15×	node-limit
5×	saturated

Compiler

Compiled 15 456 to 7 332 computations (52.6% saved)

prune1.7s (2.2%)

Memory: -249.8MiB live, 2 424.1MiB allocated; 363ms collecting garbage
Counts: 18 673 → 1 574
Compiler: Compiled 84 049 to 43 801 computations (47.9% saved)

bsearch1.2s (1.5%)

Memory

-5.4MiB live, 1 085.6MiB allocated; 216ms collecting garbage

Algorithm

34×	binary-search
19×	left-value

Stop Event

26×	narrow-enough
8×	predicate-failed

Samples

752.0ms	808×	5	exit
136.0ms	862×	1	valid
90.0ms	1 266×	0	valid

Compiler

Compiled 6 910 to 6 223 computations (9.9% saved)

Precisions

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

ival-exp: 339.0ms (39.1% of total)

ival-cos: 186.0ms (21.5% of total)

adjust: 103.0ms (11.9% of total)

ival-sqrt: 61.0ms (7% of total)

ival-fmod: 54.0ms (6.2% of total)

ival-tan: 31.0ms (3.6% of total)

ival-mult!: 26.0ms (3% of total)

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

ival-pow: 12.0ms (1.4% of total)

ival-add!: 11.0ms (1.3% of total)

ival-div!: 7.0ms (0.8% of total)

ival-acos: 6.0ms (0.7% of total)

ival-neg: 6.0ms (0.7% of total)

ival-sub!: 2.0ms (0.2% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

sample47.8s (59.6%)

rewrite9.0s (11.2%)

regimes4.9s (6.1%)

explain3.1s (3.8%)

derivations2.9s (3.6%)

series2.5s (3.1%)

analyze2.5s (3.1%)

eval2.3s (2.9%)

preprocess2.3s (2.9%)

prune1.7s (2.2%)

bsearch1.2s (1.5%)

start1.0ms (0%)

end0.0ms (0%)

Profiling