Metrics for Herbie run

Date:	Tuesday, October 22nd, 2024
Commit:	5ca06d70 on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024296
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

sample1.3min (27.2%)

Memory

954.6MiB live, 98 473.5MiB allocated

Samples

53.8s	262 279×	0	valid
2.1s	7 965×	1	valid
2.1s	11 045×	0	invalid
636.0ms	2 203×	2	valid
306.0ms	1 589×	1	exit
275.0ms	687×	1	invalid
0.0ms	1×	3	valid

Precisions

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

ival-mult: 9.6s (20.1% of total)

ival-<=: 6.7s (14% of total)

const: 6.3s (13.1% of total)

ival-div: 4.3s (8.9% of total)

ival-add: 2.1s (4.5% of total)

ival-sub: 1.9s (4% of total)

ival-fabs: 1.8s (3.8% of total)

ival-log: 1.5s (3.2% of total)

ival-sqrt: 1.5s (3.1% of total)

ival-exp: 1.2s (2.5% of total)

ival-and: 1.2s (2.5% of total)

ival-sinu: 1.0s (2.1% of total)

ival-sin: 981.0ms (2.1% of total)

ival-pow: 853.0ms (1.8% of total)

ival-neg: 767.0ms (1.6% of total)

ival-floor: 763.0ms (1.6% of total)

exact: 470.0ms (1% of total)

ival-cosu: 428.0ms (0.9% of total)

ival-cos: 427.0ms (0.9% of total)

ival-pow2: 406.0ms (0.9% of total)

ival-e: 388.0ms (0.8% of total)

ival-tan: 373.0ms (0.8% of total)

adjust: 372.0ms (0.8% of total)

ival-pi: 307.0ms (0.6% of total)

ival-fmax: 270.0ms (0.6% of total)

ival-log2: 231.0ms (0.5% of total)

ival-<: 216.0ms (0.5% of total)

ival-log1p: 206.0ms (0.4% of total)

ival-if: 205.0ms (0.4% of total)

ival->: 181.0ms (0.4% of total)

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

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

ival-asin: 134.0ms (0.3% of total)

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

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

ival-sinh: 77.0ms (0.2% of total)

ival-true: 23.0ms (0% of total)

Bogosity

simplify37.6s (12.7%)

Memory

696.0MiB live, 34 866.2MiB allocated

Algorithm

225×	egg-herbie

Stop Event

303×	iter limit
172×	node limit
50×	saturated
3×	unsound

Counts

12 583 → 12 506

regimes33.7s (11.4%)

Memory

113.0MiB live, 43 294.6MiB allocated

Counts

15 661 → 340

Calls

120 calls:

2.4s	s
1.4s	(*.f32 uy #s(literal 2 binary32))
1.2s	u
1.2s	uy
1.1s	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))

Compiler

Compiled 10 660 to 10 895 computations (-2.2% saved)

soundness30.2s (10.3%)

Memory

171.6MiB live, 20 923.9MiB allocated

Stop Event

230×	iter limit
152×	node limit
25×	fuel
1×	unsound

Compiler

Compiled 28 699 to 12 153 computations (57.7% saved)

analyze21.8s (7.4%)

Memory

22.3MiB live, 26 010.2MiB allocated

Algorithm

33×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	11.5%	88.5%	0%	0%	0%	0
52.8%	6.1%	5.4%	88.5%	0%	0%	0%	1
54.4%	6.2%	5.2%	88.5%	0%	0%	0%	2
54.5%	6.3%	5.2%	88.5%	0%	0%	0%	3
55.4%	6.4%	5.1%	88.5%	0%	0%	0%	4
62.6%	7.2%	4.3%	88.5%	0%	0%	0%	5
66.9%	7.6%	3.8%	88.5%	0%	0.1%	0%	6
76.4%	8.4%	2.6%	88.5%	0%	0.4%	0%	7
76.8%	8.5%	2.6%	88.5%	0%	0.4%	0%	8
81.4%	9%	2%	88.5%	0%	0.4%	0%	9
85.1%	9.3%	1.6%	88.5%	0%	0.5%	0%	10
86.3%	9.4%	1.5%	88.5%	0%	0.5%	0%	11
87.3%	9.5%	1.4%	88.5%	0%	0.6%	0%	12

Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

rewrite21.7s (7.4%)

Memory

-371.7MiB live, 23 683.8MiB allocated

Stop Event

210×	iter limit
96×	node limit
4×	unsound

Counts

1 933 → 71 538

localize16.8s (5.7%)

