Metrics for Herbie run

Date:	Tuesday, June 25th, 2024
Commit:	c8a5274a on zane-job-abstraction-places
Hostname:	nightly with Racket 8.11.1
Seed:	2024177
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.4min (26.2%)

Memory

1 171.0MiB live, 210 097.5MiB allocated

Algorithm

270×	egg-herbie

Rules

210 162×	`fma-define`
123 218×	`distribute-lft-in`
120 076×	`times-frac`
114 382×	`*-commutative`
108 714×	`associate-r`

Stop Event

207×	node limit
63×	saturated

Counts

103 255 → 72 971

soundness1.5min (16.3%)

Memory

711.8MiB live, 100 516.9MiB allocated

Rules

95 248×	`fma-define`
62 948×	`times-frac`
59 110×	`associate-r`
58 270×	`*-commutative`
51 066×	`distribute-lft-in`

Stop Event

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

Compiler

Compiled 75 218 to 12 359 computations (83.6% saved)

sample1.3min (14.5%)

Memory

486.4MiB live, 106 541.8MiB allocated

Samples

58.8s	247 636×	0	valid
1.7s	10 271×	0	invalid
5.0ms	44×	1	valid

Precisions

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

ival-mult: 10.7s (21.9% of total)

...in/eval/compile.rkt:77:19: 8.2s (16.8% of total)

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

ival-div: 4.3s (8.7% of total)

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

ival-log: 2.2s (4.4% of total)

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

ival-sub: 1.7s (3.4% of total)

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

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

ival-and: 1.1s (2.3% of total)

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

ival-pi: 807.0ms (1.7% of total)

ival-exp: 737.0ms (1.5% of total)

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

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

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

...in/eval/compile.rkt:76:19: 310.0ms (0.6% of total)

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

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

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

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

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

ival-<: 151.0ms (0.3% of total)

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

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

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

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

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

adjust: 1.0ms (0% of total)

Bogosity

prune42.1s (7.6%)

Memory: -424.3MiB live, 73 944.6MiB allocated
Counts: 139 528 → 4 054
Compiler: Compiled 378 828 to 133 639 computations (64.7% saved)

regimes33.5s (6.1%)

Memory

-37.1MiB live, 49 755.4MiB allocated

Counts

9 721 → 387

Calls

145 calls:

1.7s	dY.u
956.0ms	u
898.0ms	cosTheta_i
780.0ms	dX.v
705.0ms	dX.u

Compiler

Compiled 14 029 to 9 692 computations (30.9% saved)

rewrite33.1s (6%)

Memory

-36.4MiB live, 35 749.5MiB allocated

Algorithm

120×	batch-egg-rewrite

Rules

61 697×	`log1p-expm1-u`
48 663×	`expm1-log1p-u`
37 901×	`pow1`
37 574×	`add-exp-log`
36 512×	`log-prod`

Stop Event

120×	node limit

Counts

2 012 → 44 897

series30.6s (5.5%)

Memory

663.5MiB live, 49 567.3MiB allocated

Counts

2 012 → 58 358

Calls

14400 calls:

Time	Variable		Point	Expression
553.0ms	d	@	0	(log (+ 1 (log2 (sqrt (fmax (pow (sqrt (+ (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (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))))))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2))))))
326.0ms	w	@	inf	(* (log (fmax (pow (sqrt (+ (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (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))))))) 2) (pow (* (floor d) dY.w) 2))) 1/2)
305.0ms	dY.u	@	inf	(log (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)))) 2)))
300.0ms	dX.u	@	-inf	(if (> (/ (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 (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (floor maxAniso) (/ (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 (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))))
211.0ms	s	@	0	(* (* s -3) (log (+ 1 (/ (+ u -1/4) -3/4))))

localize29.5s (5.3%)

Memory

424.0MiB live, 48 763.1MiB allocated

Samples

11.6s	26 473×	0	valid
2.2s	567×	5	exit
974.0ms	1 844×	0	invalid
443.0ms	1 406×	0	exit
420.0ms	430×	1	valid

Compiler

Compiled 100 525 to 5 587 computations (94.4% saved)

Precisions

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

ival-mult: 3.3s (28.4% of total)

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

ival-add: 759.0ms (6.6% of total)

ival-pow2: 613.0ms (5.4% of total)

ival-sqrt: 579.0ms (5.1% of total)

ival-pow: 428.0ms (3.7% of total)

ival-sub: 382.0ms (3.3% of total)

ival-log1p: 360.0ms (3.1% of total)

...in/eval/compile.rkt:77:19: 359.0ms (3.1% of total)

ival-log: 340.0ms (3% of total)

ival-exp: 333.0ms (2.9% of total)

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

ival-hypot: 328.0ms (2.9% of total)

ival-tan: 208.0ms (1.8% of total)

ival-floor: 184.0ms (1.6% of total)

adjust: 176.0ms (1.5% of total)

ival-cos: 153.0ms (1.3% of total)

ival-fmax: 151.0ms (1.3% of total)

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

ival-neg: 117.0ms (1% of total)

ival-if: 111.0ms (1% of total)

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

ival-cbrt: 62.0ms (0.5% of total)

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

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

ival-expm1: 40.0ms (0.3% of total)

...in/eval/compile.rkt:76:19: 40.0ms (0.3% of total)

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

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

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

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

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

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

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

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

eval28.3s (5.1%)

Memory: -201.8MiB live, 48 817.3MiB allocated
Compiler: Compiled 13 063 496 to 589 910 computations (95.5% saved)

analyze22.0s (4%)

Memory

187.4MiB live, 32 697.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)

explain10.2s (1.8%)

Memory

156.2MiB live, 13 177.6MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1035	70
`-.f32`	`#f`	cancellation	405	34
`sqrt.f32`	`#f`	oflow-rescue	405	0
`cos.f32`	`#f`	sensitivity	188	13
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	183	14
`/.f32`	`#f`	o/n	158	0
`exp.f32`	`#f`	sensitivity	34	15
`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	12	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	268
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	12
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	134
↳	`(*.f32 eta eta)`	underflow	12
`/.f32`	`#f`	u/n	12	0
`/.f32`	`#f`	o/o	10	0
`/.f32`	`#f`	n/o	9	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	3	0
`*.f32`	`#f`	*no**	2	0
`+.f32`	`(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	1716	58
-	388	5518

Precision

0.8155893536121673

Recall

0.9673055242390078

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1716	33	25
-	388	104	5414

Precision?

0.7804551539491299

Recall?

0.9859075535512966

Freqs

test

number	freq
0	5576
1	1761
2	333
3	10

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	20	2	0
-	3	1	4

Precision?

0.8461538461538461

Recall?

1.0

Samples

3.0s	15 320×	0	valid
13.0ms	40×	1	valid

Compiler

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

Precisions

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

ival-mult: 757.0ms (38.1% of total)

ival-div: 206.0ms (10.4% of total)

ival-fabs: 158.0ms (8% of total)

ival-sin: 128.0ms (6.4% of total)

ival-cos: 100.0ms (5% of total)

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

ival-sub: 78.0ms (3.9% of total)

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

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

...in/eval/compile.rkt:77:19: 52.0ms (2.6% of total)

ival-log2: 42.0ms (2.1% of total)

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

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

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

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

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

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

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

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

...in/eval/compile.rkt:76:19: 8.0ms (0.4% of total)

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

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

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

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

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

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

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

adjust: 1.0ms (0.1% of total)

preprocess9.3s (1.7%)

Memory

-41.9MiB live, 10 574.5MiB 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 51 326 to 14 558 computations (71.6% saved)

bsearch44.0ms (0%)

Memory

17.7MiB live, 94.3MiB allocated

Algorithm

54×	binary-search
24×	left-value

Stop Event

54×	narrow-enough

Compiler

Compiled 3 802 to 1 878 computations (50.6% saved)

end0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated

simplify2.4min (26.2%)

soundness1.5min (16.3%)

sample1.3min (14.5%)

prune42.1s (7.6%)

regimes33.5s (6.1%)

rewrite33.1s (6%)

series30.6s (5.5%)

localize29.5s (5.3%)

eval28.3s (5.1%)

analyze22.0s (4%)

explain10.2s (1.8%)

preprocess9.3s (1.7%)

bsearch44.0ms (0%)

end0.0ms (0%)

Profiling