Metrics for Herbie run

Date:	Saturday, August 17th, 2024
Commit:	3d05e0ff on zane-server-ci
Hostname:	nightly with Racket 8.11.1
Seed:	2024230
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.7min (27.3%)

Memory: -486.8MiB live, 138 644.2MiB allocated
Counts: 222 387 → 4 610
Compiler: Compiled 423 895 to 158 358 computations (62.6% saved)

simplify1.3min (12.9%)

Memory

1 245.4MiB live, 91 650.1MiB allocated

Algorithm

267×	egg-herbie

Rules

2 305 760×	`lower-fma.f64`
2 304 874×	`lower-fma.f32`
1 058 098×	`lower-*.f64`
1 055 220×	`lower-*.f32`
609 866×	`lower-+.f64`

Stop Event

362×	iter limit
202×	node limit
60×	saturated
5×	unsound

Counts

66 948 → 66 695

sample1.2min (12.2%)

Memory

116.2MiB live, 93 283.7MiB allocated

Samples

51.2s	247 595×	0	valid
1.9s	10 364×	0	invalid
13.0ms	85×	1	valid

Precisions

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

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

const: 6.6s (15.3% of total)

ival-<=: 6.5s (15.2% of total)

ival-div: 3.8s (8.9% of total)

ival-fabs: 1.7s (4% of total)

ival-sqrt: 1.7s (3.9% of total)

ival-add: 1.6s (3.6% of total)

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

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

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

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

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

ival-exp: 707.0ms (1.6% of total)

ival-floor: 648.0ms (1.5% of total)

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

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

exact: 423.0ms (1% of total)

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

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

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

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

ival-log2: 188.0ms (0.4% of total)

ival-==: 187.0ms (0.4% of total)

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

ival->: 171.0ms (0.4% of total)

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

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

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

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

adjust: 2.0ms (0% of total)

Bogosity

eval1.0min (10.2%)

Memory: -257.6MiB live, 78 881.0MiB allocated
Compiler: Compiled 41 728 682 to 490 125 computations (98.8% saved)

soundness49.8s (8.3%)

Memory

-263.4MiB live, 34 439.2MiB allocated

Rules

1 583 774×	`lower-fma.f64`
1 583 306×	`lower-fma.f32`
986 174×	`lower-*.f64`
984 372×	`lower-*.f32`
514 386×	`lower-+.f64`

Stop Event

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

Compiler

Compiled 49 007 to 14 873 computations (69.7% saved)

rewrite44.8s (7.5%)

Memory

317.6MiB live, 51 723.7MiB allocated

Rules

562 644×	`lower-fma.f64`
561 770×	`lower-fma.f32`
505 704×	`lower-*.f64`
502 932×	`lower-*.f32`
371 054×	`lower-/.f64`

Stop Event

245×	iter limit
114×	node limit
5×	unsound

Counts

2 335 → 70 121

regimes41.5s (6.9%)

Memory

400.1MiB live, 58 284.8MiB allocated

Counts

16 169 → 489

Calls

144 calls:

1.3s	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
1.2s	s
1.1s	(*.f32 uy #s(literal 2 binary32))
1.0s	uy
975.0ms	u

Compiler

Compiled 37 881 to 21 135 computations (44.2% saved)

localize30.1s (5%)

Memory

-433.3MiB live, 40 107.5MiB allocated

Samples

13.6s	27 039×	0	valid
1.2s	2 482×	0	invalid
754.0ms	646×	1	valid
138.0ms	63×	5	exit
121.0ms	234×	1	exit

Compiler

Compiled 139 936 to 6 486 computations (95.4% saved)

Precisions

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

ival-mult: 4.4s (36% of total)

ival-div: 1.9s (15.3% of total)

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

ival-sqrt: 467.0ms (3.9% of total)

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

const: 393.0ms (3.2% of total)

ival-log: 378.0ms (3.1% of total)

ival-sub: 360.0ms (3% of total)

ival-pi: 328.0ms (2.7% of total)

ival-pow2: 310.0ms (2.6% of total)

ival-neg: 294.0ms (2.4% of total)

ival-pow: 277.0ms (2.3% of total)

ival-sin: 251.0ms (2.1% of total)

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

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

ival-tan: 128.0ms (1.1% of total)

adjust: 126.0ms (1% of total)

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

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

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

exact: 56.0ms (0.5% of total)

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

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

ival->=: 37.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

analyze20.1s (3.4%)

Memory

324.7MiB live, 28 247.1MiB 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)

series18.0s (3%)

