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:	84 723.1 MB

sample49.0s (60.7%)

Memory

451.4MiB live, 49 695.5MiB allocated; 15.9s collecting garbage

Samples

20.0s	20 978×	5	exit
7.4s	39 276×	1	valid
7.4s	109 658×	0	valid
5.1s	16 186×	2	valid
1.1s	5 822×	0	invalid
209.0ms	1 116×	1	exit
127.0ms	1 283×	0	exit

Precisions

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

ival-exp: 6.7s (19.5% of total)

ival-cos: 5.7s (16.7% of total)

adjust: 4.0s (11.5% of total)

ival-pow: 3.8s (10.9% of total)

ival-log: 2.1s (6% of total)

ival-mult!: 1.9s (5.5% of total)

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

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

ival-fmod: 1.4s (4.2% of total)

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

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

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

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

ival-hypot: 410.0ms (1.2% of total)

ival-sub!: 405.0ms (1.2% of total)

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

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

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

ival-atan: 63.0ms (0.2% of total)

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

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

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

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

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

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

Bogosity

rewrite8.9s (11%)

Memory

310.7MiB live, 8 897.6MiB allocated; 1.2s collecting garbage

Stop Event

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

Counts

6 949 → 17 007

regimes5.0s (6.2%)

Memory

102.0MiB live, 6 116.6MiB allocated; 900ms collecting garbage

Counts

3 400 → 178

Calls

53 calls:

662.0ms	x
440.0ms	a
319.0ms	(tan.f64 a)
293.0ms	b
253.0ms	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))

Compiler

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

derivations2.9s (3.6%)

Memory

-28.8MiB live, 2 072.9MiB allocated; 187ms collecting garbage

Stop Event

10×	fuel
10×	done

Compiler

Compiled 3 259 to 887 computations (72.8% saved)

analyze2.6s (3.2%)

Memory

40.9MiB live, 2 225.1MiB allocated; 1.4s 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.5s (3.2%)

Memory: 80.8MiB live, 3 561.7MiB allocated; 600ms collecting garbage
Compiler: Compiled 599 871 to 82 182 computations (86.3% saved)

series2.5s (3%)

Memory

275.5MiB live, 3 279.8MiB allocated; 383ms collecting garbage

Counts

1 410 → 5 539

Calls

363 calls:

Time	Variable		Point	Expression
84.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))
79.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))
65.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))
43.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))
42.0ms	c	@	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))

preprocess2.3s (2.9%)

Memory

-234.4MiB live, 2 649.1MiB allocated; 384ms collecting garbage

Stop Event

15×	node-limit
5×	saturated

Compiler

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

explain2.2s (2.7%)

Memory

79.4MiB live, 2 696.8MiB allocated; 433ms 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

472.0ms	6 642×	0	valid
374.0ms	2 386×	1	valid
309.0ms	1 042×	2	valid
24.0ms	170×	1	exit

Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions

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

ival-mult!: 94.0ms (12.7% of total)

adjust: 78.0ms (10.6% of total)

ival-tan: 76.0ms (10.3% of total)

ival-cos: 75.0ms (10.2% of total)

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

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

ival-sinh: 43.0ms (5.8% of total)

ival-sin: 43.0ms (5.8% of total)

ival-acos: 34.0ms (4.6% of total)

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

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

ival-div!: 26.0ms (3.5% of total)

ival-fmod: 24.0ms (3.3% of total)

ival-add!: 22.0ms (3% of total)

ival-sub!: 21.0ms (2.8% of total)

ival-hypot: 9.0ms (1.2% of total)

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

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

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

prune1.6s (2%)

Memory: -221.4MiB live, 2 382.3MiB allocated; 265ms collecting garbage
Counts: 18 407 → 1 574
Compiler: Compiled 84 049 to 43 801 computations (47.9% saved)

bsearch1.3s (1.6%)

Memory

-107.0MiB live, 1 144.3MiB allocated; 149ms collecting garbage

Algorithm

34×	binary-search
19×	left-value

Stop Event

26×	narrow-enough
8×	predicate-failed

Samples

759.0ms	808×	5	exit
145.0ms	862×	1	valid
86.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: 881.0ms

ival-exp: 306.0ms (34.7% of total)

ival-cos: 212.0ms (24.1% of total)

adjust: 108.0ms (12.3% of total)

ival-fmod: 99.0ms (11.2% of total)

ival-sqrt: 37.0ms (4.2% of total)

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

ival-mult!: 27.0ms (3.1% of total)

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

ival-pow: 11.0ms (1.2% of total)

ival-add!: 7.0ms (0.8% 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.2MiB live, 1.2MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample49.0s (60.7%)

rewrite8.9s (11%)

regimes5.0s (6.2%)

derivations2.9s (3.6%)

analyze2.6s (3.2%)

eval2.5s (3.2%)

series2.5s (3%)

preprocess2.3s (2.9%)

explain2.2s (2.7%)

prune1.6s (2%)

bsearch1.3s (1.6%)

start1.0ms (0%)

end0.0ms (0%)

Profiling