Metrics for Herbie run

Date:	Sunday, January 19th, 2025
Commit:	7183cd93 on autofix-12-1
Seed:	2025019
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	121 681.6 MB

sample52.2s (41.3%)

Memory

363.3MiB live, 49 767.9MiB allocated; 16.3s collecting garbage

Samples

14.5s	16 424×	5	exit
11.5s	39 858×	1	valid
10.0s	108 898×	0	valid
6.7s	16 364×	2	valid
455.0ms	3 991×	0	invalid
137.0ms	1 380×	0	exit

Precisions

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

ival-exp: 4.5s (12.8% of total)

ival-pow: 4.0s (11.3% of total)

adjust: 3.5s (10% of total)

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

const: 2.8s (8% of total)

ival-cos: 2.2s (6.3% of total)

ival-mult: 2.0s (5.8% of total)

ival-tan: 1.9s (5.5% of total)

ival-sin: 1.5s (4.2% of total)

ival-div: 1.4s (3.9% of total)

ival-sqrt: 1.3s (3.7% of total)

ival-fmod: 1.2s (3.5% of total)

ival-sinh: 1.1s (3.2% of total)

ival-sub: 825.0ms (2.3% of total)

ival-add: 692.0ms (2% of total)

ival-<=: 649.0ms (1.8% of total)

ival-acos: 574.0ms (1.6% of total)

ival-pow2: 481.0ms (1.4% of total)

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

ival-hypot: 203.0ms (0.6% of total)

ival-==: 171.0ms (0.5% of total)

ival-and: 121.0ms (0.3% of total)

ival-true: 117.0ms (0.3% of total)

ival-assert: 88.0ms (0.3% of total)

exact: 81.0ms (0.2% of total)

ival-<: 75.0ms (0.2% of total)

ival->=: 69.0ms (0.2% of total)

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

ival-or: 39.0ms (0.1% of total)

ival->: 28.0ms (0.1% of total)

Bogosity

simplify22.6s (17.8%)

Memory

331.9MiB live, 19 960.9MiB allocated; 4.0s collecting garbage

Stop Event

218×	iter limit
136×	node limit
19×	saturated
7×	unsound

Counts

4 972 → 4 972

localize13.1s (10.3%)

Memory

-44.4MiB live, 14 066.0MiB allocated; 2.1s collecting garbage

Samples

5.1s	5 442×	1	valid
2.2s	1 767×	2	valid
2.0s	9 786×	0	valid
1.4s	198×	5	exit
146.0ms	393×	0	invalid
21.0ms	70×	0	exit
10.0ms	8×	3	valid

Compiler

Compiled 11 798 to 1 769 computations (85% saved)

Precisions

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

adjust: 1.4s (16.1% of total)

ival-mult: 1.3s (15.2% of total)

ival-cos: 1.2s (14.1% of total)

ival-tan: 711.0ms (8.1% of total)

ival-add: 681.0ms (7.7% of total)

ival-div: 491.0ms (5.6% of total)

ival-log: 410.0ms (4.6% of total)

ival-sin: 384.0ms (4.4% of total)

const: 362.0ms (4.1% of total)

ival-sub: 311.0ms (3.5% of total)

ival-sqrt: 260.0ms (2.9% of total)

ival-fmod: 241.0ms (2.7% of total)

ival-pow2: 177.0ms (2% of total)

ival-sinh: 168.0ms (1.9% of total)

ival-exp: 152.0ms (1.7% of total)

ival-pow: 128.0ms (1.5% of total)

ival-hypot: 86.0ms (1% of total)

ival-neg: 70.0ms (0.8% of total)

ival-asin: 64.0ms (0.7% of total)

ival-acos: 37.0ms (0.4% of total)

ival-pi: 36.0ms (0.4% of total)

exact: 20.0ms (0.2% of total)

ival-true: 15.0ms (0.2% of total)

ival-assert: 8.0ms (0.1% of total)

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

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

rewrite7.2s (5.7%)

Memory

-158.0MiB live, 6 503.4MiB allocated; 1.8s collecting garbage

Stop Event

208×	iter limit
46×	node limit
21×	unsound
4×	saturated

Counts

949 → 15 275

derivations4.7s (3.7%)

Memory

-31.3MiB live, 3 131.2MiB allocated; 643ms collecting garbage

Stop Event

12×	fuel
8×	done

Compiler

Compiled 3 744 to 1 018 computations (72.8% saved)

analyze4.6s (3.6%)

Memory

70.1MiB live, 4 124.4MiB allocated; 1.6s 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)

preprocess4.5s (3.5%)

Memory

-86.2MiB live, 3 810.6MiB allocated; 833ms collecting garbage

Stop Event

38×	iter limit
29×	node limit
13×	saturated

Compiler

Compiled 8 931 to 3 064 computations (65.7% saved)

regimes4.2s (3.3%)

Memory

-83.1MiB live, 5 107.2MiB allocated; 643ms collecting garbage

