Metrics for Herbie run

Date:	Monday, July 22nd, 2024
Commit:	11cd870a on better-preprocessing
Hostname:	nightly with Racket 8.11.1
Seed:	2024204
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

simplify1.7min (22.8%)

Memory

891.3MiB live, 146 325.8MiB allocated

Algorithm

288×	egg-herbie

Rules

2 506 656×	`accelerator-lowering-fma.f32`
2 506 656×	`accelerator-lowering-fma.f64`
1 262 924×	`-lowering-.f32`
1 262 924×	`-lowering-.f64`
662 566×	`+-lowering-+.f32`

Stop Event

256×	iter limit
221×	node limit
67×	saturated

Counts

55 332 → 55 332

sample1.3min (17.2%)

Memory

94.4MiB live, 104 881.0MiB allocated

Samples

31.0s	221 550×	0	valid
10.7s	26 870×	1	valid
9.9s	65 943×	0	invalid
3.4s	12 229×	1	invalid
3.0s	9 437×	2	valid
2.5s	6 208×	3	valid
334.0ms	1 880×	1	exit
187.0ms	555×	2	invalid
58.0ms	127×	4	valid
29.0ms	252×	0	exit
11.0ms	27×	5	exit
1.0ms	3×	4	exit
0.0ms	1×	2	exit

Precisions

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

ival-mult: 12.0s (25.3% of total)

ival-div: 7.0s (14.8% of total)

ival-tan: 3.9s (8.2% of total)

ival-sub: 3.2s (6.7% of total)

ival-pow2: 3.1s (6.6% of total)

ival-add: 3.1s (6.5% of total)

ival-sqrt: 2.5s (5.3% of total)

ival-pow: 2.2s (4.6% of total)

adjust: 2.0s (4.2% of total)

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

ival-sin: 1.7s (3.6% of total)

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

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

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

const: 436.0ms (0.9% of total)

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

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

exact: 385.0ms (0.8% of total)

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

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

ival-asin: 180.0ms (0.4% of total)

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

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

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

ival-<: 87.0ms (0.2% of total)

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

Bogosity

rewrite53.2s (11.7%)

Memory

-284.5MiB live, 78 549.7MiB allocated

Algorithm

128×	batch-egg-rewrite

Rules

574 978×	`accelerator-lowering-fma.f32`
574 978×	`accelerator-lowering-fma.f64`
574 186×	`-lowering-.f32`
574 186×	`-lowering-.f64`
465 328×	`/-lowering-/.f64`

Stop Event

136×	iter limit
128×	node limit

Counts

2 237 → 108 522

soundness47.4s (10.4%)

Memory

43.8MiB live, 37 469.3MiB allocated

Rules

1 614 208×	`accelerator-lowering-fma.f32`
1 614 208×	`accelerator-lowering-fma.f64`
1 068 668×	`-lowering-.f32`
1 068 668×	`-lowering-.f64`
519 388×	`/-lowering-/.f64`

Stop Event

203×	iter limit
196×	node limit
31×	fuel
1×	done

Compiler

Compiled 44 374 to 21 298 computations (52% saved)

eval36.8s (8.1%)

Memory: 332.8MiB live, 53 412.6MiB allocated
Compiler: Compiled 6 402 747 to 488 706 computations (92.4% saved)

prune36.0s (7.9%)

Memory: -831.3MiB live, 55 110.6MiB allocated
Counts: 198 218 → 3 810
Compiler: Compiled 188 768 to 96 574 computations (48.8% saved)

regimes25.5s (5.6%)

Memory

134.2MiB live, 41 374.8MiB allocated

Counts

16 243 → 957

Calls

156 calls:

1.6s	l
999.0ms	t
987.0ms	k
743.0ms	(/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) #s(literal 2 binary64)) (pow.f64 (sin.f64 ky) #s(literal 2 binary64)))))
581.0ms	(*.f64 l l)

Compiler

