Metrics for Herbie run

Date:	Tuesday, October 1st, 2024
Commit:	da7d8ae8 on zane-concrete-values
Hostname:	nightly with Racket 8.10
Seed:	2024275
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample1.2min (67.3%)

Memory

909.0MiB live, 81 581.2MiB allocated

Samples

29.0s	225 271×	0	valid
7.8s	66 765×	0	invalid
6.1s	23 042×	1	valid
3.2s	12 349×	1	invalid
2.9s	9 643×	2	valid
2.3s	6 232×	3	valid
319.0ms	1 908×	1	exit
160.0ms	528×	2	invalid
27.0ms	239×	0	exit
2.0ms	4×	4	valid

Precisions

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

ival-mult: 9.5s (24.6% of total)

ival-div: 6.3s (16.4% of total)

ival-sub: 3.0s (7.7% of total)

ival-add: 2.5s (6.4% of total)

ival-pow2: 2.4s (6.3% of total)

adjust: 2.1s (5.5% of total)

ival-sqrt: 2.0s (5.2% of total)

ival-exp: 1.9s (4.8% of total)

ival-pow: 1.8s (4.7% of total)

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

ival-tan: 759.0ms (2% of total)

ival-cos: 733.0ms (1.9% of total)

ival-neg: 576.0ms (1.5% of total)

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

const: 379.0ms (1% of total)

ival-pi: 358.0ms (0.9% of total)

exact: 340.0ms (0.9% of total)

ival-hypot: 334.0ms (0.9% of total)

ival-log: 333.0ms (0.9% of total)

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

ival-tanu: 230.0ms (0.6% of total)

ival-asin: 187.0ms (0.5% of total)

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

ival-fabs: 91.0ms (0.2% of total)

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

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

ival-and: 13.0ms (0% of total)

Bogosity

analyze7.7s (7.5%)

Memory

224.7MiB live, 9 778.6MiB allocated

Algorithm

32×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
22.2%	21.8%	76.4%	1.8%	0%	0%	0%	1
22.6%	21.8%	74.8%	1.8%	0%	1.6%	0%	2
28.6%	26.5%	66.3%	1.8%	0%	5.5%	0%	3
32.6%	29.6%	61.2%	1.8%	0%	7.4%	0%	4
35.8%	32.3%	58%	1.8%	0%	8%	0%	5
40.1%	36.1%	54%	1.8%	0%	8.1%	0%	6
45.5%	40.6%	48.7%	1.8%	0%	8.9%	0%	7
47.9%	42.1%	45.8%	1.8%	0%	10.3%	0%	8
51%	44.7%	42.9%	1.8%	0%	10.6%	0%	9
52.2%	45.5%	41.7%	1.8%	0%	11%	0%	10
53.9%	46.8%	39.9%	1.8%	0%	11.5%	0%	11
55.7%	47.9%	38.2%	1.8%	0%	12.2%	0%	12

Compiler

Compiled 798 to 574 computations (28.1% saved)

explain6.7s (6.5%)

Memory

-242.8MiB live, 9 347.9MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`acos.f64`	`(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))`	sensitivity	256	0
`-.f64`	`(-.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (hypot.f64 #s(literal 1 binary64) x))))))`	cancellation	66	0

Confusion

	Predicted +	Predicted -
+	73	0
-	249	958

Precision

0.2267080745341615

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	73	0	0
-	249	0	958

Precision?

0.2267080745341615

Recall?

1.0

Freqs

test

number	freq
0	958
1	322

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2	0	0
-	0	0	3

Precision?

1.0

Recall?

1.0

Samples

999.0ms	7 615×	0	valid
295.0ms	1 083×	1	valid
156.0ms	494×	2	valid
143.0ms	337×	3	valid
4.0ms	8×	5	exit

Compiler

Compiled 10 271 to 1 722 computations (83.2% saved)

Precisions

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

ival-mult: 233.0ms (21.8% of total)

ival-div: 154.0ms (14.4% of total)

ival-sub: 87.0ms (8.1% of total)

adjust: 72.0ms (6.7% of total)

ival-add: 65.0ms (6.1% of total)

ival-sqrt: 57.0ms (5.3% of total)

ival-pow2: 55.0ms (5.1% of total)

ival-sin: 54.0ms (5.1% of total)

ival-acos: 53.0ms (5% of total)

ival-exp: 45.0ms (4.2% of total)

ival-pow: 39.0ms (3.6% of total)

ival-cos: 32.0ms (3% of total)

ival-hypot: 23.0ms (2.2% of total)

ival-tan: 21.0ms (2% of total)

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

exact: 12.0ms (1.1% of total)

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

