Metrics for Herbie run

Date:	Sunday, December 29th, 2024
Commit:	fbbe2c7d on main
Seed:	2024364
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:	126 898.0 MB

sample49.7s (37.9%)

Memory

553.9MiB live, 47 974.3MiB allocated; 15.6s collecting garbage

Samples

14.2s	16 546×	5	exit
10.7s	39 783×	1	valid
8.6s	108 807×	0	valid
5.8s	16 530×	2	valid
804.0ms	3 881×	0	invalid
118.0ms	1 377×	0	exit

Precisions

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

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

ival-pow: 3.7s (11.5% of total)

adjust: 3.3s (10.3% of total)

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

const: 2.3s (7.3% of total)

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

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

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

ival-div: 1.3s (4% of total)

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

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

ival-fmod: 969.0ms (3% of total)

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

ival-add: 713.0ms (2.2% of total)

ival-sub: 692.0ms (2.2% of total)

ival-<=: 669.0ms (2.1% of total)

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

ival-acos: 606.0ms (1.9% of total)

ival-==: 468.0ms (1.5% of total)

ival-hypot: 256.0ms (0.8% of total)

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

ival-and: 118.0ms (0.4% of total)

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

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

exact: 75.0ms (0.2% of total)

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

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

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

ival->=: 23.0ms (0.1% of total)

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

Bogosity

simplify20.1s (15.3%)

Memory

21.5MiB live, 18 187.1MiB allocated; 4.1s collecting garbage

Stop Event

206×	iter limit
117×	node limit
47×	saturated

Counts

4 265 → 4 202

localize13.6s (10.4%)

Memory

300.5MiB live, 13 626.9MiB allocated; 2.0s collecting garbage

Samples

5.2s	5 009×	1	valid
2.5s	1 731×	2	valid
2.2s	9 841×	0	valid
1.3s	194×	5	exit
268.0ms	905×	0	invalid
83.0ms	240×	0	exit

Compiler

Compiled 13 561 to 1 967 computations (85.5% saved)

Precisions

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

adjust: 1.5s (16.3% of total)

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

ival-cos: 1.3s (14.2% of total)

ival-pow: 961.0ms (10.4% of total)

ival-div: 609.0ms (6.6% of total)

ival-add: 540.0ms (5.8% of total)

ival-sin: 422.0ms (4.6% of total)

ival-sub: 401.0ms (4.3% of total)

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

ival-sqrt: 286.0ms (3.1% of total)

ival-log: 233.0ms (2.5% of total)

const: 231.0ms (2.5% of total)

ival-pow2: 174.0ms (1.9% of total)

ival-exp: 117.0ms (1.3% of total)

ival-neg: 115.0ms (1.2% of total)

ival-sinh: 106.0ms (1.1% of total)

ival-acos: 99.0ms (1.1% of total)

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

ival-pi: 49.0ms (0.5% of total)

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

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

ival-asin: 33.0ms (0.4% of total)

exact: 22.0ms (0.2% of total)

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

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

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

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

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

derivations10.7s (8.1%)

Memory

75.0MiB live, 6 592.5MiB allocated; 895ms collecting garbage

Stop Event

137×	iter limit
65×	node limit
11×	fuel
9×	unsound
9×	done
6×	saturated

Compiler

Compiled 2 890 to 873 computations (69.8% saved)

rewrite10.5s (8%)

Memory

-98.7MiB live, 10 336.6MiB allocated; 1.8s collecting garbage

Stop Event

170×	iter limit
55×	node limit
13×	unsound
5×	saturated

Counts

1 000 → 24 445

eval6.3s (4.8%)

Memory: 234.2MiB live, 7 531.9MiB allocated; 2.1s collecting garbage
Compiler: Compiled 1 534 134 to 140 085 computations (90.9% saved)

regimes4.1s (3.1%)

Memory

-99.0MiB live, 5 208.2MiB allocated; 618ms collecting garbage

Counts

2 524 → 146

Calls

53 calls:

471.0ms	x
408.0ms	a
354.0ms	b
311.0ms	r
175.0ms	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))

Compiler

Compiled 1 611 to 1 810 computations (-12.4% saved)

analyze3.8s (2.9%)

Memory

-114.7MiB live, 3 627.6MiB 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)

explain3.3s (2.5%)

Memory

