Metrics for Herbie run

Date:	Saturday, June 29th, 2024
Commit:	e9990e25 on zane-job-abstraction5
Hostname:	nightly with Racket 8.11.1
Seed:	2024181
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

simplify2.6min (27.5%)

Memory

1 663.8MiB live, 234 033.9MiB allocated

Algorithm

270×	egg-herbie

Rules

213 734×	`fma-define`
120 496×	`fmm-def`
113 926×	`distribute-lft-in`
113 232×	`*-commutative`
109 040×	`times-frac`

Stop Event

202×	node limit
68×	saturated

Counts

104 753 → 72 570

soundness1.7min (17.8%)

Memory

382.1MiB live, 112 402.1MiB allocated

Rules

100 248×	`fma-define`
61 662×	`associate-r`
61 618×	`*-commutative`
58 892×	`times-frac`
53 176×	`fmm-def`

Stop Event

157×	node limit
29×	fuel
7×	saturated
1×	done

Compiler

Compiled 67 774 to 11 873 computations (82.5% saved)

sample1.3min (14.1%)

Memory

724.1MiB live, 103 447.9MiB allocated

Samples

57.4s	247 625×	0	valid
2.6s	10 739×	0	invalid
7.0ms	55×	1	valid

Precisions

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

ival-mult: 10.0s (21% of total)

...in/eval/compile.rkt:111:19: 7.7s (16.3% of total)

ival-<=: 6.7s (14.1% of total)

ival-div: 4.1s (8.6% of total)

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

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

ival-sub: 1.8s (3.7% of total)

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

ival-log: 1.6s (3.3% of total)

ival-exp: 1.2s (2.5% of total)

ival-and: 1.2s (2.5% of total)

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

ival-cos: 1.1s (2.2% of total)

ival-floor: 1.0s (2.1% of total)

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

ival-pi: 463.0ms (1% of total)

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

ival-asin: 385.0ms (0.8% of total)

ival-log2: 358.0ms (0.8% of total)

...in/eval/compile.rkt:110:19: 303.0ms (0.6% of total)

ival-fmax: 271.0ms (0.6% of total)

ival-if: 233.0ms (0.5% of total)

ival-<: 201.0ms (0.4% of total)

ival->: 162.0ms (0.3% of total)

ival-sinh: 123.0ms (0.3% of total)

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

ival-==: 96.0ms (0.2% of total)

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

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

adjust: 1.0ms (0% of total)

Bogosity

prune42.1s (7.4%)

Memory: -1 049.2MiB live, 72 186.0MiB allocated
Counts: 142 236 → 3 979
Compiler: Compiled 394 112 to 136 314 computations (65.4% saved)

rewrite32.2s (5.6%)

Memory

10.5MiB live, 36 563.1MiB allocated

Algorithm

120×	batch-egg-rewrite

Rules

62 783×	`log1p-expm1-u`
48 654×	`expm1-log1p-u`
37 481×	`pow1`
36 453×	`add-exp-log`
36 370×	`log-prod`

Stop Event

120×	node limit

Counts

1 992 → 45 641

regimes31.0s (5.4%)

Memory

319.2MiB live, 47 514.5MiB allocated

Counts

9 693 → 402

Calls

145 calls:

783.0ms	dX.u
750.0ms	dX.v
727.0ms	(floor.f32 w)
716.0ms	dY.u
661.0ms	dY.v

Compiler

Compiled 15 671 to 10 755 computations (31.4% saved)

series30.7s (5.4%)

Memory

366.2MiB live, 47 335.5MiB allocated

Counts

1 992 → 59 112

Calls

14601 calls:

Time	Variable		Point	Expression
744.0ms	h	@	inf	(log (+ 1 (log2 (sqrt (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor d) dX.w) (* (floor d) dX.w)))) 2) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 2))))))
361.0ms	w	@	0	(log (+ 1 (log2 (sqrt (fmax (pow (sqrt (+ (* (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))))) (* (* (floor d) dX.w) (* (floor d) dX.w)))) 2) (+ (pow (* (floor d) dY.w) 2) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2)))))))))
286.0ms	w	@	-inf	(log (+ 1 (log2 (sqrt (fmax (pow (sqrt (+ (* (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))))) (* (* (floor d) dX.w) (* (floor d) dX.w)))) 2) (+ (pow (* (floor d) dY.w) 2) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2)))))))))
285.0ms	u	@	inf	(+ (* n0_i (- 1 u)) (* u n1_i))
257.0ms	v	@	inf	(* (sinh (/ 1 v)) (* (* v 2) v))

localize29.5s (5.2%)

Memory

376.4MiB live, 47 788.6MiB allocated

Samples

11.6s	26 463×	0	valid
1.3s	1 615×	0	invalid
991.0ms	270×	5	exit
970.0ms	1 093×	1	valid
384.0ms	1 273×	0	exit
10.0ms	4×	4	valid
2.0ms	1×	5	valid
2.0ms	1×	3	valid

Compiler

Compiled 103 340 to 5 570 computations (94.6% saved)

Precisions

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

ival-mult: 3.2s (28.3% of total)

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

ival-add: 728.0ms (6.5% of total)

ival-pow2: 588.0ms (5.2% of total)

ival-fmax: 559.0ms (5% of total)

ival-pow: 526.0ms (4.7% of total)

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

ival-hypot: 409.0ms (3.6% of total)

ival-exp: 407.0ms (3.6% of total)

ival-sin: 387.0ms (3.4% of total)

ival-neg: 330.0ms (2.9% of total)

ival-log: 275.0ms (2.4% of total)

ival-log1p: 268.0ms (2.4% of total)

ival-sub: 262.0ms (2.3% of total)

...in/eval/compile.rkt:111:19: 211.0ms (1.9% of total)

ival-expm1: 155.0ms (1.4% of total)

ival-floor: 152.0ms (1.3% of total)

ival-log2: 131.0ms (1.2% of total)

ival-if: 126.0ms (1.1% of total)

adjust: 118.0ms (1% of total)

ival-cos: 99.0ms (0.9% of total)

ival-fabs: 75.0ms (0.7% of total)

ival-cbrt: 69.0ms (0.6% of total)

ival-tan: 56.0ms (0.5% of total)

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

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

...in/eval/compile.rkt:110:19: 37.0ms (0.3% of total)

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

ival->=: 25.0ms (0.2% of total)

ival->: 24.0ms (0.2% of total)

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

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

ival-sinh: 11.0ms (0.1% of total)

ival-acos: 8.0ms (0.1% of total)

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

ival-e: 4.0ms (0% of total)

eval27.6s (4.8%)

Memory: 586.6MiB live, 46 855.0MiB allocated
Compiler: Compiled 12 124 832 to 598 925 computations (95.1% saved)

analyze20.0s (3.5%)

Memory

20.5MiB live, 31 003.2MiB allocated

Algorithm

30×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	2.6%	97.4%	0%	0%	0%	0
0%	0%	2.6%	97.4%	0%	0%	0%	1
7.8%	0.2%	2.4%	97.4%	0%	0%	0%	2
8.5%	0.2%	2.4%	97.4%	0%	0%	0%	3
12.8%	0.3%	2.3%	97.4%	0%	0%	0%	4
47%	1.2%	1.4%	97.4%	0%	0%	0%	5
51.8%	1.3%	1.2%	97.4%	0%	0.1%	0%	6
69.5%	1.8%	0.8%	97.4%	0%	0.1%	0%	7
71.6%	1.8%	0.7%	97.4%	0%	0.1%	0%	8
81.1%	2.1%	0.5%	97.4%	0%	0.1%	0%	9
82.6%	2.1%	0.4%	97.4%	0%	0.1%	0%	10
88.3%	2.2%	0.3%	97.4%	0%	0.1%	0%	11
89.1%	2.2%	0.3%	97.4%	0%	0.1%	0%	12