ival-pi: 9.0ms (0.8% of total)

ival-log: 8.0ms (0.7% of total)

ival-tanu: 6.0ms (0.6% of total)

ival-asin: 5.0ms (0.5% of total)

const: 5.0ms (0.5% of total)

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

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

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

simplify4.7s (4.6%)

Memory

215.3MiB live, 4 689.4MiB allocated

Algorithm

29×	egg-herbie

Stop Event

42×	iter limit
26×	node limit
3×	saturated

Counts

2 460 → 2 459

localize3.8s (3.7%)

Memory

-119.6MiB live, 4 318.7MiB allocated

Samples

820.0ms	2 703×	0	valid
53.0ms	129×	3	valid
43.0ms	143×	2	valid
15.0ms	100×	1	valid

Compiler

Compiled 7 990 to 949 computations (88.1% saved)

Precisions

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

ival-mult: 313.0ms (47.1% of total)

ival-div: 104.0ms (15.6% of total)

ival-sqrt: 70.0ms (10.5% of total)

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

ival-add: 29.0ms (4.4% of total)

adjust: 22.0ms (3.3% of total)

ival-hypot: 17.0ms (2.6% of total)

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

const: 11.0ms (1.7% of total)

ival-pi: 8.0ms (1.2% of total)

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

exact: 8.0ms (1.2% of total)

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

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

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

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

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

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

eval2.8s (2.7%)

Memory: 160.2MiB live, 4 517.4MiB allocated
Compiler: Compiled 475 917 to 39 898 computations (91.6% saved)

rewrite2.5s (2.5%)

Memory

-160.9MiB live, 2 771.7MiB allocated

Stop Event

24×	iter limit
12×	node limit

Counts

188 → 11 296

soundness2.5s (2.4%)

Memory

28.4MiB live, 1 574.0MiB allocated

Stop Event

19×	iter limit
12×	node limit
2×	fuel

Compiler

Compiled 969 to 544 computations (43.9% saved)

preprocess1.1s (1.1%)

Memory

102.8MiB live, 1 127.4MiB allocated

Algorithm

5×	egg-herbie

Stop Event

10×	iter limit
8×	node limit
2×	saturated

Compiler

Compiled 1 649 to 925 computations (43.9% saved)

prune763.0ms (0.7%)

Memory: -52.5MiB live, 1 197.0MiB allocated
Counts: 16 402 → 124
Compiler: Compiled 4 777 to 3 011 computations (37% saved)

regimes635.0ms (0.6%)

Memory

-17.4MiB live, 522.6MiB allocated

Counts

268 → 18

Calls

6 calls:

164.0ms	(*.f64 v v)
142.0ms	t
113.0ms	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))
105.0ms	v
66.0ms	(*.f64 (PI.f64) t)

Compiler

Compiled 570 to 462 computations (18.9% saved)

series503.0ms (0.5%)

Memory

-62.1MiB live, 516.1MiB allocated

Counts

188 → 2 460

Calls

48 calls:

Time	Variable		Point	Expression
99.0ms	t	@	inf	((* 2 (- 1 (* 3 (* v v)))) (- 1 (* 5 (* v v))) (- 1 (* 3 (* v v))) (* 5 (* v v)) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (PI) t))
28.0ms	v	@	inf	((* (/ (/ 4/3 (PI)) (* (- 1 (pow v 4)) (sqrt (+ (* -6 (* v v)) 2)))) (+ (* v v) 1)) (/ (/ 4/3 (PI)) (* (- 1 (pow v 4)) (sqrt (+ (* -6 (* v v)) 2)))) (/ 4/3 (PI)) (PI) (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) (* (/ (sqrt 1/2) (PI)) 4/3) (/ (sqrt 1/2) (PI)) (sqrt 1/2) (* (* (+ (* v v) 1) (PI)) (sqrt (+ (* -6 (* v v)) 2))) (* (+ (* v v) 1) (PI)) (+ (* v v) 1) (+ (* (* (* (neg v) v) 3) (PI)) (* (PI) 3)) (* (* (neg v) v) 3) (- 2 (* 6 (* v v))) (* (+ (* (* (* (neg v) v) 3) (PI)) (* (PI) 3)) (sqrt (- 2 (* 6 (* v v))))) (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) (* (+ (* (+ (* v v) 1) (/ (sqrt 1/2) (PI))) (* (/ (* v v) (PI)) (/ 3/4 (sqrt 1/2)))) 4/3) (* (- 1 (pow v 4)) (sqrt (+ (* -6 (* v v)) 2))) (/ 4/3 (* (* (+ (* v v) 1) (PI)) (sqrt (+ (* -6 (* v v)) 2)))) (/ 4 (* (+ (* (* (* (neg v) v) 3) (PI)) (* (PI) 3)) (sqrt (- 2 (* 6 (* v v)))))) (* 6 (* v v)) (* (/ (* v v) (PI)) (/ 3/4 (sqrt 1/2))) (/ (* v v) (PI)))
25.0ms	t	@	inf	((/ (+ (* (* v v) -5) 1) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v)))) (+ (* (* v v) -5) 1) (* v v) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v)))) (sqrt 1/2) (* (PI) t) (PI) (/ (* (/ (+ (* -5 (* v v)) 1) (PI)) 1) (* (* t (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2)))) (* (/ (+ (* -5 (* v v)) 1) (PI)) 1) (/ 1 (PI)) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v)))) (* 5 (* v v)) (/ (/ (+ (* 5 (* v v)) 1) (* t (PI))) (* (- 1 (* v v)) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (+ (* 5 (* v v)) 1) (* t (PI)) (* (sqrt (+ (* -6 (* v v)) 2)) t) (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (/ (sqrt 1/2) (* (PI) t)) (* (sqrt 2) t) (* (* t (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v))) (* (* (sqrt 2) (PI)) t) (* 2 (- 1 (* 3 (* v v)))) (/ (+ (* 5 (* v v)) 1) (* t (PI))))
17.0ms	t	@	0	((* (/ (+ (* -5 (* v v)) 1) (PI)) 1) (/ (+ (* -5 (* v v)) 1) (PI)) (+ (* -5 (* v v)) 1) (* v v) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ 1 (* (* (sqrt 2) (PI)) t)) (* (* (sqrt 2) (PI)) t) (* (sqrt 2) (PI)) (- 1 (* 5 (* v v))) (* 5 (* v v)) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v))) (neg (/ (+ (* -5 (* v v)) 1) (- 1 (* v v)))) (/ (+ (* -5 (* v v)) 1) (- 1 (* v v))) (* (* t (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))) (/ (* (/ (+ (* -5 (* v v)) 1) (PI)) 1) (* (* t (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2)))) (sqrt (+ (* -6 (* v v)) 2)) (* t (- 1 (* v v))) (PI) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* 2 (- 1 (* 3 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (PI) t) (* (sqrt (+ (* -6 (* v v)) 2)) t) (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (/ (- 1 (* 5 (* v v))) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v)))) (* (neg (PI)) (* (sqrt (+ (* -6 (* v v)) 2)) t)) (/ (neg (/ (+ (* -5 (* v v)) 1) (- 1 (* v v)))) (* (neg (PI)) (* (sqrt (+ (* -6 (* v v)) 2)) t))))
14.0ms	t	@	-inf	((* (/ (+ (* -5 (* v v)) 1) (PI)) 1) (/ (+ (* -5 (* v v)) 1) (PI)) (+ (* -5 (* v v)) 1) (* v v) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ 1 (* (* (sqrt 2) (PI)) t)) (* (* (sqrt 2) (PI)) t) (* (sqrt 2) (PI)) (- 1 (* 5 (* v v))) (* 5 (* v v)) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v))) (neg (/ (+ (* -5 (* v v)) 1) (- 1 (* v v)))) (/ (+ (* -5 (* v v)) 1) (- 1 (* v v))) (* (* t (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))) (/ (* (/ (+ (* -5 (* v v)) 1) (PI)) 1) (* (* t (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2)))) (sqrt (+ (* -6 (* v v)) 2)) (* t (- 1 (* v v))) (PI) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* 2 (- 1 (* 3 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (PI) t) (* (sqrt (+ (* -6 (* v v)) 2)) t) (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (/ (- 1 (* 5 (* v v))) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v)))) (* (neg (PI)) (* (sqrt (+ (* -6 (* v v)) 2)) t)) (/ (neg (/ (+ (* -5 (* v v)) 1) (- 1 (* v v)))) (* (neg (PI)) (* (sqrt (+ (* -6 (* v v)) 2)) t))))

start1.0ms (0%)

Memory: 2.6MiB live, 2.6MiB allocated

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

sample1.2min (67.3%)

analyze7.7s (7.5%)

explain6.7s (6.5%)

simplify4.7s (4.6%)

localize3.8s (3.7%)

eval2.8s (2.7%)

rewrite2.5s (2.5%)

soundness2.5s (2.4%)

preprocess1.1s (1.1%)

prune763.0ms (0.7%)

regimes635.0ms (0.6%)

series503.0ms (0.5%)

start1.0ms (0%)

end0.0ms (0%)

Profiling