Metrics for Herbie run

Date:	Thursday, August 22nd, 2024
Commit:	0a751149 on faster-egg
Hostname:	nightly with Racket 8.11.1
Seed:	2024235
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

prune2.9min (30.7%)

Memory: -928.0MiB live, 159 202.8MiB allocated
Counts: 221 365 → 4 650
Compiler: Compiled 421 768 to 158 999 computations (62.3% saved)

sample1.3min (13.9%)

Memory

272.1MiB live, 100 588.3MiB allocated

Samples

55.1s	247 603×	0	valid
2.1s	10 743×	0	invalid
9.0ms	77×	1	valid

Precisions

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

ival-mult: 9.8s (21.1% of total)

const: 7.4s (15.9% of total)

ival-<=: 6.1s (13.1% of total)

ival-div: 4.5s (9.6% of total)

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

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

ival-sqrt: 1.9s (4% of total)

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

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

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

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

ival-exp: 1.1s (2.4% of total)

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

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

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

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

exact: 435.0ms (0.9% of total)

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

ival-fmax: 307.0ms (0.7% of total)

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

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

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

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

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

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

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

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

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

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

adjust: 2.0ms (0% of total)

Bogosity

simplify55.1s (9.9%)

Memory

568.9MiB live, 57 830.9MiB allocated

Algorithm

269×	egg-herbie

Rules

2 466 806×	`lower-fma.f64`
2 466 044×	`lower-fma.f32`
1 106 388×	`lower-*.f64`
1 103 276×	`lower-*.f32`
614 960×	`lower-+.f64`

Stop Event

363×	iter limit
203×	node limit
63×	saturated
3×	unsound

Counts

66 324 → 66 090

eval53.7s (9.6%)

Memory: 825.8MiB live, 77 646.0MiB allocated
Compiler: Compiled 38 589 793 to 478 950 computations (98.8% saved)

regimes43.3s (7.7%)

Memory

249.0MiB live, 62 409.4MiB allocated

Counts

15 837 → 486

Calls

144 calls:

1.3s	cosTheta_i
1.3s	s
1.3s	u1
1.2s	u2
1.1s	maxCos

Compiler

Compiled 35 028 to 20 773 computations (40.7% saved)

soundness42.5s (7.6%)

Memory

-178.5MiB live, 32 359.6MiB allocated

Rules

1 579 326×	`lower-fma.f64`
1 578 864×	`lower-fma.f32`
1 001 502×	`lower-*.f64`
999 518×	`lower-*.f32`
499 854×	`lower-+.f64`

Stop Event

264×	iter limit
181×	node limit
28×	fuel
1×	done

Compiler

Compiled 44 855 to 15 808 computations (64.8% saved)

rewrite31.4s (5.6%)

Memory

138.4MiB live, 36 396.8MiB allocated

Rules

581 922×	`lower-fma.f64`
581 162×	`lower-fma.f32`
545 202×	`lower-*.f64`
542 190×	`lower-*.f32`
408 298×	`lower-/.f64`

Stop Event

244×	iter limit
117×	node limit
3×	unsound

Counts

2 319 → 70 559

localize29.2s (5.2%)

Memory

169.9MiB live, 39 811.2MiB allocated

Samples

12.6s	27 111×	0	valid
1.6s	1 087×	1	valid
805.0ms	1 641×	0	invalid
563.0ms	762×	0	exit
77.0ms	43×	5	exit
30.0ms	76×	1	exit

Compiler

Compiled 140 157 to 6 347 computations (95.5% saved)

Precisions

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

ival-mult: 4.2s (35.7% of total)

ival-div: 1.7s (14.4% of total)

ival-add: 1.4s (11.8% of total)

ival-sub: 554.0ms (4.7% of total)

const: 518.0ms (4.4% of total)

ival-log: 422.0ms (3.6% of total)

ival-sqrt: 411.0ms (3.5% of total)

ival-exp: 324.0ms (2.7% of total)

ival-sin: 271.0ms (2.3% of total)

ival-neg: 266.0ms (2.3% of total)

ival-cos: 263.0ms (2.2% of total)

adjust: 245.0ms (2.1% of total)

ival-pow2: 242.0ms (2% of total)

ival-log1p: 132.0ms (1.1% of total)

ival-tan: 113.0ms (1% of total)

ival-fmax: 102.0ms (0.9% of total)

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

ival-floor: 79.0ms (0.7% of total)

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

ival-atan: 72.0ms (0.6% of total)

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

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

exact: 56.0ms (0.5% of total)

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

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

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

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

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

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

