Metrics for Herbie run

Date:	Sunday, January 5th, 2025
Commit:	1fb9ba99 on prune-once-before-extraction
Seed:	2025005
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:	117 016.6 MB

sample52.6s (40.8%)

Memory

401.5MiB live, 47 955.5MiB allocated; 15.4s collecting garbage

Samples

15.0s	16 482×	5	exit
11.6s	39 825×	1	valid
9.7s	108 978×	0	valid
5.5s	16 317×	2	valid
632.0ms	3 942×	0	invalid
111.0ms	1 370×	0	exit

Precisions

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

ival-exp: 4.4s (13.1% of total)

ival-pow: 4.1s (12.3% of total)

adjust: 3.6s (10.7% of total)

ival-log: 2.8s (8.5% of total)

ival-cos: 2.6s (7.9% of total)

const: 2.4s (7.4% of total)

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

ival-tan: 1.7s (5.1% of total)

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

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

ival-sqrt: 998.0ms (3% of total)

ival-div: 874.0ms (2.6% of total)

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

ival-add: 773.0ms (2.3% of total)

ival-sin: 658.0ms (2% of total)

ival-acos: 584.0ms (1.8% of total)

ival-<=: 534.0ms (1.6% of total)

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

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

ival-hypot: 223.0ms (0.7% of total)

ival->=: 133.0ms (0.4% of total)

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

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

ival-==: 105.0ms (0.3% of total)

exact: 87.0ms (0.3% of total)

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

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

ival->: 53.0ms (0.2% of total)

ival-atan: 45.0ms (0.1% of total)

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

Bogosity

simplify22.4s (17.4%)

Memory

-107.6MiB live, 19 378.4MiB allocated; 3.4s collecting garbage

Stop Event

230×	iter limit
139×	node limit
18×	saturated
9×	unsound

Counts

3 980 → 3 917

localize11.2s (8.7%)

Memory

211.0MiB live, 11 288.7MiB allocated; 1.7s collecting garbage

Samples

4.4s	5 300×	1	valid
2.4s	10 549×	0	valid
1.6s	1 468×	2	valid
621.0ms	108×	5	exit
171.0ms	560×	0	invalid
79.0ms	191×	0	exit

Compiler

Compiled 11 553 to 1 812 computations (84.3% saved)

Precisions

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

ival-mult: 1.5s (20.4% of total)

adjust: 999.0ms (13.4% of total)

ival-cos: 924.0ms (12.4% of total)

ival-div: 583.0ms (7.8% of total)

ival-add: 460.0ms (6.2% of total)

ival-tan: 429.0ms (5.8% of total)

ival-sin: 372.0ms (5% of total)

ival-sub: 343.0ms (4.6% of total)

ival-pow: 272.0ms (3.7% of total)

ival-sqrt: 258.0ms (3.5% of total)

const: 231.0ms (3.1% of total)

ival-pow2: 186.0ms (2.5% of total)

ival-exp: 171.0ms (2.3% of total)

ival-log: 166.0ms (2.2% of total)

ival-sinh: 163.0ms (2.2% of total)

ival-fmod: 66.0ms (0.9% of total)

ival-acos: 63.0ms (0.8% of total)

ival-asin: 62.0ms (0.8% of total)

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

ival-cosh: 37.0ms (0.5% of total)

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

exact: 21.0ms (0.3% of total)

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

ival-pi: 13.0ms (0.2% of total)

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

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

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

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

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

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

derivations10.0s (7.8%)

Memory

223.3MiB live, 6 197.3MiB allocated; 928ms collecting garbage

Stop Event

172×	iter limit
66×	node limit
16×	unsound
14×	fuel
6×	done

Compiler

Compiled 3 038 to 875 computations (71.2% saved)

rewrite6.9s (5.4%)

Memory

142.4MiB live, 5 668.7MiB allocated; 959ms collecting garbage

Stop Event

220×	iter limit
47×	node limit
22×	unsound
5×	saturated

Counts

1 002 → 14 509

preprocess4.8s (3.7%)

Memory

-0.1MiB live, 3 639.9MiB allocated; 1.3s collecting garbage

Stop Event

38×	iter limit
29×	node limit
13×	saturated

Compiler

Compiled 7 689 to 2 904 computations (62.2% saved)

regimes4.3s (3.3%)

Memory

70.6MiB live, 4 854.2MiB allocated; 627ms collecting garbage

Counts

2 648 → 156

Calls

53 calls:

578.0ms	x
416.0ms	a
401.0ms	r
286.0ms	b
178.0ms	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))

Compiler

Compiled 1 494 to 1 654 computations (-10.7% saved)

analyze4.1s (3.1%)

Memory

107.7MiB live, 3 754.4MiB 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)

eval3.5s (2.7%)

