Metrics for Herbie run

Date:	Saturday, August 3rd, 2024
Commit:	2.2 on release
Hostname:	nightly with Racket 8.11.1
Seed:	2024216
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

prune1.9min (18.4%)

Memory: -1 137.9MiB live, 132 243.6MiB allocated
Counts: 242 319 → 4 799
Compiler: Compiled 431 297 to 164 409 computations (61.9% saved)

simplify1.7min (16.9%)

Memory

905.9MiB live, 134 129.3MiB allocated

Algorithm

270×	egg-herbie

Rules

2 401 624×	`lower-fma.f64`
2 400 798×	`lower-fma.f32`
1 078 042×	`lower-*.f64`
1 074 954×	`lower-*.f32`
611 284×	`lower-+.f64`

Stop Event

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

Counts

66 852 → 66 615

sample1.2min (12.1%)

Memory

538.8MiB live, 102 494.8MiB allocated

Samples

53.5s	247 591×	0	valid
2.0s	10 346×	0	invalid
10.0ms	89×	1	valid

Precisions

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

ival-mult: 9.7s (21.6% of total)

const: 7.2s (16.1% of total)

ival-<=: 6.6s (14.6% of total)

ival-div: 4.6s (10.2% of total)

ival-add: 1.9s (4.3% of total)

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

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

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

ival-log: 1.3s (2.8% of total)

ival-fabs: 1.2s (2.8% of total)

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

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

ival-floor: 937.0ms (2.1% of total)

ival-cos: 719.0ms (1.6% of total)

ival-pi: 540.0ms (1.2% of total)

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

exact: 414.0ms (0.9% of total)

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

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

ival-tan: 336.0ms (0.7% of total)

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

ival->: 203.0ms (0.5% of total)

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

ival-atan: 166.0ms (0.4% of total)

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

ival-==: 113.0ms (0.3% of total)

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

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

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

adjust: 2.0ms (0% of total)

Bogosity

eval1.0min (10.3%)

Memory: 665.5MiB live, 100 327.0MiB allocated
Compiler: Compiled 44 838 004 to 508 425 computations (98.9% saved)

rewrite51.9s (8.6%)

Memory

-319.2MiB live, 70 254.6MiB allocated

Algorithm

120×	batch-egg-rewrite

Rules

573 582×	`lower-fma.f64`
572 764×	`lower-fma.f32`
532 324×	`lower-*.f64`
529 326×	`lower-*.f32`
386 906×	`lower-/.f64`

Stop Event

244×	iter limit
117×	node limit
3×	unsound

Counts

2 347 → 72 635

soundness43.6s (7.2%)

Memory

293.3MiB live, 34 049.5MiB allocated

Rules

1 461 826×	`lower-fma.f64`
1 461 320×	`lower-fma.f32`
950 044×	`lower-*.f64`
948 046×	`lower-*.f32`
477 452×	`lower-+.f64`

Stop Event

259×	iter limit
176×	node limit
30×	fuel

Compiler

Compiled 46 382 to 14 730 computations (68.2% saved)

regimes41.1s (6.8%)

Memory

161.6MiB live, 66 819.2MiB allocated

Counts

16 092 → 505

Calls

145 calls:

1.3s	cosTheta_i
1.2s	s
1.1s	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
1.1s	uy
1.1s	u2

Compiler

Compiled 37 270 to 21 297 computations (42.9% saved)

localize33.1s (5.5%)

Memory

-135.9MiB live, 49 852.9MiB allocated

Samples

12.1s	27 294×	0	valid
1.4s	2 119×	0	invalid
776.0ms	810×	1	valid
346.0ms	366×	0	exit
90.0ms	37×	5	exit
41.0ms	94×	1	exit

Compiler

Compiled 139 570 to 6 456 computations (95.4% saved)

Precisions

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

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

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

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

const: 461.0ms (4.2% of total)

ival-sub: 449.0ms (4% of total)

ival-log: 439.0ms (4% of total)

ival-sqrt: 413.0ms (3.7% of total)

ival-cos: 295.0ms (2.7% of total)

ival-neg: 281.0ms (2.5% of total)

ival-sin: 278.0ms (2.5% of total)

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

ival-exp: 228.0ms (2.1% of total)

ival-pow: 144.0ms (1.3% of total)

ival-log1p: 107.0ms (1% of total)

adjust: 101.0ms (0.9% of total)

ival-floor: 93.0ms (0.8% of total)

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

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

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

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

