Metrics for Herbie run

Date:	Sunday, July 14th, 2024
Commit:	2fc85eec on zane-odyssey-timeline
Hostname:	nightly with Racket 8.11.1
Seed:	2024196
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.3min (30.5%)

Memory

453.5MiB live, 96 450.6MiB allocated

Samples

29.9s	221 129×	0	valid
10.2s	26 940×	1	valid
8.7s	65 655×	0	invalid
3.7s	9 718×	2	valid
3.2s	12 208×	1	invalid
2.3s	6 350×	3	valid
593.0ms	1 858×	1	exit
170.0ms	565×	2	invalid
58.0ms	266×	0	exit
21.0ms	55×	4	valid
6.0ms	16×	5	exit
1.0ms	4×	4	exit
0.0ms	1×	3	exit
0.0ms	1×	2	exit

Precisions

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

ival-mult: 11.8s (26.1% of total)

ival-div: 6.2s (13.7% of total)

ival-tan: 4.2s (9.4% of total)

ival-sub: 3.4s (7.6% of total)

ival-add: 2.6s (5.8% of total)

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

ival-sqrt: 2.3s (5.1% of total)

ival-sin: 2.0s (4.4% of total)

ival-pow: 2.0s (4.4% of total)

ival-exp: 1.8s (3.9% of total)

adjust: 1.6s (3.5% of total)

ival-cos: 923.0ms (2% of total)

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

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

const: 412.0ms (0.9% of total)

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

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

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

exact: 356.0ms (0.8% of total)

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

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

ival-fabs: 197.0ms (0.4% of total)

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

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

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

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

Bogosity

simplify50.9s (20.2%)

Memory

186.9MiB live, 73 709.1MiB allocated

Algorithm

128×	egg-herbie

Rules

1 167 622×	`accelerator-lowering-fma.f32`
1 167 622×	`accelerator-lowering-fma.f64`
564 762×	`-lowering-.f32`
564 762×	`-lowering-.f64`
269 272×	`+-lowering-+.f32`

Stop Event

116×	iter limit
96×	node limit
32×	saturated

Counts

27 444 → 27 444

rewrite25.6s (10.2%)

Memory

-280.7MiB live, 38 098.1MiB allocated

Algorithm

55×	batch-egg-rewrite

Rules

273 340×	`-lowering-.f32`
273 340×	`-lowering-.f64`
250 854×	`accelerator-lowering-fma.f32`
250 854×	`accelerator-lowering-fma.f64`
189 946×	`/-lowering-/.f64`

Stop Event

55×	iter limit
55×	node limit

Counts

877 → 51 501

soundness18.6s (7.4%)

Memory

-69.2MiB live, 13 591.4MiB allocated

Rules

609 592×	`accelerator-lowering-fma.f32`
609 592×	`accelerator-lowering-fma.f64`
437 158×	`-lowering-.f32`
437 158×	`-lowering-.f64`
225 402×	`/-lowering-/.f64`

Stop Event

75×	iter limit
74×	node limit
11×	fuel
1×	saturated
1×	done

Compiler

Compiled 21 759 to 10 004 computations (54% saved)

eval14.4s (5.7%)

Memory: 406.8MiB live, 22 563.3MiB allocated
Compiler: Compiled 2 901 845 to 209 573 computations (92.8% saved)

prune13.6s (5.4%)

Memory: -366.4MiB live, 22 900.7MiB allocated
Counts: 88 767 → 1 521
Compiler: Compiled 79 234 to 42 840 computations (45.9% saved)

regimes12.7s (5%)

Memory

-152.9MiB live, 15 163.3MiB allocated

Counts

6 959 → 390

Calls

67 calls:

699.0ms	l
585.0ms	t
519.0ms	(.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))
514.0ms	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))))
471.0ms	d

Compiler

Compiled 9 050 to 6 350 computations (29.8% saved)

preprocess12.3s (4.9%)

Memory

111.2MiB live, 15 353.3MiB allocated

Algorithm

64×	egg-herbie

Rules

231 692×	`accelerator-lowering-fma.f32`
231 692×	`accelerator-lowering-fma.f64`
79 878×	`-lowering-.f32`
79 878×	`-lowering-.f64`
37 028×	`+-lowering-+.f32`

Stop Event

41×	node limit
32×	iter limit
23×	saturated

Compiler

Compiled 30 194 to 8 814 computations (70.8% saved)

localize8.3s (3.3%)

Memory

-146.8MiB live, 11 483.1MiB allocated

Samples

3.8s	12 839×	valid
570.0ms	1 352×	invalid
34.0ms	126×	exit

Compiler

Compiled 17 388 to 2 246 computations (87.1% saved)

Precisions

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

ival-mult: 1.3s (42% of total)

ival-div: 647.0ms (21.4% of total)

ival-sqrt: 302.0ms (10% of total)

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

ival-sub: 125.0ms (4.1% of total)

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

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

ival-cos: 53.0ms (1.8% of total)

ival-tan: 44.0ms (1.5% of total)

ival-pow2: 44.0ms (1.5% of total)

const: 27.0ms (0.9% of total)

ival-exp: 26.0ms (0.9% of total)

exact: 25.0ms (0.8% of total)

ival-neg: 15.0ms (0.5% of total)

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

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

ival-log: 10.0ms (0.3% of total)

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

analyze8.3s (3.3%)

Memory