Counts

3 045 → 188

Calls

53 calls:

458.0ms	x
401.0ms	b
346.0ms	a
324.0ms	r
167.0ms	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))

Compiler

Compiled 1 785 to 2 051 computations (-14.9% saved)

explain3.6s (2.8%)

Memory

68.2MiB live, 3 680.4MiB allocated; 1.2s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	631	0
`cos.f64`	`#f`	sensitivity	486	0
`-.f64`	`#f`	cancellation	346	2
`sqrt.f64`	`#f`	uflow-rescue	304	0
`/.f64`	`#f`	n/o	258	0
`acos.f64`	`(acos.f64 (-.f64 #s(literal 1 binary64) x))`	sensitivity	254	0
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	sensitivity	245	0
`tan.f64`	`(tan.f64 (+.f64 y z))`	sensitivity	200	0
`pow.f64`	`(pow.f64 l (exp.f64 w))`	sensitivity	131	12
`*.f64`	`#f`	*no**	38	0
`*.f64`	`#f`	*nu**	28	0
`*.f64`	`#f`	*uo**	19	0
`-.f64`	`(-.f64 (.f64 a a) (.f64 b b))`	nan-rescue	13	0
↳	`(*.f64 a a)`	overflow	111
↳	`(*.f64 b b)`	overflow	13
`*.f64`	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`	*ou**	13	0
↳	`(pow.f64 c #s(literal 2 binary64))`	overflow	58
↳	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	underflow	75
↳	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	underflow	63
↳	`(pow.f64 s #s(literal 2 binary64))`	underflow	58
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	oflow-rescue	8	0
↳	`(sinh.f64 x)`	overflow	8
↳	`(/.f64 (sinh.f64 x) x)`	overflow	8
`exp.f64`	`(exp.f64 (neg.f64 w))`	sensitivity	2	1

Confusion

	Predicted +	Predicted -
+	2236	267
-	679	1938

Precision

0.7670668953687821

Recall

0.8933280063923292

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2236	2	265
-	679	13	1925

Precision?

0.7638225255972696

Recall?

0.8941270475429485

Freqs

test

number	freq
0	2205
1	2854
2	61

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

687.0ms	6 682×	0	valid
593.0ms	2 466×	1	valid
498.0ms	98×	5	exit
352.0ms	994×	2	valid

Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions

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

ival-cos: 499.0ms (28.2% of total)

ival-sin: 374.0ms (21.1% of total)

adjust: 141.0ms (8% of total)

ival-tan: 131.0ms (7.4% of total)

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

ival-sqrt: 86.0ms (4.9% of total)

ival-mult: 70.0ms (4% of total)

ival-exp: 63.0ms (3.6% of total)

ival-sub: 44.0ms (2.5% of total)

ival-fmod: 39.0ms (2.2% of total)

ival-add: 38.0ms (2.1% of total)

ival-sinh: 37.0ms (2.1% of total)

ival-div: 30.0ms (1.7% of total)

ival-acos: 30.0ms (1.7% of total)

ival-pow2: 22.0ms (1.2% of total)

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

ival-true: 9.0ms (0.5% of total)

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

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

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

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

exact: 2.0ms (0.1% of total)

eval3.3s (2.6%)

Memory: 56.4MiB live, 3 918.2MiB allocated; 664ms collecting garbage
Compiler: Compiled 758 567 to 82 797 computations (89.1% saved)

series3.1s (2.4%)

Memory

139.7MiB live, 3 513.9MiB allocated; 744ms collecting garbage

Counts

949 → 4 972

Calls

387 calls:

Time	Variable		Point	Expression
112.0ms	x	@	inf	((* (* (* (+ (* (* x x) 1/2835) -1/180) x) x) x) (log (/ (sinh x) x)) (* (+ (* x 1/6) (* (* (* (+ (* (* x x) 1/2835) -1/180) x) x) x)) x) (+ (* x 1/6) (* (* (* (+ (* (* x x) 1/2835) -1/180) x) x) x)) (log (/ (sinh x) x)) (* (* (+ (* (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (* x x)) 1/6) x) x) (* (+ (* (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (* x x)) 1/6) x) (+ (* (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (* x x)) 1/6) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* x x) 1/6) 1) (* x x) (log (/ (sinh x) x)) (* (* (+ (* (+ (* 1/2835 (* x x)) -1/180) (* x x)) 1/6) x) x) (* (- (- (/ 1/6 (pow x 4)) -1/2835) (/ 1/180 (* x x))) (pow x 6)) (- (- (/ 1/6 (pow x 4)) -1/2835) (/ 1/180 (* x x))) (- (- (log (* 2 (sinh x))) (log 2)) (log x)) (- (log (* 2 (sinh x))) (log 2)) (log (* 2 (sinh x))) (* 2 (sinh x)) (* (+ (* (* x x) 1/2835) -1/180) x) (* (* (+ (* (* x x) 1/2835) -1/180) x) x) (/ 1/180 (* x x)) (sinh x))
80.0ms	x	@	0	((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x))
72.0ms	l	@	0	((* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (neg w) (pow l (exp w)) (exp w))
65.0ms	lo	@	inf	((exp (* (log (/ (neg lo) hi)) 3)) (/ (- x lo) (- hi lo)) (/ (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo)) hi) (* (log (/ (neg lo) hi)) 3) (/ (- x lo) (- hi lo)) (- 1 (/ x lo)) (/ x lo) (- (/ (+ (* (/ (- x lo) hi) lo) x) hi) (/ lo hi)) (/ (- x lo) (- hi lo)) (/ (+ (* (/ (- x lo) hi) lo) x) hi) (+ (* (/ (- x lo) hi) lo) x) (/ (- x lo) (- hi lo)) (/ (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo)) hi) (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo)) (+ (* (+ (* (- (/ (/ (- x lo) hi) hi) (/ 1 hi)) lo) (- (/ x hi) 1)) lo) x) (+ (* (/ (/ (+ (* -1 (/ lo hi)) -1) hi) x) x) (/ (/ x hi) hi)) (+ (* -1 (/ lo hi)) -1) (/ (- x lo) (- hi lo)) (/ (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo)) hi) (log (/ (neg lo) hi)) (- (/ (/ (- x lo) hi) hi) (/ 1 hi)) (+ (* (- (/ (/ (- x lo) hi) hi) (/ 1 hi)) lo) (- (/ x hi) 1)))
60.0ms	x	@	-inf	((* (* (* (+ (* (* x x) 1/2835) -1/180) x) x) x) (log (/ (sinh x) x)) (* (+ (* x 1/6) (* (* (* (+ (* (* x x) 1/2835) -1/180) x) x) x)) x) (+ (* x 1/6) (* (* (* (+ (* (* x x) 1/2835) -1/180) x) x) x)) (log (/ (sinh x) x)) (* (* (+ (* (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (* x x)) 1/6) x) x) (* (+ (* (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (* x x)) 1/6) x) (+ (* (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (* x x)) 1/6) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* x x) 1/6) 1) (* x x) (log (/ (sinh x) x)) (* (* (+ (* (+ (* 1/2835 (* x x)) -1/180) (* x x)) 1/6) x) x) (* (- (- (/ 1/6 (pow x 4)) -1/2835) (/ 1/180 (* x x))) (pow x 6)) (- (- (/ 1/6 (pow x 4)) -1/2835) (/ 1/180 (* x x))) (- (- (log (* 2 (sinh x))) (log 2)) (log x)) (- (log (* 2 (sinh x))) (log 2)) (log (* 2 (sinh x))) (* 2 (sinh x)) (* (+ (* (* x x) 1/2835) -1/180) x) (* (* (+ (* (* x x) 1/2835) -1/180) x) x) (/ 1/180 (* x x)) (sinh x))