Memory

-462.0MiB live, 19 062.7MiB allocated

Samples

8.2s	21 334×	0	valid
2.2s	1 923×	1	valid
688.0ms	1 040×	0	invalid
444.0ms	813×	0	exit
185.0ms	185×	2	valid
120.0ms	60×	5	exit
110.0ms	163×	1	exit
83.0ms	82×	2	exit

Compiler

Compiled 85 328 to 9 247 computations (89.2% saved)

Precisions

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

ival-mult: 3.0s (32.4% of total)

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

ival-add: 822.0ms (9% of total)

ival-sub: 470.0ms (5.1% of total)

ival-pow: 445.0ms (4.9% of total)

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

ival-sqrt: 364.0ms (4% of total)

ival-pow2: 305.0ms (3.3% of total)

ival-neg: 295.0ms (3.2% of total)

adjust: 261.0ms (2.9% of total)

const: 234.0ms (2.6% of total)

ival-exp: 219.0ms (2.4% of total)

ival-sinu: 212.0ms (2.3% of total)

ival-sin: 147.0ms (1.6% of total)

ival-expm1: 105.0ms (1.2% of total)

ival-log1p: 86.0ms (0.9% of total)

ival-cosu: 86.0ms (0.9% of total)

ival-pi: 55.0ms (0.6% of total)

exact: 50.0ms (0.5% of total)

ival-e: 39.0ms (0.4% of total)

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

ival-fabs: 26.0ms (0.3% of total)

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

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

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

eval15.3s (5.2%)

Memory: 387.5MiB live, 21 155.1MiB allocated
Compiler: Compiled 4 074 629 to 382 737 computations (90.6% saved)

series10.6s (3.6%)

Memory

-21.8MiB live, 12 859.5MiB allocated

Counts

1 933 → 12 583

Calls

864 calls:

Time	Variable		Point	Expression
351.0ms	sinTheta_i	@	-inf	((* (neg sinTheta_O) (* -1 (- (/ (+ 6931/10000 (- (log (/ 1/2 v)) (/ 1 v))) sinTheta_O) (/ sinTheta_i v)))) (* -1 (- (/ (+ 6931/10000 (- (log (/ 1/2 v)) (/ 1 v))) sinTheta_O) (/ sinTheta_i v))) (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (exp (- (+ 6931/10000 (log (/ 1/2 v))) (+ (/ 1 v) (/ (* sinTheta_O sinTheta_i) v)))) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (* (exp (- (log (* 2 v)) (/ (- (* cosTheta_i cosTheta_O) (* sinTheta_i sinTheta_O)) v))) (exp (- (/ 1 v) 6931/10000))) (exp (- (log (* 2 v)) (/ (- (* cosTheta_i cosTheta_O) (* sinTheta_i sinTheta_O)) v))) (- (log (* 2 v)) (/ (- (* cosTheta_i cosTheta_O) (* sinTheta_i sinTheta_O)) v)) (log (* 2 v)) (/ (exp (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v))) (exp (- (/ 1 v) 6931/10000))) (/ (- (* (- (log 1/2) (log v)) v) (* sinTheta_i sinTheta_O)) v) (exp (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v))) (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v)) (/ (+ 6931/10000 (- (log (/ 1/2 v)) (/ 1 v))) sinTheta_O) (- (log (/ 1/2 v)) (/ 1 v)) (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) (/ (- (* cosTheta_i cosTheta_O) (* sinTheta_i sinTheta_O)) v) (exp (- (/ 1 v) 6931/10000)) (- (log 1/2) (log v)))
162.0ms	v	@	0	((+ (+ u (exp (/ -2 v))) (* (neg u) (exp (/ -2 v)))) (+ 1 (* v (log (+ (+ u (exp (/ -2 v))) (* (neg u) (exp (/ -2 v))))))) (* v (log (+ (+ u (exp (/ -2 v))) (* (neg u) (exp (/ -2 v)))))) (log (+ (+ u (exp (/ -2 v))) (* (neg u) (exp (/ -2 v))))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+ (* (/ (* (- 1 u) (+ (* -4 (- 1 u)) 4)) v) 1/2) (* (- 1 u) -2)) (+ (* -4 (- 1 u)) 4) (* (- 1 u) (+ (* -4 (- 1 u)) 4)) (* (- 1 u) -2) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (- 1 (/ (* (- 1 u) (- 2 (/ 2 v))) v)) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ (* (pow (- 1 u) 3) -16) (* (- 1 u) (+ (* 24 (- 1 u)) -8))) (+ (* (/ (+ (* (pow (- 1 u) 3) -16) (* (- 1 u) (+ (* 24 (- 1 u)) -8))) (* v v)) 1/6) (+ (* (/ (* (- 1 u) (+ (* -4 (- 1 u)) 4)) v) 1/2) (+ (* (- 1 u) -2) 1))) (+ (* (/ (* (- 1 u) (+ (* -4 (- 1 u)) 4)) v) 1/2) (+ (* (- 1 u) -2) 1)) (exp (/ -2 v)) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (/ (* (- 1 u) (+ (* -4 (- 1 u)) 4)) v) (+ u (* (- 1 u) (exp (/ -2 v)))) (* (- 1 u) (- 2 (/ 2 v))) (/ (* (- 1 u) (- 2 (/ 2 v))) v) (+ (* 24 (- 1 u)) -8) (+ (* (- 1 u) -2) 1))
143.0ms	s	@	0	((log (/ 1 (+ (- (/ (/ (* u u) (+ 1/4 u)) -3/4) (/ (/ 1/16 (+ 1/4 u)) -3/4)) 1))) (/ (/ 1/16 (+ 1/4 u)) -3/4) (/ (/ (* u u) (+ 1/4 u)) -3/4) (* (* 3 s) (log (/ 1 (+ (- (/ (/ (* u u) (+ 1/4 u)) -3/4) (/ (/ 1/16 (+ 1/4 u)) -3/4)) 1)))) (* (* (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) 3) s) (* (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) 3) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (+ (* (+ (* 1/2 u) 1) u) (log 3/4)) (* (* (neg (log (+ 1 (+ (* u 4/3) -1/3)))) s) 3) (* (neg (log (+ 1 (+ (* u 4/3) -1/3)))) s) (neg (log (+ 1 (+ (* u 4/3) -1/3)))) (log (+ 1 (+ (* u 4/3) -1/3))) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (log (/ 1 (+ (* 4/3 (- u 1/4)) 1))) (+ (* 4/3 (- u 1/4)) 1) (* (* 3 s) (log (/ 1 (+ (* 4/3 (- u 1/4)) 1)))) (+ (- (/ (/ (* u u) (+ 1/4 u)) -3/4) (/ (/ 1/16 (+ 1/4 u)) -3/4)) 1) (- (/ (/ (* u u) (+ 1/4 u)) -3/4) (/ (/ 1/16 (+ 1/4 u)) -3/4)) (/ (* u u) (+ 1/4 u)) (+ (* u 4/3) -1/3) (+ (* u u) 1) (+ (* 3/4 u) 3/4) (/ 1 (+ (* 4/3 (- u 1/4)) 1)))
120.0ms	u1	@	inf	((* (sqrt (neg (log (- 1 u1)))) (sin (* (* 2 (PI)) u2))) (sqrt (neg (log (- 1 u1)))) (/ (neg (neg (pow u1 3/2))) u1) (neg (neg (pow u1 3/2))) (* (sin (* (* u2 2) (PI))) (sqrt (neg (log (- 1 u1))))) (sin (* (* u2 2) (PI))) (* (* (PI) u2) 2) (* (PI) u2) (* (* (* (sin (* u2 (PI))) (cos (* u2 (PI)))) 2) (sqrt (neg (log (- 1 u1))))) (* (* (sin (* u2 (PI))) (cos (* u2 (PI)))) 2) (* (sin (* u2 (PI))) (cos (* u2 (PI)))) (sin (* u2 (PI))) (exp (* (log (pow u1 1/4)) 2)) (* (sqrt (neg (log (- 1 u1)))) (sin (* (* 2 (PI)) u2))) (sqrt (neg (log (- 1 u1)))) (* (log (pow u1 1/4)) 2) (/ (/ 1 (- 1 (+ (* u1 u1) u1))) 1) (log (/ (/ 1 (- 1 (+ (* u1 u1) u1))) 1)) (+ (log (- 1 (pow u1 3))) (log (/ (/ 1 (- 1 (+ (* u1 u1) u1))) 1))) (log (- 1 (pow u1 3))) (PI) (* (* 2 (PI)) u2) (sqrt (neg (log (- 1 u1)))) (* u2 (PI)) (+ (* u1 u1) u1))
110.0ms	x	@	-inf	((+ 1 (* (- (pow (E) x) 1) y)) (log (+ 1 (* (- (pow (E) x) 1) y))) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (- (pow (E) x) 1) y) (- (pow (E) x) 1) (pow (E) x))