ival->: 12.0ms (0.1% of total)

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

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

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

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

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

analyze20.8s (3.7%)

Memory

188.3MiB live, 29 254.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)

series15.5s (2.8%)

Memory

248.1MiB live, 21 325.4MiB allocated

Counts

2 319 → 66 324

Calls

7998 calls:

Time	Variable		Point	Expression
148.0ms	u1	@	0	(* (log (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) -1/2)
129.0ms	w	@	inf	(* (log (fmax (+ (pow (* (floor d) dX.w) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) 1/2)
128.0ms	s	@	0	(* (* (neg (log (+ 1 (+ (* u -4/3) 1/3)))) 3) s)
104.0ms	s	@	0	(exp (neg (log (+ 1 (exp (/ (neg x) s))))))
99.0ms	dY.v	@	inf	(log (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2))))

explain9.5s (1.7%)

Memory

-91.0MiB live, 12 113.6MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1029	84
`-.f32`	`#f`	cancellation	411	34
`sqrt.f32`	`#f`	oflow-rescue	350	0
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	176	19
`cos.f32`	`#f`	sensitivity	173	17
`/.f32`	`#f`	o/n	136	0
`exp.f32`	`#f`	sensitivity	35	25
`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	15	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	294
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	15
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	147
↳	`(*.f32 eta eta)`	underflow	15
`/.f32`	`#f`	u/n	14	0
`/.f32`	`#f`	o/o	10	0
`/.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	5	0
↳	`(/.f32 sin2phi (*.f32 alphay alphay))`	overflow	12
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	12
`*.f32`	`#f`	*no**	3	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	2	0
`log.f32`	`(log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))`	oflow-rescue	1	0
↳	`(/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))`	overflow	1

Confusion

	Predicted +	Predicted -
+	1665	55
-	389	5571

Precision

0.8106134371957157

Recall

0.9680232558139535

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1665	36	19
-	389	121	5450

Precision?

0.7693351424694709

Recall?

0.9889534883720931

Freqs

test

number	freq
0	5626
1	1758
2	286
3	10

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	20	1	0
-	5	0	4

Precision?

0.8076923076923077

Recall?

1.0

Samples

2.9s	15 290×	0	valid
22.0ms	70×	1	valid

Compiler

Compiled 16 488 to 1 722 computations (89.6% saved)

Precisions

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

ival-mult: 642.0ms (30.4% of total)

ival-div: 396.0ms (18.8% of total)

ival-exp: 294.0ms (13.9% of total)

ival-tan: 125.0ms (5.9% of total)

ival-sin: 89.0ms (4.2% of total)

ival-add: 86.0ms (4.1% of total)

ival-log: 75.0ms (3.6% of total)

ival-sub: 73.0ms (3.5% of total)

ival-sqrt: 59.0ms (2.8% of total)

ival-floor: 52.0ms (2.5% of total)

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

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

const: 22.0ms (1% of total)

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

ival-fmax: 16.0ms (0.8% of total)

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

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

exact: 13.0ms (0.6% of total)

ival-log2: 12.0ms (0.6% of total)

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

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

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

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

ival-asin: 4.0ms (0.2% of total)

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

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

adjust: 2.0ms (0.1% of total)

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

preprocess9.4s (1.7%)

Memory

-13.5MiB live, 9 409.5MiB allocated

Algorithm

30×	egg-herbie

Rules

132 696×	`lower-fma.f64`
132 696×	`lower-fma.f32`
46 474×	`lower-*.f64`
46 188×	`lower-*.f32`
27 984×	`unsub-neg`

Stop Event

60×	iter limit
31×	saturated
29×	node limit

Compiler

Compiled 51 774 to 16 386 computations (68.4% saved)

bsearch55.0ms (0%)

Memory

8.5MiB live, 107.3MiB allocated

Algorithm

74×	left-value
38×	binary-search

Stop Event

38×	narrow-enough

Compiler

Compiled 4 311 to 2 615 computations (39.3% saved)

start1.0ms (0%)

Memory: 3.0MiB live, 2.9MiB allocated

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

prune2.9min (30.7%)

sample1.3min (13.9%)

simplify55.1s (9.9%)

eval53.7s (9.6%)

regimes43.3s (7.7%)

soundness42.5s (7.6%)

rewrite31.4s (5.6%)

localize29.2s (5.2%)

analyze20.8s (3.7%)

series15.5s (2.8%)

explain9.5s (1.7%)

preprocess9.4s (1.7%)

bsearch55.0ms (0%)

start1.0ms (0%)

end0.0ms (0%)

Profiling