prune2.2s (1.8%)

Memory: 59.0MiB live, 2 953.1MiB allocated; 322ms collecting garbage
Counts: 21 275 → 1 584
Compiler: Compiled 94 342 to 45 986 computations (51.3% saved)

bsearch1.3s (1%)

Memory

77.9MiB live, 1 142.6MiB allocated; 122ms collecting garbage

Algorithm

49×	binary-search
11×	left-value

Stop Event

42×	narrow-enough
6×	predicate-failed
1×	predicate-same

Samples

620.0ms	1 969×	1	valid
296.0ms	2 399×	0	valid
71.0ms	606×	0	invalid
2.0ms	22×	0	exit

Compiler

Compiled 13 071 to 10 728 computations (17.9% saved)

Precisions

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

ival-tan: 124.0ms (15.2% of total)

adjust: 123.0ms (15.1% of total)

ival-sin: 100.0ms (12.2% of total)

ival-cos: 97.0ms (11.9% of total)

ival-add: 92.0ms (11.3% of total)

ival-div: 65.0ms (8% of total)

ival-pow: 62.0ms (7.6% of total)

ival-mult: 45.0ms (5.5% of total)

ival-exp: 35.0ms (4.3% of total)

ival-pow2: 17.0ms (2.1% of total)

ival-fmod: 16.0ms (2% of total)

ival-sub: 11.0ms (1.3% of total)

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

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

ival-acos: 4.0ms (0.5% of total)

ival-true: 4.0ms (0.5% of total)

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

exact: 1.0ms (0.1% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

sample52.2s (41.3%)

simplify22.6s (17.8%)

localize13.1s (10.3%)

rewrite7.2s (5.7%)

derivations4.7s (3.7%)

analyze4.6s (3.6%)

preprocess4.5s (3.5%)

regimes4.2s (3.3%)

explain3.6s (2.8%)

eval3.3s (2.6%)

series3.1s (2.4%)

prune2.2s (1.8%)

bsearch1.3s (1%)

start1.0ms (0%)

end0.0ms (0%)

Profiling