Memory: 266.3MiB live, 4 162.5MiB allocated; 746ms collecting garbage
Compiler: Compiled 707 827 to 77 260 computations (89.1% saved)

explain3.2s (2.5%)

Memory

-69.9MiB live, 3 179.7MiB allocated; 602ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	581	0
`cos.f64`	`#f`	sensitivity	518	0
`-.f64`	`#f`	cancellation	332	1
`sqrt.f64`	`#f`	uflow-rescue	262	0
`/.f64`	`#f`	n/o	257	0
`acos.f64`	`(acos.f64 (-.f64 #s(literal 1 binary64) x))`	sensitivity	254	1
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	sensitivity	245	0
`tan.f64`	`(tan.f64 (+.f64 y z))`	sensitivity	188	0
`pow.f64`	`(pow.f64 l (exp.f64 w))`	sensitivity	122	17
`*.f64`	`#f`	*no**	41	0
`*.f64`	`#f`	*nu**	38	0
`*.f64`	`#f`	*uo**	23	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	74
↳	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	underflow	75
↳	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	underflow	67
↳	`(pow.f64 s #s(literal 2 binary64))`	underflow	62
`-.f64`	`(-.f64 (.f64 a a) (.f64 b b))`	nan-rescue	12	0
↳	`(*.f64 a a)`	overflow	111
↳	`(*.f64 b b)`	overflow	12
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	oflow-rescue	5	0
↳	`(sinh.f64 x)`	overflow	5
↳	`(/.f64 (sinh.f64 x) x)`	overflow	5
`exp.f64`	`(exp.f64 (neg.f64 w))`	sensitivity	2	1

Confusion

	Predicted +	Predicted -
+	2135	266
-	683	2036

Precision

0.7576295244854506

Recall

0.8892128279883382

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2135	1	265
-	683	19	2017

Precision?

0.7526427061310782

Recall?

0.8896293211162016

Freqs

test

number	freq
0	2302
1	2742
2	73
3	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	17	0	1
-	0	0	2

Precision?

1.0

Recall?

0.9444444444444444

Samples

625.0ms	108×	5	exit
555.0ms	6 654×	0	valid
511.0ms	2 532×	1	valid
350.0ms	946×	2	valid

Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions

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

ival-cos: 592.0ms (37.8% of total)

ival-sqrt: 197.0ms (12.6% of total)

adjust: 126.0ms (8.1% of total)

ival-tan: 87.0ms (5.6% of total)

ival-mult: 84.0ms (5.4% of total)

ival-log: 60.0ms (3.8% of total)

ival-add: 59.0ms (3.8% of total)

ival-sinh: 59.0ms (3.8% of total)

ival-acos: 50.0ms (3.2% of total)

ival-exp: 43.0ms (2.7% of total)

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

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

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

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

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

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

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

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

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

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

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

exact: 2.0ms (0.1% of total)

series2.9s (2.2%)

Memory

158.6MiB live, 3 294.2MiB allocated; 583ms collecting garbage

Counts

1 002 → 3 980

Calls

393 calls:

Time	Variable		Point	Expression
96.0ms	l	@	inf	((pow (sqrt (pow l (exp w))) 2) (* (exp (neg w)) (pow (sqrt (pow l (exp w))) 2)) (exp (neg w)) (neg w) (* (exp (neg w)) (pow l (exp w))) (+ (* (+ (* (log l) l) (neg l)) w) l) (+ (* (log l) l) (neg l)) (log l) (* (exp (neg w)) (pow l (exp w))) (pow l (exp w)) (- (* (+ (* -1/6 w) 1/2) w) 1) (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (+ (* (- (* (+ (* -1/6 w) 1/2) w) 1) w) 1) (exp (log l)) (* (exp (neg w)) (pow l (exp w))) (pow l (exp w)) (sqrt (pow l (exp w))) (exp w) (+ (* -1/6 w) 1/2) (pow (exp (log l)) (exp w)) (pow l (exp w)))
83.0ms	x	@	inf	((log (/ (sinh x) x)) (* (/ (* (- (pow (* -1/180 (* x x)) 2) 1/36) x) (- (* -1/180 (* x x)) 1/6)) x) (/ (* (- (pow (* -1/180 (* x x)) 2) 1/36) x) (- (* -1/180 (* x x)) 1/6)) (* (- (pow (* -1/180 (* x x)) 2) 1/36) x) (log (/ (sinh x) x)) (* (+ (* -1/180 (* x x)) 1/6) (* x x)) (+ (* -1/180 (* x x)) 1/6) (* x x) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* 1/120 (* x x)) 1/6) (* x x)) 1) (+ (* 1/120 (* x x)) 1/6) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (* x x)) 1) (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (log (/ (sinh x) x)) (/ (* (* (+ (* 1/32400 (pow x 4)) -1/36) x) x) (- (* -1/180 (* x x)) 1/6)) (* (* (+ (* 1/32400 (pow x 4)) -1/36) x) x) (* (+ (* 1/32400 (pow x 4)) -1/36) x) (* -1/36 x) (+ (* 1/5040 (* x x)) 1/120) (* -1/180 (* x x)))
82.0ms	lo	@	inf	((+ (cosh (* (log (/ (neg lo) hi)) 3)) (sinh (* (log (/ (neg lo) hi)) 3))) (/ (- x lo) (- hi lo)) (/ (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo)) hi) (cosh (* (log (/ (neg lo) hi)) 3)) (/ (- x lo) (- hi lo)) (- 1 (/ x lo)) (/ x lo) (+ (* (+ (* (/ (- hi x) lo) hi) hi) -1) x) (/ (- x lo) (- hi lo)) (+ (* (- (/ (+ (* (- (/ 1 lo) (/ (/ x lo) lo)) hi) 1) lo) (/ (/ x lo) lo)) hi) (- 1 (/ x lo))) (- 1 (/ (+ (* (+ (* (/ (- hi x) lo) hi) hi) -1) x) lo)) (+ (* (/ (- 1 (/ x lo)) lo) hi) (- 1 (/ x lo))) (/ (- x lo) (- hi lo)) (+ (* (- (/ (+ (* (- (/ 1 lo) (/ (/ x lo) lo)) hi) 1) lo) (/ (/ x lo) lo)) hi) (- 1 (/ x lo))) (- (/ (+ (* (- (/ 1 lo) (/ (/ x lo) lo)) hi) 1) lo) (/ (/ x lo) lo)) (pow (pow (/ (neg lo) hi) 3/2) 2) (/ (- x lo) (- hi lo)) (/ (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo)) hi) (pow (/ (neg lo) hi) 3/2) (log (/ (neg lo) hi)) (+ (* (/ (- hi x) lo) hi) hi) (/ (+ (* (+ (* (/ (- hi x) lo) hi) hi) -1) x) lo) (/ (+ (* (/ (- 1 (/ x lo)) lo) hi) (- 1 (/ x lo))) lo))
69.0ms	x	@	0	((sqrt (+ (* x x) (* x x))) (* (sqrt 2) x) (sqrt 2) (sqrt (* 2 (pow x 2))) (* x (neg (sqrt 2))) (neg (sqrt 2)) (sqrt (* x (+ x x))) (* x (+ x x)) (+ x x) (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (pow (* (* x x) 2) 1/4) (* (* x x) 2) (* x x))
62.0ms	x	@	inf	((* (sqrt x) (sqrt (* 2 x))) (sqrt x) (sqrt (* 2 x)) (* 2 x) (* (pow (* (* x x) 2) 1/4) (* (pow (* x x) 1/4) (pow 2 1/4))) (pow (* (* x x) 2) 1/4) (* (* x x) 2) (* x x) (pow (pow (* (* x x) 2) 1/4) 2) (pow (* x x) 1/4) (* (pow (* x x) 1/4) (pow 2 1/4)))

prune2.3s (1.8%)

Memory: -392.1MiB live, 3 023.1MiB allocated; 348ms collecting garbage
Counts: 20 440 → 1 578
Compiler: Compiled 94 842 to 46 435 computations (51% saved)

bsearch771.0ms (0.6%)

Memory

44.0MiB live, 618.8MiB allocated; 107ms collecting garbage

Algorithm

39×	binary-search
9×	left-value

Stop Event

38×	narrow-enough
1×	predicate-same

Samples

279.0ms	755×	1	valid
274.0ms	2 477×	0	valid

Compiler

Compiled 10 330 to 8 202 computations (20.6% saved)

Precisions

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

adjust: 167.0ms (42.5% of total)

ival-mult: 53.0ms (13.5% of total)

ival-cos: 41.0ms (10.4% of total)

ival-tan: 38.0ms (9.7% of total)

ival-pow2: 28.0ms (7.1% of total)

ival-add: 14.0ms (3.6% of total)

ival-div: 12.0ms (3.1% of total)

ival-sin: 12.0ms (3.1% of total)

ival-exp: 6.0ms (1.5% of total)

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

ival-sub: 4.0ms (1% of total)

ival-sqrt: 4.0ms (1% of total)

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

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

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

exact: 1.0ms (0.3% of total)

ival-neg: 1.0ms (0.3% 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

sample52.6s (40.8%)

simplify22.4s (17.4%)

localize11.2s (8.7%)

derivations10.0s (7.8%)

rewrite6.9s (5.4%)

preprocess4.8s (3.7%)

regimes4.3s (3.3%)

analyze4.1s (3.1%)

eval3.5s (2.7%)

explain3.2s (2.5%)

series2.9s (2.2%)

prune2.3s (1.8%)

bsearch771.0ms (0.6%)

start1.0ms (0%)

end0.0ms (0%)

Profiling