Memory

246.1MiB live, 23 323.5MiB allocated

Counts

2 335 → 66 948

Calls

8250 calls:

Time	Variable		Point	Expression
238.0ms	d	@	-inf	(exp (+ (* (log dX.w) 2) (* 2 (log (floor d)))))
161.0ms	dX.u	@	inf	(/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (+ (* (pow (* (floor h) dY.v) 3) (/ (pow (* (floor w) dX.u) 3) (+ (* (* (floor w) (* dX.u (* (floor h) dY.v))) (* (floor w) (+ (* dX.u (* (floor h) dY.v)) (* (* (floor h) dX.v) dY.u)))) (pow (* (floor w) (* (* (floor h) dX.v) dY.u)) 2)))) (neg (/ (pow (* (floor w) (* (* (floor h) dX.v) dY.u)) 3) (+ (* (* (floor w) (* dX.u (* (floor h) dY.v))) (* (floor w) (+ (* dX.u (* (floor h) dY.v)) (* (* (floor h) dX.v) dY.u)))) (pow (* (floor w) (* (* (floor h) dX.v) dY.u)) 2)))))))
157.0ms	alpha	@	0	(* (PI) (log (* alpha alpha)))
149.0ms	alphay	@	inf	(/ (* alphax (* alphax u0)) (* (- 1 u0) (+ (* 1/2 (cos (* 2 (atan (/ (* alphay (tan (* (PI) (+ (* 2 u1) 1/2)))) alphax))))) 1/2)))
127.0ms	d	@	-inf	(* (log (fmax (+ (pow (* (floor w) dX.u) 2) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor d) dX.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)

preprocess10.5s (1.8%)

Memory

383.2MiB live, 11 738.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 93 942 to 18 704 computations (80.1% saved)

explain8.7s (1.5%)

Memory

-238.5MiB live, 11 982.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1036	83
`-.f32`	`#f`	cancellation	374	44
`sqrt.f32`	`#f`	oflow-rescue	338	0
`cos.f32`	`(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))`	sensitivity	192	13
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	190	16
`/.f32`	`#f`	o/n	130	0
`exp.f32`	`#f`	sensitivity	40	21
`/.f32`	`#f`	u/n	26	0
`/.f32`	`#f`	o/o	14	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	10	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	284
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	10
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	142
↳	`(*.f32 eta eta)`	underflow	10
`/.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	16
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	16
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	2	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 -
+	1649	63
-	376	5592

Precision

0.814320987654321

Recall

0.9632009345794392

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1649	31	32
-	376	133	5459

Precision?

0.7674737322978529

Recall?

0.9813084112149533

Freqs

test

number	freq
0	5655
1	1706
2	305
3	14

Total Confusion?

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

Precision?

0.8076923076923077

Recall?

1.0

Samples

2.4s	15 300×	0	valid
19.0ms	60×	1	valid

Compiler

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

Precisions

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

ival-mult: 687.0ms (40.1% of total)

ival-div: 251.0ms (14.7% of total)

ival-add: 108.0ms (6.3% of total)

ival-sub: 90.0ms (5.3% of total)

ival-sin: 84.0ms (4.9% of total)

ival-log: 67.0ms (3.9% of total)

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

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

ival-floor: 39.0ms (2.3% of total)

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

const: 25.0ms (1.5% of total)

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

ival-fabs: 25.0ms (1.5% of total)

ival-neg: 25.0ms (1.5% of total)

ival-tan: 24.0ms (1.4% of total)

ival->=: 20.0ms (1.2% of total)

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

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

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

exact: 13.0ms (0.8% of total)

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

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

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

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

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

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

adjust: 2.0ms (0.1% of total)

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

bsearch85.0ms (0%)

Memory

30.1MiB live, 105.3MiB allocated

Algorithm

70×	left-value
37×	binary-search

Stop Event

37×	narrow-enough

Compiler

Compiled 4 712 to 2 708 computations (42.5% saved)

start1.0ms (0%)

Memory: 2.9MiB live, 2.8MiB allocated

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

prune2.7min (27.3%)

simplify1.3min (12.9%)

sample1.2min (12.2%)

eval1.0min (10.2%)

soundness49.8s (8.3%)

rewrite44.8s (7.5%)

regimes41.5s (6.9%)

localize30.1s (5%)

analyze20.1s (3.4%)

series18.0s (3%)

preprocess10.5s (1.8%)

explain8.7s (1.5%)

bsearch85.0ms (0%)

start1.0ms (0%)

end0.0ms (0%)

Profiling