Compiled 20 259 to 13 902 computations (31.4% saved)

localize25.2s (5.5%)

Memory

-130.0MiB live, 38 023.2MiB allocated

Samples

7.7s	23 133×	0	valid
2.4s	3 212×	1	valid
2.2s	1 963×	2	valid
1.3s	3 052×	0	invalid
1.2s	713×	3	valid
679.0ms	222×	5	exit
410.0ms	158×	4	valid
74.0ms	29×	2	invalid
70.0ms	223×	0	exit
38.0ms	63×	1	invalid

Compiler

Compiled 36 466 to 4 775 computations (86.9% saved)

Precisions

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

ival-mult: 3.7s (31.4% of total)

ival-div: 1.8s (15.1% of total)

ival-add: 1.2s (10% of total)

ival-sqrt: 738.0ms (6.2% of total)

ival-cos: 728.0ms (6.2% of total)

adjust: 677.0ms (5.7% of total)

ival-tan: 543.0ms (4.6% of total)

ival-sub: 402.0ms (3.4% of total)

ival-acos: 379.0ms (3.2% of total)

ival-sin: 340.0ms (2.9% of total)

ival-asin: 196.0ms (1.7% of total)

const: 185.0ms (1.6% of total)

ival-pow2: 163.0ms (1.4% of total)

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

ival-log: 125.0ms (1.1% of total)

ival-atan: 96.0ms (0.8% of total)

ival-neg: 95.0ms (0.8% of total)

ival-exp: 86.0ms (0.7% of total)

exact: 73.0ms (0.6% of total)

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

ival-true: 29.0ms (0.2% of total)

ival-tanh: 20.0ms (0.2% of total)

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

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

ival-hypot: 16.0ms (0.1% of total)

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

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

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

preprocess14.8s (3.2%)

Memory

-37.7MiB live, 18 920.5MiB allocated

Algorithm

32×	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 50 248 to 14 298 computations (71.5% saved)

explain10.5s (2.3%)

Memory

27.9MiB live, 14 595.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	476	0
`-.f64`	`#f`	cancellation	468	0
`cos.f64`	`#f`	sensitivity	426	0
`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	251	0
`*.f64`	`#f`	*no**	250	0
`+.f64`	`#f`	nan-rescue	240	0
`sqrt.f64`	`#f`	uflow-rescue	175	0
`pow.f64`	`#f`	oflow-rescue	150	0
`-.f64`	`#f`	nan-rescue	136	0
`asin.f64`	`(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))`	sensitivity	129	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	126	0
`*.f64`	`#f`	*uo**	109	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	87	28
`/.f64`	`#f`	o/o	71	0
`+.f64`	`#f`	cancellation	66	0
`*.f64`	`#f`	*ou**	63	0
`/.f64`	`#f`	o/n	61	0
`*.f64`	`#f`	*nu**	56	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	50	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	50
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	50
↳	`(*.f64 K (+.f64 m n))`	overflow	50
`/.f64`	`#f`	u/u	49	0
`pow.f64`	`#f`	uflow-rescue	47	0
`/.f64`	`#f`	n/o	37	0
`/.f64`	`#f`	n/u	31	0
`/.f64`	`#f`	u/n	16	0
`log.f64`	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`	sensitivity	10	0
`exp.f64`	`#f`	sensitivity	5	0

Confusion

	Predicted +	Predicted -
+	1994	30
-	1119	5049

Precision

0.6405396723417924

Recall

0.9851778656126482

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1994	0	30
-	1119	28	5021

Precision?

0.6348296720789558

Recall?

0.9851778656126482

Freqs

test

number	freq
0	5079
1	2712
2	345
3	46
4	5
5	5

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	25	0	0
-	0	0	7

Precision?

1.0

Recall?

1.0

Samples

2.2s	13 114×	0	valid
921.0ms	2 030×	1	valid
390.0ms	780×	2	valid
248.0ms	448×	3	valid
4.0ms	8×	5	exit
2.0ms	4×	4	valid

