Metrics for Herbie run

Date:	Tuesday, August 13th, 2024
Commit:	bd96486d on zane-server-ci
Hostname:	nightly with Racket 8.11.1
Seed:	2024226
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

eval6.9min (35.3%)

Memory: 1 015.1MiB live, 62 529.5MiB allocated
Compiler: Compiled 11 304 580 to 470 235 computations (95.8% saved)

soundness3.8min (19.2%)

Memory

-243.2MiB live, 37 817.2MiB allocated

Rules

2 053 064×	`lower-fma.f32`
2 052 666×	`lower-fma.f64`
980 086×	`lower-*.f32`
978 854×	`lower-*.f64`
574 252×	`lower-+.f32`

Stop Event

329×	iter limit
211×	node limit
33×	fuel
22×	done
2×	saturated
2×	unsound

Compiler

Compiled 37 415 to 15 260 computations (59.2% saved)

simplify2.8min (14.2%)

Memory

100.0MiB live, 165 219.6MiB allocated

Algorithm

435×	egg-herbie

Rules

3 563 648×	`lower-fma.f32`
3 562 876×	`lower-fma.f64`
1 276 684×	`lower-*.f32`
1 274 516×	`lower-*.f64`
842 080×	`lower-+.f32`

Stop Event

571×	iter limit
268×	node limit
166×	saturated
1×	unsound

Counts

56 436 → 55 618

sample1.8min (9%)

Memory

955.8MiB live, 126 654.0MiB allocated

Samples

47.0s	438 677×	0	valid
24.5s	3 873×	5	exit
6.8s	22 436×	1	valid
3.8s	8 653×	2	valid
1.1s	8 812×	0	exit
318.0ms	851×	3	valid
35.0ms	489×	0	invalid

Precisions

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

ival-sin: 19.6s (28.9% of total)

ival-mult: 13.7s (20.2% of total)

ival-add: 4.9s (7.3% of total)

const: 4.1s (6.1% of total)

adjust: 3.9s (5.8% of total)

ival-div: 3.9s (5.7% of total)

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

ival-hypot: 2.6s (3.9% of total)

ival-log: 2.3s (3.4% of total)

ival-sub: 2.0s (2.9% of total)

ival-asin: 1.5s (2.2% of total)

ival-cos: 1.2s (1.8% of total)

ival-atan2: 839.0ms (1.2% of total)

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

ival->: 409.0ms (0.6% of total)

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

ival-<=: 342.0ms (0.5% of total)

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

exact: 335.0ms (0.5% of total)

ival-fabs: 317.0ms (0.5% of total)

ival-acosh: 269.0ms (0.4% of total)

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

ival-asinh: 242.0ms (0.4% of total)

ival-atanh: 191.0ms (0.3% of total)

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

ival-neg: 163.0ms (0.2% of total)

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

ival-and: 72.0ms (0.1% of total)

Bogosity

rewrite1.4min (7.3%)

Memory

618.0MiB live, 102 314.7MiB allocated

Rules

1 017 766×	`lower-fma.f32`
1 016 998×	`lower-fma.f64`
753 930×	`lower-*.f32`
751 888×	`lower-*.f64`
592 814×	`lower-/.f32`

Stop Event

401×	iter limit
180×	node limit
5×	saturated
5×	unsound

Counts

2 774 → 107 152

prune55.0s (4.7%)

Memory: -1 545.5MiB live, 72 202.1MiB allocated
Counts: 199 541 → 3 133
Compiler: Compiled 153 980 to 66 328 computations (56.9% saved)

preprocess41.8s (3.5%)

Memory

48.3MiB live, 21 155.2MiB allocated

Algorithm

57×	egg-herbie

Rules

296 104×	`lower-fma.f64`
296 104×	`lower-fma.f32`
79 264×	`lower-*.f32`
78 898×	`lower-*.f64`
56 582×	`lower-+.f32`

Stop Event

114×	iter limit
76×	saturated
38×	node limit

Compiler

Compiled 42 057 to 10 851 computations (74.2% saved)

localize27.8s (2.4%)

Memory

162.3MiB live, 37 362.3MiB allocated

Samples

10.6s	39 367×	0	valid
3.4s	4 277×	1	valid
2.0s	1 472×	2	valid
1.3s	3 234×	0	invalid
208.0ms	159×	3	valid
64.0ms	122×	1	exit
7.0ms	6×	5	exit
2.0ms	3×	4	valid