ival->: 73.0ms (0.7% of total)

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

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

exact: 56.0ms (0.5% of total)

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

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

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

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

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

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

ival-e: 10.0ms (0.1% of total)

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

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

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

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

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

end32.3s (5.3%)

Memory: 17.8MiB live, 15 615.2MiB allocated

analyze20.5s (3.4%)

Memory

-172.6MiB live, 32 306.7MiB 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)

series13.7s (2.3%)

Memory

581.9MiB live, 19 647.2MiB allocated

Counts

2 347 → 66 852

Calls

8367 calls:

Time	Variable		Point	Expression
349.0ms	alphax	@	-inf	(pow (+ 1 (/ u0 (* (- 1 u0) (+ (/ (+ (* -1/2 (cos (* 2 (atan (* (tan (* (PI) (+ (* 2 u1) 1/2))) (/ alphay alphax)))))) 1/2) (* alphay alphay)) (/ 1 (* alphax (* alphax (+ 1 (pow (* (/ alphay alphax) (tan (+ (* 2 (* (PI) u1)) (* (PI) 1/2)))) 2))))))))) -1/2)
282.0ms	w	@	inf	(pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))) 1/4)
229.0ms	h	@	-inf	(pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))) 1/4)
198.0ms	h	@	-inf	(pow (exp 2) (log (* (floor h) dY.v)))
165.0ms	dY.v	@	inf	(pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))) 1/4)

preprocess11.0s (1.8%)

Memory

27.8MiB live, 14 783.0MiB 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 69 252 to 17 658 computations (74.5% saved)

explain8.4s (1.4%)

Memory

-80.3MiB live, 13 511.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1033	84
`-.f32`	`#f`	cancellation	377	41
`sqrt.f32`	`#f`	oflow-rescue	376	0
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	190	9
`cos.f32`	`#f`	sensitivity	181	19
`/.f32`	`#f`	o/n	152	0
`exp.f32`	`#f`	sensitivity	39	25
`/.f32`	`#f`	u/n	23	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	20	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	288
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	20
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	144
↳	`(*.f32 eta eta)`	underflow	20
`/.f32`	`#f`	o/o	14	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	4	0
↳	`(/.f32 sin2phi (*.f32 alphay alphay))`	overflow	10
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	10
`sin.f32`	`(sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))`	cancellation	1	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	1	0
`*.f32`	`(*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta))`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	1685	78
-	379	5538

Precision

0.8163759689922481

Recall

0.9557572319909245

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1685	47	31
-	379	121	5417

Precision?

0.7759856630824373

Recall?

0.9824163357912649

Freqs

test

number	freq
0	5616
1	1730
2	320
3	14

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	24	1	0
-	2	1	2

Precision?

0.8928571428571429

Recall?

1.0

Samples

2.6s	15 286×	0	valid
79.0ms	74×	1	valid

Compiler

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

Precisions

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

ival-mult: 560.0ms (29.9% of total)

ival-sub: 306.0ms (16.3% of total)

ival-div: 242.0ms (12.9% of total)

ival-log: 115.0ms (6.1% of total)

ival-sqrt: 111.0ms (5.9% of total)

ival-add: 105.0ms (5.6% of total)

ival-sin: 80.0ms (4.3% of total)

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

ival-exp: 40.0ms (2.1% of total)

ival-floor: 40.0ms (2.1% of total)

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

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

const: 22.0ms (1.2% of total)

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

ival-fmax: 18.0ms (1% of total)

ival-if: 15.0ms (0.8% of total)

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

ival-log2: 13.0ms (0.7% of total)

exact: 13.0ms (0.7% of total)

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

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

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

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

ival-sinh: 4.0ms (0.2% 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)

bsearch68.0ms (0%)

Memory

-39.0MiB live, 121.4MiB allocated

Algorithm

97×	left-value
19×	binary-search

Stop Event

19×	narrow-enough

Compiler

Compiled 3 694 to 2 491 computations (32.6% saved)

prune1.9min (18.4%)

simplify1.7min (16.9%)

sample1.2min (12.1%)

eval1.0min (10.3%)

rewrite51.9s (8.6%)

soundness43.6s (7.2%)

regimes41.1s (6.8%)

localize33.1s (5.5%)

end32.3s (5.3%)

analyze20.5s (3.4%)

series13.7s (2.3%)

preprocess11.0s (1.8%)

explain8.4s (1.4%)

bsearch68.0ms (0%)

Profiling