Compiler

Compiled 2 586 to 1 076 computations (58.4% saved)

preprocess10.1s (1.8%)

Memory

-199.9MiB live, 11 462.7MiB allocated

Algorithm

30×	egg-herbie

Rules

30 620×	`fma-define`
21 784×	`fmm-def`
14 698×	`distribute-lft-neg-in`
14 266×	`unsub-neg`
11 858×	`distribute-rgt-neg-in`

Stop Event

19×	node limit
11×	saturated

Compiler

Compiled 56 298 to 17 224 computations (69.4% saved)

explain9.0s (1.6%)

Memory

6.5MiB live, 14 187.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1006	101
`-.f32`	`#f`	cancellation	378	40
`sqrt.f32`	`#f`	oflow-rescue	332	0
`cos.f32`	`#f`	sensitivity	208	10
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	201	10
`/.f32`	`#f`	o/n	116	0
`exp.f32`	`#f`	sensitivity	39	17
`/.f32`	`#f`	u/n	25	0
`/.f32`	`#f`	o/o	20	0
`sqrt.f32`	`(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))`	uflow-rescue	18	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	316
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	18
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	158
↳	`(*.f32 eta eta)`	underflow	18
`/.f32`	`(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))`	n/o	7	0
↳	`(/.f32 sin2phi (*.f32 alphay alphay))`	overflow	12
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	12
`sin.f32`	`(sin.f32 (.f32 (.f32 x (PI.f32)) tau))`	cancellation	1	1

Confusion

	Predicted +	Predicted -
+	1622	59
-	395	5604

Precision

0.8041646008924145

Recall

0.9649018441403926

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1622	39	20
-	395	127	5477

Precision?

0.760879523591388

Recall?

0.9881023200475907

Freqs

test

number	freq
0	5663
1	1703
2	294
3	20

Total Confusion?

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

Precision?

0.8076923076923077

Recall?

0.9130434782608695

Samples

2.2s	15 270×	0	valid
28.0ms	90×	1	valid

Compiler

Compiled 18 280 to 2 256 computations (87.7% saved)

Precisions

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

ival-mult: 515.0ms (34.5% of total)

ival-div: 182.0ms (12.2% of total)

ival-log: 111.0ms (7.4% of total)

ival-add: 92.0ms (6.2% of total)

ival-exp: 88.0ms (5.9% of total)

ival-sub: 80.0ms (5.4% of total)

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

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

ival-cos: 49.0ms (3.3% of total)

ival-floor: 44.0ms (2.9% of total)

ival-neg: 26.0ms (1.7% of total)

...in/eval/compile.rkt:111:19: 23.0ms (1.5% of total)

ival-pi: 23.0ms (1.5% of total)

ival-tan: 18.0ms (1.2% of total)

ival-fmax: 17.0ms (1.1% of total)

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

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

ival-if: 13.0ms (0.9% of total)

...in/eval/compile.rkt:110:19: 8.0ms (0.5% of total)

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

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

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

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

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

ival->: 3.0ms (0.2% of total)

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

adjust: 2.0ms (0.1% of total)

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

bsearch48.0ms (0%)

Memory

-12.6MiB live, 104.7MiB allocated

Algorithm

47×	binary-search
30×	left-value

Stop Event

47×	narrow-enough

Compiler

Compiled 4 049 to 1 921 computations (52.6% saved)

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

simplify2.6min (27.5%)

soundness1.7min (17.8%)

sample1.3min (14.1%)

prune42.1s (7.4%)

rewrite32.2s (5.6%)

regimes31.0s (5.4%)

series30.7s (5.4%)

localize29.5s (5.2%)

eval27.6s (4.8%)

analyze20.0s (3.5%)

preprocess10.1s (1.8%)

explain9.0s (1.6%)

bsearch48.0ms (0%)

end0.0ms (0%)

Profiling