Compiler

Compiled 56 137 to 5 720 computations (89.8% saved)

Precisions

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

ival-mult: 3.8s (29.8% of total)

ival-add: 1.8s (14.4% of total)

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

const: 850.0ms (6.6% of total)

adjust: 705.0ms (5.5% of total)

ival-log: 678.0ms (5.3% of total)

ival-sub: 561.0ms (4.4% of total)

ival-hypot: 547.0ms (4.3% of total)

ival-exp: 499.0ms (3.9% of total)

ival-sqrt: 349.0ms (2.7% of total)

ival-pow: 204.0ms (1.6% of total)

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

ival-cos: 176.0ms (1.4% of total)

ival-asin: 145.0ms (1.1% of total)

ival-neg: 144.0ms (1.1% of total)

ival-sin: 142.0ms (1.1% of total)

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

ival-fabs: 73.0ms (0.6% of total)

ival-atan2: 65.0ms (0.5% of total)

exact: 62.0ms (0.5% of total)

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

ival-copysign: 42.0ms (0.3% of total)

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

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

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

ival-cosh: 15.0ms (0.1% of total)

regimes21.5s (1.8%)

Memory

23.5MiB live, 19 649.9MiB allocated

Counts

9 712 → 963

Calls

128 calls:

4.5s	re
969.0ms	im
562.0ms	x
452.0ms	x.im
408.0ms	(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 17 227 to 9 709 computations (43.6% saved)

explain15.3s (1.3%)

Memory

-438.1MiB live, 18 754.8MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1164	0
`-.f64`	`#f`	cancellation	769	1
`/.f64`	`#f`	o/o	628	0
`sin.f64`	`#f`	sensitivity	193	0
`sqrt.f32`	`#f`	oflow-rescue	190	0
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	sensitivity	188	1
`/.f64`	`#f`	o/n	188	0
`+.f64`	`#f`	cancellation	148	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	118	2
`sqrt.f64`	`#f`	uflow-rescue	118	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	115	0
`/.f64`	`#f`	n/o	101	0
`-.f64`	`#f`	nan-rescue	93	0
`/.f64`	`#f`	u/u	65	0
`*.f64`	`#f`	*nu**	63	0
`+.f64`	`#f`	nan-rescue	61	0
`/.f64`	`#f`	u/n	42	0
`*.f64`	`#f`	*no**	28	0
`/.f64`	`#f`	n/u	11	0
`exp.f64`	`#f`	sensitivity	4	4
`*.f64`	`(.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))`	*ou**	4	0
↳	`(.f64 (sqrt.f64 (.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))`	overflow	4
↳	`(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))`	overflow	4
↳	`(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))`	underflow	4
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	oflow-rescue	3	0
↳	`(+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re))`	overflow	3
↳	`(*.f64 x.re x.re)`	overflow	60
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	110
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	3
↳	`(*.f64 x.im x.im)`	overflow	65
`log.f32`	`#f`	oflow-rescue	3	0
`sin.f64`	`(sin.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	oflow-rescue	3	0
↳	`(+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re))`	overflow	3
↳	`(*.f64 x.re x.re)`	overflow	60
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	110
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	3
↳	`(*.f64 x.im x.im)`	overflow	65
`log.f64`	`(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))`	oflow-rescue	1	0
↳	`(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))`	overflow	1
↳	`(-.f64 (*.f64 x x) #s(literal 1 binary64))`	overflow	129
↳	`(*.f64 x x)`	overflow	129

Confusion

	Predicted +	Predicted -
+	3538	42
-	213	10799

Precision

0.9432151426286324

Recall

0.988268156424581

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3538	2	40
-	213	7	10792

Precision?

0.9414893617021277

Recall?

0.9888268156424581

Freqs

test

number	freq
0	10841
1	3202
2	548
3	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	35	0	0
-	3	1	18

Precision?

0.8974358974358975

Recall?

1.0

Samples

4.3s	25 878×	0	valid
1.6s	2 452×	1	valid
743.0ms	812×	2	valid
14.0ms	40×	3	valid
1.0ms	2×	5	exit

Compiler

Compiled 13 675 to 2 283 computations (83.3% saved)

Precisions

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

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

const: 514.0ms (10.7% of total)

ival-add: 380.0ms (7.9% of total)

ival-exp: 303.0ms (6.3% of total)

ival-div: 301.0ms (6.3% of total)

ival-log1p: 259.0ms (5.4% of total)

ival-log: 238.0ms (5% of total)

ival-sub: 236.0ms (4.9% of total)

adjust: 207.0ms (4.3% of total)

ival-sin: 199.0ms (4.1% of total)

ival-hypot: 159.0ms (3.3% of total)

ival-asin: 140.0ms (2.9% of total)

ival-sqrt: 76.0ms (1.6% of total)

ival-cos: 60.0ms (1.2% of total)

ival-atan2: 47.0ms (1% of total)

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

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

ival-pi: 21.0ms (0.4% of total)

exact: 19.0ms (0.4% of total)

ival-copysign: 18.0ms (0.4% of total)

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

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

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

series10.8s (0.9%)

Memory

124.2MiB live, 14 477.6MiB allocated

Counts

2 774 → 56 436

Calls

6789 calls:

Time	Variable		Point	Expression
390.0ms	x	@	0	(/ (- (* 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3))) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)))
324.0ms	im	@	0	(* (log (* im 2)) 1/2)
140.0ms	x	@	inf	(log x)
92.0ms	x	@	0	(+ (log 2) (log x))
87.0ms	x	@	inf	(* (* x x) x)