prune10.3s (3.5%)

Memory: -610.7MiB live, 15 490.5MiB allocated
Counts: 87 582 → 5 299
Compiler: Compiled 464 853 to 227 412 computations (51.1% saved)

explain9.4s (3.2%)

Memory

-101.6MiB live, 10 417.8MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1003	89
`-.f32`	`#f`	cancellation	385	29
`sqrt.f64`	`#f`	oflow-rescue	294	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	sensitivity	197	1
`-.f64`	`#f`	cancellation	187	0
`exp.f32`	`#f`	sensitivity	38	27
`sqrt.f64`	`#f`	uflow-rescue	12	0
`cos.f32`	`(cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))`	cancelation	2	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	oflow-rescue	1	0
↳	`(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)`	overflow	1
↳	`(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))`	overflow	1
↳	`(pow.f64 (E.f64) x)`	overflow	1
↳	`(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))`	overflow	1

Confusion

	Predicted +	Predicted -
+	1830	64
-	187	4319

Precision

0.9072880515617253

Recall

0.9662090813093981

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1830	32	32
-	187	113	4206

Precision?

0.8612395929694727

Recall?

0.9831045406546991

Freqs

test

number	freq
0	4383
1	1915
2	102

Total Confusion?

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

Precision?

0.9444444444444444

Recall?

0.7727272727272727

Samples

2.2s	12 104×	0	valid
529.0ms	550×	1	valid
50.0ms	146×	2	valid

Compiler

Compiled 14 930 to 3 251 computations (78.2% saved)

Precisions

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

ival-mult: 340.0ms (17% of total)

ival-add: 340.0ms (17% of total)

ival-sinu: 248.0ms (12.4% of total)

ival-pow: 239.0ms (12% of total)

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

ival-sub: 104.0ms (5.2% of total)

ival-sqrt: 100.0ms (5% of total)

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

ival-neg: 76.0ms (3.8% of total)

ival-sin: 55.0ms (2.8% of total)

ival-log1p: 46.0ms (2.3% of total)

ival-exp: 38.0ms (1.9% of total)

const: 33.0ms (1.7% of total)

ival-cosu: 26.0ms (1.3% of total)

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

adjust: 23.0ms (1.2% of total)

ival-pi: 20.0ms (1% of total)

ival-fabs: 17.0ms (0.9% of total)

ival-e: 16.0ms (0.8% of total)

ival-true: 13.0ms (0.7% of total)

exact: 13.0ms (0.7% of total)

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

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

preprocess6.5s (2.2%)

Memory

178.7MiB live, 5 811.5MiB allocated

Algorithm

25×	egg-herbie

Stop Event

50×	iter limit
30×	saturated
20×	node limit

Compiler

Compiled 43 208 to 15 699 computations (63.7% saved)

bsearch737.0ms (0.2%)

Memory

-30.9MiB live, 791.5MiB allocated

Algorithm

58×	left-value
37×	binary-search

Stop Event

37×	narrow-enough

Samples

309.0ms	958×	1	valid
98.0ms	1 003×	0	valid
52.0ms	82×	1	invalid
15.0ms	55×	2	valid
11.0ms	129×	0	invalid

Compiler

Compiled 10 998 to 8 847 computations (19.6% saved)

Precisions

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

ival-pow: 127.0ms (37.7% of total)

ival-e: 51.0ms (15.2% of total)

ival-mult: 39.0ms (11.6% of total)

adjust: 25.0ms (7.4% of total)

ival-sub: 24.0ms (7.1% of total)

ival-log1p: 19.0ms (5.6% of total)

ival-pow2: 16.0ms (4.8% of total)

ival-add: 11.0ms (3.3% of total)

ival-sqrt: 7.0ms (2.1% of total)

ival-fabs: 7.0ms (2.1% of total)

ival-div: 5.0ms (1.5% of total)

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

exact: 2.0ms (0.6% of total)

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

start3.0ms (0%)

Memory: 5.9MiB live, 5.9MiB allocated

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

sample1.3min (27.2%)

simplify37.6s (12.7%)

regimes33.7s (11.4%)

soundness30.2s (10.3%)

analyze21.8s (7.4%)

rewrite21.7s (7.4%)

localize16.8s (5.7%)

eval15.3s (5.2%)

series10.6s (3.6%)

prune10.3s (3.5%)

explain9.4s (3.2%)

preprocess6.5s (2.2%)

bsearch737.0ms (0.2%)

start3.0ms (0%)

end0.0ms (0%)

Profiling