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

sample12.6s (22.5%)

Memory

322.9MiB live, 11 366.0MiB allocated

Samples

7.4s	70 203×	0	valid
858.0ms	4 094×	2	valid
282.0ms	2 019×	0	invalid
1.0ms	7×	1	valid

Precisions

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

ival-mult: 1.7s (29.2% of total)

ival-div: 1.0s (18.1% of total)

ival-sub: 986.0ms (17% of total)

ival-sqrt: 548.0ms (9.5% of total)

ival-add: 451.0ms (7.8% of total)

ival-neg: 248.0ms (4.3% of total)

ival-fabs: 202.0ms (3.5% of total)

adjust: 112.0ms (1.9% of total)

ival-log: 107.0ms (1.8% of total)

ival-if: 97.0ms (1.7% of total)

ival-exp: 80.0ms (1.4% of total)

ival->=: 78.0ms (1.3% of total)

exact: 58.0ms (1% of total)

ival-true: 57.0ms (1% of total)

ival-assert: 30.0ms (0.5% of total)

Bogosity

simplify9.9s (17.7%)

Memory

332.1MiB live, 7 942.5MiB allocated

Algorithm

71×	egg-herbie

Stop Event

91×	iter limit
40×	node limit
33×	saturated

Counts

2 887 → 2 858

soundness7.3s (13%)

Memory

-24.1MiB live, 3 543.6MiB allocated

Stop Event

42×	iter limit
27×	node limit
5×	done
4×	fuel
2×	saturated

Compiler

Compiled 7 816 to 3 073 computations (60.7% saved)

rewrite7.0s (12.5%)

Memory

-65.2MiB live, 6 459.3MiB allocated

Stop Event

66×	iter limit
29×	node limit
2×	unsound
1×	saturated

Counts

358 → 17 625

eval4.9s (8.8%)

Memory: 87.5MiB live, 5 503.5MiB allocated
Compiler: Compiled 974 372 to 82 957 computations (91.5% saved)

localize4.7s (8.4%)

Memory

27.3MiB live, 4 955.4MiB allocated

Samples

1.5s	6 316×	0	valid
929.0ms	940×	2	valid
879.0ms	565×	1	valid
218.0ms	114×	3	valid
0.0ms	1×	5	exit

Compiler

Compiled 14 940 to 1 662 computations (88.9% saved)

Precisions

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

ival-mult: 743.0ms (32.7% of total)

ival-div: 488.0ms (21.5% of total)

adjust: 324.0ms (14.3% of total)

ival-sub: 174.0ms (7.7% of total)

ival-add: 136.0ms (6% of total)

ival-sqrt: 104.0ms (4.6% of total)

ival-if: 58.0ms (2.6% of total)

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

ival-pow: 52.0ms (2.3% of total)

ival-log: 37.0ms (1.6% of total)

ival-fabs: 35.0ms (1.5% of total)

ival-neg: 31.0ms (1.4% of total)

exact: 11.0ms (0.5% of total)

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

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

ival->=: 7.0ms (0.3% of total)

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

explain2.6s (4.6%)

Memory

-223.6MiB live, 2 464.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	266
`sqrt.f64`	`#f`	oflow-rescue	261
`+.f64`	`#f`	cancellation	170
`sqrt.f64`	`#f`	uflow-rescue	76
`-.f64`	`#f`	nan-rescue	18
`*.f64`	`(*.f64 (/.f64 x y) z)`	*no**	9
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	5

Confusion

	Predicted +	Predicted -
+	307	3
-	301	1693

Precision

0.5049342105263158

Recall

0.9903225806451613

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	307	0	3
-	301	0	1693

Precision?

0.5049342105263158

Recall?

0.9903225806451613

Freqs

test

number	freq
0	1696
1	417
2	185
3	6

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	4	0	0
-	0	0	5

Precision?

1.0

Recall?

1.0

Samples

357.0ms	3 670×	0	valid
183.0ms	596×	2	valid
115.0ms	288×	1	valid
23.0ms	54×	3	valid

Compiler

Compiled 2 043 to 636 computations (68.9% saved)

Precisions

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

ival-sub: 89.0ms (22.5% of total)

ival-div: 81.0ms (20.5% of total)

adjust: 57.0ms (14.4% of total)

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

ival-sqrt: 34.0ms (8.6% of total)

ival-add: 30.0ms (7.6% of total)

ival-neg: 11.0ms (2.8% of total)

ival-if: 10.0ms (2.5% of total)

ival-log: 7.0ms (1.8% of total)

ival-fabs: 5.0ms (1.3% of total)

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

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

exact: 4.0ms (1% of total)

ival->=: 3.0ms (0.8% of total)

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

prune2.1s (3.7%)

Memory: -98.7MiB live, 2 277.4MiB allocated
Counts: 22 171 → 337
Compiler: Compiled 24 565 to 12 330 computations (49.8% saved)

preprocess1.6s (2.8%)

Memory

120.1MiB live, 1 257.4MiB allocated

Algorithm

9×	egg-herbie

Stop Event

18×	iter limit
13×	saturated
5×	node limit

Compiler

Compiled 6 953 to 1 290 computations (81.4% saved)

series1.1s (2%)

Memory

-99.7MiB live, 1 034.7MiB allocated

Counts

358 → 2 887

Calls

183 calls:

Time	Variable		Point	Expression
77.0ms	a	@	-inf	((/ (fabs (- a b)) 2) (fabs (- a b)) (- a b))
72.0ms	x	@	inf	((/ (neg x) (/ -1 x)) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (/ (neg x) (/ -1 x)) 1/2) (+ (* -1 (/ 1 (* (neg x) x))) -1) (- (log (+ 1 (/ 1 x))) (log (+ (* -1 (/ 1 (* (neg x) x))) -1))) (log (+ 1 (/ 1 x))) (/ 1 x) (neg x) (log (+ (* -1 (/ 1 (* (neg x) x))) -1)) (/ 1 (* (neg x) x)))
67.0ms	c	@	-inf	((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* -4 (* a c)) (* b b))) b)) (* (/ (- (sqrt (+ (* -4 (* a c)) (* b b))) b) a) 1/2)) (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* -4 (* a c)) (* b b))) b)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (/ (sqrt (- (* b b) (* (* 4 a) c))) (* 2 a)) (/ b (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) (if (>= b 0) (* (/ -2 (- (sqrt (+ (* a (* c -4)) (* b b))) b)) c) (* (/ 1/2 a) (- (sqrt (+ (* a (* c -4)) (* b b))) b))) (* (/ -2 (- (sqrt (+ (* a (* c -4)) (* b b))) b)) c) (/ -2 (- (sqrt (+ (* a (* c -4)) (* b b))) b)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (/ (* (* c 2) (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) (+ (* b b) (+ (* (* a 4) c) (* b b)))) (sqrt (+ (* -4 (* a c)) (* b b))) (- (sqrt (+ (* -4 (* a c)) (* b b))) b) (+ (sqrt (+ (* -4 (* a c)) (* b b))) b) (/ (- (sqrt (+ (* -4 (* a c)) (* b b))) b) a) (sqrt (- (* b b) (* (* 4 a) c))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (+ (* a (* c -4)) (* b b))) (- (sqrt (+ (* a (* c -4)) (* b b))) b) (* (/ 1/2 a) (- (sqrt (+ (* a (* c -4)) (* b b))) b)) (+ (* b b) (+ (* (* a 4) c) (* b b))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (+ (* (* -4 c) a) (* b b))))
47.0ms	c	@	-inf	((- (neg b) (/ 1 (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 c) (if (>= b 0) (* (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) c) (/ (- (sqrt (+ (* a (* c -4)) (* b b))) b) (* 2 a))) (* (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) c) (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (* (neg b) (* (/ -2 b) a)) (+ (* (* (neg b) (* (/ -2 b) a)) (/ c b)) (* -2 b)) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (sqrt (+ (* a (* c -4)) (* b b))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (sqrt (+ (* a (* c -4)) (* b b))) b) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* (neg b) (+ (* (/ -2 b) (* a (/ c b))) 2)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
47.0ms	a	@	-inf	((+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (>= b 0) (/ (+ (sqrt (+ (* (* -4 c) a) (* b b))) b) (* -2 a)) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* c (/ -2 (- b (sqrt (+ (* (* -4 c) a) (* b b))))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (/ c b) (/ b a)) (* (+ (* -4 c) (* b (/ b a))) a) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (+ (* (/ (pow b 3) c) 1/2) (* (* (* b 3) a) -1/2)) (* (* (* b 3) a) -1/2) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- b (sqrt (+ (* (* -4 c) a) (* b b)))) (* c (/ -2 (- b (sqrt (+ (* (* -4 c) a) (* b b)))))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (* b b) (+ (* (* -4 c) a) (* b b))) (* (* -2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (/ (+ (* (/ (pow b 3) c) 1/2) (* (* (* b 3) a) -1/2)) (* a a)))

regimes1.1s (1.9%)

Memory

12.6MiB live, 1 120.5MiB allocated

Counts

615 → 101

Calls

26 calls:

203.0ms	b
123.0ms	(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
84.0ms	a
80.0ms	x
70.0ms	c

Compiler

Compiled 980 to 820 computations (16.3% saved)

analyze637.0ms (1.1%)

Memory

-22.7MiB live, 695.7MiB allocated

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
67.2%	56.9%	27.7%	0.1%	0%	15.3%	0%	5
74.4%	62.4%	21.5%	0.1%	0%	16%	0%	6
78.9%	64.9%	17.3%	0.1%	0%	17.7%	0%	7
80.8%	66.3%	15.8%	0.1%	0%	17.9%	0%	8
85.9%	69.9%	11.5%	0.1%	0%	18.5%	0%	9
88%	70.7%	9.7%	0.1%	0%	19.6%	0%	10
90%	72.1%	8%	0.1%	0%	19.8%	0%	11
92.3%	73.5%	6.2%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 153 to 106 computations (30.7% saved)

bsearch527.0ms (0.9%)

Memory

14.6MiB live, 529.5MiB allocated

Algorithm

42×	binary-search
6×	left-value

Stop Event

37×	narrow-enough
5×	predicate-same

Samples

252.0ms	2 496×	0	valid
37.0ms	229×	0	invalid
10.0ms	64×	2	valid

Compiler

Compiled 23 950 to 15 632 computations (34.7% saved)

Precisions

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

ival-mult: 55.0ms (27.5% of total)

ival-fabs: 37.0ms (18.5% of total)

ival-div: 34.0ms (17% of total)

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

ival-add: 12.0ms (6% of total)

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

ival-if: 9.0ms (4.5% of total)

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

ival->=: 4.0ms (2% of total)

exact: 3.0ms (1.5% of total)

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

adjust: 1.0ms (0.5% of total)

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

start0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated

end0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

sample12.6s (22.5%)

simplify9.9s (17.7%)

soundness7.3s (13%)

rewrite7.0s (12.5%)

eval4.9s (8.8%)

localize4.7s (8.4%)

explain2.6s (4.6%)

prune2.1s (3.7%)

preprocess1.6s (2.8%)

series1.1s (2%)

regimes1.1s (1.9%)

analyze637.0ms (1.1%)

bsearch527.0ms (0.9%)

start0.0ms (0%)

end0.0ms (0%)

Profiling