-65.8MiB live, 3 641.7MiB allocated; 611ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	566	0
`cos.f64`	`#f`	sensitivity	524	0
`sqrt.f64`	`#f`	uflow-rescue	360	0
`-.f64`	`#f`	cancellation	342	3
`/.f64`	`#f`	n/o	258	0
`acos.f64`	`(acos.f64 (-.f64 #s(literal 1 binary64) x))`	sensitivity	255	0
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	sensitivity	244	0
`tan.f64`	`(tan.f64 (+.f64 y z))`	sensitivity	186	1
`pow.f64`	`(pow.f64 l (exp.f64 w))`	sensitivity	112	13
`*.f64`	`#f`	*nu**	36	0
`*.f64`	`#f`	*no**	31	0
`*.f64`	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`	*ou**	22	0
↳	`(pow.f64 c #s(literal 2 binary64))`	overflow	68
↳	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	underflow	76
↳	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	underflow	78
↳	`(pow.f64 s #s(literal 2 binary64))`	underflow	72
`-.f64`	`(-.f64 (.f64 a a) (.f64 b b))`	nan-rescue	18	0
↳	`(*.f64 a a)`	overflow	104
↳	`(*.f64 b b)`	overflow	18
`*.f64`	`#f`	*uo**	17	0
`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	1	1

Confusion

	Predicted +	Predicted -
+	2209	274
-	696	1941

Precision

0.7604130808950086

Recall

0.8896496173983085

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2209	2	272
-	696	16	1925

Precision?

0.7564146424905919

Recall?

0.8904550946435763

Freqs

test

number	freq
0	2215
1	2834
2	67
3	4

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

732.0ms	128×	5	exit
551.0ms	6 632×	0	valid
468.0ms	2 458×	1	valid
301.0ms	1 022×	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: 702.0ms (45.1% of total)

adjust: 119.0ms (7.6% of total)

ival-sqrt: 110.0ms (7.1% of total)

ival-mult: 95.0ms (6.1% of total)

ival-tan: 73.0ms (4.7% of total)

ival-exp: 71.0ms (4.6% of total)

ival-log: 65.0ms (4.2% of total)

ival-fmod: 41.0ms (2.6% of total)

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

ival-sin: 37.0ms (2.4% of total)

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

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

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

ival-acos: 33.0ms (2.1% of total)

ival-div: 29.0ms (1.9% 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: 5.0ms (0.3% of total)

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

exact: 2.0ms (0.1% of total)

series3.0s (2.3%)

Memory

16.0MiB live, 3 216.1MiB allocated; 675ms collecting garbage

Counts

1 000 → 4 265

Calls

390 calls:

Time	Variable		Point	Expression
116.0ms	a	@	inf	((/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (* r (sin b)) (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))) (/ (* r (sin b)) (cos (+ a b))) (* (/ r (cos a)) b) (/ r (cos a)) (cos a) (/ (* r (sin b)) (cos (+ a b))) (cos (+ a b)) (sin (+ (- (neg b) a) (/ (PI) 2))) (/ (* r (sin b)) (sin (+ (- (neg b) a) (/ (PI) 2)))) (/ (* r (sin b)) (cos (+ a b))) (cos (+ a b)) (* (sin a) (sin b)) (* (cos b) (cos a)) (cos b) (+ (- (neg b) a) (/ (PI) 2)) (* (* (cos a) -1/2) b))
102.0ms	l	@	0	((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))) (exp (neg w)) (+ (* (- (* 1/2 w) 1) w) 1) (- (* 1/2 w) 1) (exp (* (log l) (exp w))) (* (exp (neg w)) (exp (* (log l) (exp w)))) (* (pow l (sinh w)) (pow l (cosh w))) (* (exp (neg w)) (* (pow l (sinh w)) (pow l (cosh w)))) (pow l (exp w)) (sqrt (pow l (exp w))) (exp w) (* (log l) (exp w)) (pow l (cosh w)) (sinh w))
71.0ms	x	@	-inf	((log (/ (sinh x) x)) (* (* (+ (* (- (* 1/2835 (* x x)) 1/180) (* x x)) 1/6) x) x) (* (+ (* (- (* 1/2835 (* x x)) 1/180) (* x x)) 1/6) x) (+ (* (- (* 1/2835 (* x x)) 1/180) (* x x)) 1/6) (log (/ (sinh x) x)) (* (* x x) 1/6) (* x x) (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (* x x) 1/6) 1) (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)) (log x)) (log (sinh x)) (sinh x) (log x) (* 1/2835 (* x x)) (+ (* 1/5040 (* x x)) 1/120))
54.0ms	x	@	-inf	((acos (- 1 x)) (- 1 x) (neg x) (acos (- 1 x)) (- 1 x) (/ (- (pow (/ (PI) 2) 2) (pow (asin (- 1 x)) 2)) (+ (asin (- 1 x)) (/ (PI) 2))) (- (pow (/ (PI) 2) 2) (pow (asin (- 1 x)) 2)) (pow (/ (PI) 2) 2) (/ (PI) 2) (- (* (PI) (* 2 (+ (asin (- 1 x)) (/ (PI) 2)))) (* 2 (- (* (PI) (+ (asin (- 1 x)) (/ (PI) 2))) (* 2 (- (pow (/ (PI) 2) 2) (pow (asin (- 1 x)) 2)))))) (/ (- (* (PI) (* 2 (+ (asin (- 1 x)) (/ (PI) 2)))) (* 2 (- (* (PI) (+ (asin (- 1 x)) (/ (PI) 2))) (* 2 (- (pow (/ (PI) 2) 2) (pow (asin (- 1 x)) 2)))))) (* 2 (* 2 (+ (asin (- 1 x)) (/ (PI) 2))))) (- (* (PI) (+ (asin (- 1 x)) (/ (PI) 2))) (* 2 (- (pow (/ (PI) 2) 2) (pow (asin (- 1 x)) 2)))) (* 2 (* 2 (+ (asin (- 1 x)) (/ (PI) 2)))) (/ (- (* (PI) (+ (pow (/ (PI) 2) 2) (+ (pow (acos (- 1 x)) 2) (* (/ (PI) 2) (acos (- 1 x)))))) (* 2 (- (pow (/ (PI) 2) 3) (pow (acos (- 1 x)) 3)))) (* 2 (+ (pow (/ (PI) 2) 2) (+ (pow (acos (- 1 x)) 2) (* (/ (PI) 2) (acos (- 1 x))))))) (+ (pow (acos (- 1 x)) 2) (* (/ (PI) 2) (acos (- 1 x)))) (- (* (PI) (+ (pow (/ (PI) 2) 2) (+ (pow (acos (- 1 x)) 2) (* (/ (PI) 2) (acos (- 1 x)))))) (* 2 (- (pow (/ (PI) 2) 3) (pow (acos (- 1 x)) 3)))) (+ (pow (/ (PI) 2) 2) (+ (pow (acos (- 1 x)) 2) (* (/ (PI) 2) (acos (- 1 x))))) (asin (- 1 x)) (pow (asin (- 1 x)) 2) (acos (- 1 x)) (pow (/ (PI) 2) 3) (* (PI) (+ (pow (/ (PI) 2) 2) (+ (pow (acos (- 1 x)) 2) (* (/ (PI) 2) (acos (- 1 x)))))))
49.0ms	a	@	inf	((+ x (- (tan (+ y z)) (tan a))) (- (tan (+ y z)) (tan a)) (tan (+ y z)) (+ y z) (tan a))

preprocess2.8s (2.2%)

Memory

194.5MiB live, 2 804.8MiB allocated; 577ms collecting garbage

Stop Event

38×	iter limit
27×	saturated
15×	node limit

Compiler

Compiled 7 395 to 2 910 computations (60.6% saved)

prune2.7s (2.1%)

Memory: -14.8MiB live, 3 647.3MiB allocated; 587ms collecting garbage
Counts: 35 172 → 1 454
Compiler: Compiled 85 538 to 41 890 computations (51% saved)

bsearch426.0ms (0.3%)

Memory

27.3MiB live, 501.7MiB allocated; 37ms collecting garbage

Algorithm

26×	binary-search
11×	left-value

Stop Event

23×	narrow-enough
2×	predicate-same
1×	predicate-failed

Samples

178.0ms	907×	1	valid
102.0ms	1 141×	0	valid
14.0ms	101×	0	invalid
1.0ms	13×	0	exit

Compiler

Compiled 6 708 to 5 474 computations (18.4% saved)

Precisions

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

ival-cos: 68.0ms (29.4% of total)

ival-exp: 42.0ms (18.2% of total)

ival-sin: 29.0ms (12.5% of total)

ival-add: 24.0ms (10.4% of total)

adjust: 22.0ms (9.5% of total)

ival-mult: 15.0ms (6.5% of total)

ival-div: 9.0ms (3.9% of total)

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

ival-pow2: 5.0ms (2.2% of total)

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

ival-neg: 3.0ms (1.3% of total)

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

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

ival-sub: 1.0ms (0.4% of total)

ival-fmod: 1.0ms (0.4% of total)

exact: 0.0ms (0% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

sample49.7s (37.9%)

simplify20.1s (15.3%)

localize13.6s (10.4%)

derivations10.7s (8.1%)

rewrite10.5s (8%)

eval6.3s (4.8%)

regimes4.1s (3.1%)

analyze3.8s (2.9%)

explain3.3s (2.5%)

series3.0s (2.3%)

preprocess2.8s (2.2%)

prune2.7s (2.1%)

bsearch426.0ms (0.3%)

start1.0ms (0%)

end0.0ms (0%)

Profiling