-118.9MiB live, 10 556.5MiB 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.8%	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 793 to 574 computations (27.6% saved)

explain4.4s (1.7%)

Memory

-86.7MiB live, 7 697.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	177	0
`*.f64`	`#f`	*no**	169	0
`pow.f64`	`#f`	oflow-rescue	129	0
`cos.f64`	`(cos.f64 (/.f64 K #s(literal 2 binary64)))`	sensitivity	121	0
`pow.f64`	`(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))`	sensitivity	88	25
`sqrt.f64`	`#f`	uflow-rescue	84	0
`+.f64`	`#f`	nan-rescue	78	0
`pow.f64`	`#f`	uflow-rescue	71	0
`*.f64`	`#f`	*uo**	71	0
`/.f64`	`#f`	o/n	40	0
`*.f64`	`#f`	*nu**	31	0
`-.f64`	`(-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))`	nan-rescue	27	0
↳	`(-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om)))`	overflow	57
↳	`(/.f64 (*.f64 l l) Om)`	overflow	57
↳	`(*.f64 l l)`	overflow	64
↳	`(.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))`	overflow	57
↳	`(.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))`	overflow	71
↳	`(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))`	overflow	61
↳	`(pow.f64 (/.f64 l Om) #s(literal 2 binary64))`	overflow	64
↳	`(/.f64 l Om)`	overflow	29
`/.f64`	`(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))`	o/o	20	0
↳	`(pow.f64 t #s(literal 3 binary64))`	overflow	97
↳	`(*.f64 l l)`	overflow	62
`/.f64`	`(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))`	u/u	19	0
↳	`(pow.f64 t #s(literal 3 binary64))`	underflow	71
↳	`(*.f64 l l)`	underflow	58
`/.f64`	`#f`	n/o	18	0
`/.f64`	`#f`	n/u	13	0
`/.f64`	`#f`	u/n	13	0
`*.f64`	`(.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))`	*ou**	3	0
↳	`(pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))`	overflow	86
↳	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)))`	overflow	86
↳	`(*.f64 M D)`	overflow	38
↳	`(/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d))`	overflow	47
↳	`(/.f64 h l)`	underflow	29

Confusion

	Predicted +	Predicted -
+	644	29
-	335	3600

Precision

0.6578140960163432

Recall

0.9569093610698366

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	644	1	28
-	335	26	3574

Precision?

0.6411530815109344

Recall?

0.9583952451708767

Freqs

test

number	freq
0	3629
1	802
2	163
3	12
4	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	11	0	0
-	0	1	6

Precision?

0.9166666666666666

Recall?

1.0

Samples

1.4s

9 265×

valid

Compiler

Compiled 6 197 to 1 509 computations (75.6% saved)

Precisions

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

ival-mult: 205.0ms (24.1% of total)

ival-div: 167.0ms (19.6% of total)

ival-sin: 90.0ms (10.6% of total)

ival-sqrt: 67.0ms (7.9% of total)

ival-pow2: 64.0ms (7.5% of total)

ival-add: 62.0ms (7.3% of total)

ival-sub: 49.0ms (5.8% of total)

ival-pow: 45.0ms (5.3% of total)

ival-tan: 34.0ms (4% of total)

ival-cos: 22.0ms (2.6% of total)

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

exact: 10.0ms (1.2% of total)

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

ival-exp: 7.0ms (0.8% of total)

ival-pi: 6.0ms (0.7% of total)

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

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

const: 0.0ms (0% of total)

series3.4s (1.4%)

Memory

215.2MiB live, 5 580.0MiB allocated

Counts

877 → 27 444

Calls

5979 calls:

Time	Variable		Point	Expression
76.0ms	t	@	-inf	(* (log (* (* k k) (/ (* t (* t t)) (* l l)))) -1)
72.0ms	t	@	-inf	(exp (- (* 3 (log t)) (* (log l) 2)))
56.0ms	t	@	0	(exp (- (* 3 (log t)) (* (log l) 2)))
41.0ms	n	@	-inf	(* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)))
40.0ms	t	@	inf	(* (PI) (* (* t (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))))

bsearch2.3s (0.9%)

Memory

-48.2MiB live, 3 353.3MiB allocated

Algorithm

156×	left-value
65×	binary-search

Stop Event

63×	narrow-enough
2×	predicate-same

Samples

1.1s	7 472×	0	valid
433.0ms	2 568×	0	invalid

Compiler

Compiled 25 870 to 17 897 computations (30.8% saved)

Precisions

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

ival-mult: 296.0ms (28% of total)

ival-div: 247.0ms (23.4% of total)

ival-pow: 124.0ms (11.7% of total)

ival-pow2: 89.0ms (8.4% of total)

ival-sub: 79.0ms (7.5% of total)

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

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

ival-tan: 51.0ms (4.8% of total)

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

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

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

exact: 8.0ms (0.8% of total)

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

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

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

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

sample1.3min (30.5%)

simplify50.9s (20.2%)

rewrite25.6s (10.2%)

soundness18.6s (7.4%)

eval14.4s (5.7%)

prune13.6s (5.4%)

regimes12.7s (5%)

preprocess12.3s (4.9%)

localize8.3s (3.3%)

analyze8.3s (3.3%)

explain4.4s (1.7%)

series3.4s (1.4%)

bsearch2.3s (0.9%)

end0.0ms (0%)

Profiling