bsearch3.3s (0.3%)

Memory

113.3MiB live, 4 577.2MiB allocated

Algorithm

276×	left-value
220×	binary-search

Stop Event

205×	narrow-enough
15×	predicate-same

Samples

1.4s	13 233×	0	valid
660.0ms	1 481×	1	valid
28.0ms	151×	2	valid
8.0ms	31×	3	valid

Compiler

Compiled 55 111 to 34 368 computations (37.6% saved)

Precisions

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

ival-mult: 554.0ms (36.1% of total)

ival-hypot: 201.0ms (13.1% of total)

ival-add: 197.0ms (12.8% of total)

ival-log: 110.0ms (7.2% of total)

ival-sin: 82.0ms (5.3% of total)

ival-sub: 64.0ms (4.2% of total)

ival-atan2: 58.0ms (3.8% of total)

adjust: 54.0ms (3.5% of total)

const: 49.0ms (3.2% of total)

ival-exp: 48.0ms (3.1% of total)

ival-div: 46.0ms (3% of total)

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

ival-sqrt: 14.0ms (0.9% of total)

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

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

exact: 4.0ms (0.3% of total)

ival-copysign: 1.0ms (0.1% of total)

ival-fabs: 1.0ms (0.1% of total)

analyze2.3s (0.2%)

Memory

-16.4MiB live, 3 312.5MiB allocated

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
55.4%	47.8%	38.5%	13.7%	0%	0%	0%	1
65.9%	55.7%	28.9%	13.7%	0%	1.7%	0%	2
71.2%	58.4%	23.6%	13.7%	0%	4.3%	0%	3
77.4%	62%	18.1%	13.7%	0%	6.2%	0%	4
83.5%	66.8%	13.2%	13.7%	0%	6.3%	0%	5
85.8%	68.3%	11.3%	13.7%	0%	6.6%	0%	6
88.3%	70.3%	9.4%	13.7%	0%	6.6%	0%	7
89.9%	71.5%	8%	13.7%	0%	6.8%	0%	8
91.1%	72.5%	7.1%	13.7%	0%	6.8%	0%	9
92.6%	73.6%	5.9%	13.7%	0%	6.8%	0%	10
94%	74.7%	4.8%	13.7%	0%	6.8%	0%	11
94.5%	75.1%	4.4%	13.7%	0%	6.9%	0%	12

Compiler

Compiled 1 498 to 821 computations (45.2% saved)

start1.0ms (0%)

Memory: 2.3MiB live, 2.2MiB allocated

end0.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated

eval6.9min (35.3%)

soundness3.8min (19.2%)

simplify2.8min (14.2%)

sample1.8min (9%)

rewrite1.4min (7.3%)

prune55.0s (4.7%)

preprocess41.8s (3.5%)

localize27.8s (2.4%)

regimes21.5s (1.8%)

explain15.3s (1.3%)

series10.8s (0.9%)

bsearch3.3s (0.3%)

analyze2.3s (0.2%)

start1.0ms (0%)

end0.0ms (0%)

Profiling