Compiler

Compiled 8 430 to 2 164 computations (74.3% saved)

Precisions

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

ival-mult: 550.0ms (21.7% of total)

ival-tan: 366.0ms (14.5% of total)

ival-div: 279.0ms (11% of total)

ival-sub: 178.0ms (7% of total)

ival-exp: 167.0ms (6.6% of total)

adjust: 133.0ms (5.3% of total)

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

ival-sin: 118.0ms (4.7% of total)

ival-pow2: 114.0ms (4.5% of total)

ival-sqrt: 107.0ms (4.2% of total)

ival-pow: 68.0ms (2.7% of total)

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

ival-pi: 54.0ms (2.1% of total)

ival-acos: 49.0ms (1.9% of total)

ival-neg: 46.0ms (1.8% of total)

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

exact: 22.0ms (0.9% of total)

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

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

const: 11.0ms (0.4% of total)

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

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

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

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

analyze8.7s (1.9%)

Memory

-62.2MiB live, 13 013.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 793 to 574 computations (27.6% saved)

bsearch8.2s (1.8%)

Memory

-71.2MiB live, 12 960.1MiB allocated

Algorithm

324×	left-value
224×	binary-search

Stop Event

210×	narrow-enough
14×	predicate-same

Samples

4.0s	24 774×	0	valid
1.1s	7 256×	0	invalid
223.0ms	608×	2	valid
169.0ms	639×	1	valid
47.0ms	139×	3	valid
11.0ms	61×	1	invalid
1.0ms	3×	2	invalid

Compiler

Compiled 65 635 to 46 539 computations (29.1% saved)

Precisions

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

ival-mult: 1.0s (25.4% of total)

ival-div: 746.0ms (18.1% of total)

ival-pow: 568.0ms (13.8% of total)

ival-pow2: 287.0ms (7% of total)

ival-add: 265.0ms (6.4% of total)

ival-sin: 231.0ms (5.6% of total)

ival-tan: 218.0ms (5.3% of total)

ival-sub: 185.0ms (4.5% of total)

const: 149.0ms (3.6% of total)

ival-neg: 111.0ms (2.7% of total)

ival-sqrt: 61.0ms (1.5% of total)

adjust: 60.0ms (1.5% of total)

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

ival-cos: 43.0ms (1% of total)

exact: 36.0ms (0.9% of total)

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

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

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

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

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

series7.6s (1.7%)

Memory

411.0MiB live, 11 765.8MiB allocated

Counts

2 237 → 55 332

Calls

11976 calls:

Time	Variable		Point	Expression
145.0ms	f	@	-inf	(- (/ (log (* 2 (cosh (* (* (PI) 1/4) f)))) (* (PI) -1/4)) (/ (log (* 2 (sinh (* (* (PI) 1/4) f)))) (* (PI) -1/4)))
85.0ms	Om	@	0	(+ (* (sqrt (PI)) (* (sqrt (PI)) 1/2)) (neg (acos (sqrt (/ (+ (* Om (/ Om (* Omc Omc))) -1) (+ (* (/ (* t t) (* l l)) -2) -1))))))
78.0ms	d	@	-inf	(* (/ 1 l) (/ (* M D) (* d -2)))
65.0ms	f	@	-inf	(/ (log (tanh (* (* (PI) 1/4) f))) (* (PI) 1/4))
57.0ms	l	@	0	(* l (sqrt (sqrt (PI))))

end0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated

simplify1.7min (22.8%)

sample1.3min (17.2%)

rewrite53.2s (11.7%)

soundness47.4s (10.4%)

eval36.8s (8.1%)

prune36.0s (7.9%)

regimes25.5s (5.6%)

localize25.2s (5.5%)

preprocess14.8s (3.2%)

explain10.5s (2.3%)

analyze8.7s (1.9%)

bsearch8.2s (1.8%)

series7.6s (1.7%)

end0.0ms (0%)

Profiling