Metrics for Herbie run

Date:	Tuesday, August 20th, 2024
Commit:	fce740b4 on ffi-types
Hostname:	nightly with Racket 8.11.1
Seed:	2024233
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

prune7.3min (37.1%)

Memory: -1 568.2MiB live, 1 061 724.4MiB allocated
Counts: 282 257 → 7 696
Compiler: Compiled 686 881 to 284 557 computations (58.6% saved)

sample3.4min (17.2%)

Memory

-39.6MiB live, 299 285.9MiB allocated

Samples

57.9s	121 713×	1	valid
37.4s	280 398×	0	valid
30.5s	14 407×	5	exit
16.9s	24 045×	2	valid
8.1s	3 129×	3	valid
6.9s	34 875×	0	exit
4.7s	10 906×	1	exit
3.2s	20 572×	0	invalid
2.9s	11 003×	1	invalid
499.0ms	36×	4	exit
306.0ms	25×	3	exit
288.0ms	803×	2	invalid
118.0ms	27×	4	valid
26.0ms	12×	2	exit

Precisions

Click to see histograms. Total time spent on operations: 2.4min

ival-pow: 25.8s (17.6% of total)

ival-mult: 17.5s (11.9% of total)

ival-cos: 17.3s (11.8% of total)

ival-sin: 15.9s (10.9% of total)

ival-div: 12.9s (8.8% of total)

adjust: 10.3s (7% of total)

ival-pow2: 9.1s (6.2% of total)

ival-sub: 6.3s (4.3% of total)

ival-add: 6.1s (4.1% of total)

ival-exp: 5.7s (3.9% of total)

ival-log: 4.5s (3.1% of total)

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

ival-neg: 2.1s (1.4% of total)

const: 1.7s (1.2% of total)

ival-<: 1.4s (1% of total)

ival-hypot: 832.0ms (0.6% of total)

ival-atan2: 832.0ms (0.6% of total)

ival-tan: 616.0ms (0.4% of total)

ival-pi: 523.0ms (0.4% of total)

exact: 410.0ms (0.3% of total)

ival-acos: 390.0ms (0.3% of total)

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

ival-and: 328.0ms (0.2% of total)

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

ival-cbrt: 310.0ms (0.2% of total)

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

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

ival-fabs: 150.0ms (0.1% of total)

ival-<=: 130.0ms (0.1% of total)

ival-log1p: 122.0ms (0.1% of total)

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

ival-or: 0.0ms (0% of total)

Bogosity

simplify2.1min (10.6%)

Memory

530.9MiB live, 177 405.9MiB allocated

Algorithm

458×	egg-herbie

Rules

3 514 892×	`lower-fma.f32`
3 513 816×	`lower-fma.f64`
1 738 012×	`lower-*.f32`
1 733 624×	`lower-*.f64`
953 012×	`lower-+.f32`

Stop Event

609×	iter limit
321×	node limit
137×	saturated

Counts

98 764 → 98 067

soundness1.2min (5.9%)

Memory

196.5MiB live, 69 792.1MiB allocated

Rules

2 260 180×	`lower-fma.f32`
2 259 464×	`lower-fma.f64`
1 503 672×	`lower-*.f32`
1 500 356×	`lower-*.f64`
777 774×	`lower-+.f32`

Stop Event

426×	iter limit
287×	node limit
46×	fuel
6×	done

Compiler

Compiled 73 357 to 31 236 computations (57.4% saved)

localize1.2min (5.9%)

Memory

-961.1MiB live, 119 839.7MiB allocated

Samples

21.6s	16 255×	1	valid
9.4s	4 939×	2	valid
8.9s	27 352×	0	valid
6.1s	639×	5	exit
1.4s	2 017×	0	invalid
736.0ms	375×	3	valid
697.0ms	86×	4	exit
447.0ms	122×	1	invalid
234.0ms	173×	1	exit
45.0ms	6×	2	exit
21.0ms	3×	4	valid
7.0ms	1×	3	exit

Compiler

Compiled 132 226 to 9 516 computations (92.8% saved)

Precisions

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

ival-mult: 9.4s (23.5% of total)

ival-sin: 5.7s (14.3% of total)

ival-cos: 5.4s (13.5% of total)

ival-div: 3.7s (9.3% of total)

adjust: 3.5s (8.9% of total)

ival-add: 3.0s (7.5% of total)

ival-sub: 1.6s (4.1% of total)

ival-pow2: 1.4s (3.6% of total)

const: 1.2s (3.1% of total)

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

ival-log: 626.0ms (1.6% of total)

ival-exp: 537.0ms (1.3% of total)

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

ival-pow: 352.0ms (0.9% of total)

ival-hypot: 337.0ms (0.8% of total)

ival-atan2: 334.0ms (0.8% of total)

ival-tan: 246.0ms (0.6% of total)

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

ival-log1p: 142.0ms (0.4% of total)

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

ival-acos: 111.0ms (0.3% of total)

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

exact: 95.0ms (0.2% of total)

ival-pi: 87.0ms (0.2% of total)

ival-true: 48.0ms (0.1% of total)

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

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

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

ival-cosh: 3.0ms (0% of total)

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

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

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

rewrite1.0min (5.2%)

Memory

225.1MiB live, 95 953.2MiB allocated

Rules

868 212×	`lower-fma.f32`
867 156×	`lower-fma.f64`
852 664×	`lower-*.f32`
848 388×	`lower-*.f64`
683 956×	`lower-/.f32`

Stop Event

416×	iter limit
201×	node limit
1×	saturated
1×	unsound

Counts

3 721 → 124 034

eval59.2s (5%)

Memory: 1 302.4MiB live, 108 923.8MiB allocated
Compiler: Compiled 16 218 126 to 709 122 computations (95.6% saved)

regimes51.6s (4.3%)

Memory

154.6MiB live, 80 933.0MiB allocated

Counts

27 903 → 1 098

Calls

155 calls:

3.7s	phi1
3.3s	phi2
2.9s	lambda1
2.9s	lambda2
2.6s	b

Compiler

Compiled 28 515 to 16 851 computations (40.9% saved)

series23.6s (2%)

Memory

927.1MiB live, 41 498.2MiB allocated

Counts

3 721 → 98 764

Calls

12666 calls:

Time	Variable		Point	Expression
262.0ms	angle	@	-inf	(* (PI) (* angle 1/90))
148.0ms	angle	@	-inf	(* (log (sin (* angle (* 1/180 (PI))))) 1)
141.0ms	angle	@	0	(* (neg (log (* angle (* (PI) 1/180)))) -1)
124.0ms	s	@	inf	(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
110.0ms	a	@	0	(exp (+ (log a) (log b)))

explain20.9s (1.8%)

Memory

-131.5MiB live, 35 108.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1803	2
`+.f64`	`#f`	cancellation	1744	41
`sin.f64`	`#f`	sensitivity	1515	2
`sqrt.f64`	`#f`	oflow-rescue	1363	0
`-.f64`	`#f`	cancellation	954	11
`log.f64`	`#f`	sensitivity	585	0
`-.f64`	`#f`	nan-rescue	505	0
`/.f64`	`#f`	o/n	438	0
`/.f64`	`#f`	o/o	340	0
`/.f64`	`#f`	u/u	329	0
`*.f64`	`#f`	*no**	271	0
`sqrt.f64`	`#f`	uflow-rescue	169	0
`exp.f64`	`#f`	sensitivity	168	24
`/.f64`	`#f`	u/n	167	0
`/.f64`	`#f`	n/o	110	0
`cbrt.f64`	`#f`	oflow-rescue	88	0
`*.f64`	`#f`	*nu**	88	0
`cbrt.f64`	`#f`	uflow-rescue	47	0
`/.f64`	`#f`	n/u	39	0
`*.f64`	`#f`	*uo**	32	0
`*.f64`	`#f`	*ou**	25	0
`acos.f64`	`(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))`	sensitivity	21	3
`pow.f64`	`#f`	sensitivity	11	0
`pow.f64`	`#f`	uflow-rescue	11	0
`log.f64`	`#f`	oflow-rescue	7	0
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	2	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	2
↳	`(exp.f64 a)`	underflow	64
↳	`(exp.f64 b)`	underflow	57
`asin.f64`	`(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))`	sensitivity	1	0

Confusion

	Predicted +	Predicted -
+	5674	73
-	1427	6138

Precision

0.7990423883960006

Recall

0.9872977205498521

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5674	50	23
-	1427	19	6119

Precision?

0.798326359832636

Recall?

0.995997911954063

Freqs

test

number	freq
0	6211
1	4801
2	1532
3	387
4	213
5	100
6	41
7	12
8	10
9	5

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	0	0
-	2	0	7

Precision?

0.9555555555555556

Recall?

1.0

Samples

4.1s	7 958×	1	valid
2.4s	2 036×	2	valid
2.2s	16 332×	0	valid
534.0ms	292×	3	valid
22.0ms	4×	4	valid
3.0ms	2×	5	exit

Compiler

Compiled 20 079 to 2 554 computations (87.3% saved)

Precisions

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

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

ival-cos: 1.2s (16% of total)

ival-mult: 1.0s (13.8% of total)

ival-div: 693.0ms (9.4% of total)

ival-log: 532.0ms (7.2% of total)

ival-pow2: 422.0ms (5.7% of total)

adjust: 396.0ms (5.4% of total)

ival-sub: 272.0ms (3.7% of total)

ival-add: 258.0ms (3.5% of total)

ival-exp: 220.0ms (3% of total)

ival-sqrt: 191.0ms (2.6% of total)

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

ival-tan: 48.0ms (0.6% of total)

ival-atan2: 42.0ms (0.6% of total)

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

ival-hypot: 37.0ms (0.5% of total)

ival-pi: 30.0ms (0.4% of total)

ival-cbrt: 29.0ms (0.4% of total)

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

ival-acos: 27.0ms (0.4% of total)

ival-true: 26.0ms (0.4% of total)

exact: 19.0ms (0.3% of total)

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

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

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

ival-log1p: 7.0ms (0.1% of total)

preprocess16.3s (1.4%)

Memory

53.4MiB live, 21 712.4MiB allocated

Algorithm

52×	egg-herbie

Rules

238 304×	`lower-fma.f64`
238 304×	`lower-fma.f32`
81 478×	`lower-*.f32`
81 146×	`lower-*.f64`
46 832×	`unsub-neg`

Stop Event

104×	iter limit
61×	saturated
43×	node limit

Compiler

Compiled 80 293 to 21 908 computations (72.7% saved)

analyze16.3s (1.4%)

Memory

-2.1MiB live, 25 702.8MiB allocated

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
17.2%	13.7%	65.7%	20.6%	0%	0%	0%	1
25%	19.6%	58.5%	20.6%	0%	1.3%	0%	2
35.2%	26.6%	48.9%	20.6%	0%	3.8%	0%	3
42.3%	31.7%	43.1%	20.6%	0%	4.5%	0%	4
47.9%	35.6%	38.7%	20.6%	0%	5.1%	0%	5
51%	37.6%	36.1%	20.6%	0%	5.7%	0%	6
54.4%	39.7%	33.2%	20.6%	0%	6.5%	0%	7
56.2%	40.7%	31.8%	20.6%	0%	6.8%	0%	8
59%	42.5%	29.5%	20.6%	0%	7.4%	0%	9
60.3%	43.2%	28.4%	20.6%	0%	7.7%	0%	10
62.1%	44.3%	27%	20.6%	0%	8.1%	0%	11
63.6%	45.1%	25.8%	20.6%	0%	8.5%	0%	12

Compiler

Compiled 1 826 to 990 computations (45.8% saved)

end13.9s (1.2%)

Memory: 32.8MiB live, 34 799.0MiB allocated

bsearch12.9s (1.1%)

Memory

115.8MiB live, 21 923.8MiB allocated

Algorithm

303×	binary-search
217×	left-value

Stop Event

290×	narrow-enough
13×	predicate-same

Samples

6.6s	8 564×	1	valid
2.6s	13 906×	0	valid
765.0ms	816×	2	valid
360.0ms	154×	3	valid
47.0ms	108×	1	exit
24.0ms	287×	0	invalid
3.0ms	5×	1	invalid
2.0ms	30×	0	exit

Compiler

Compiled 129 652 to 80 199 computations (38.1% saved)

Precisions

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

ival-sin: 2.4s (25.8% of total)

ival-cos: 2.3s (25% of total)

ival-mult: 1.3s (13.7% of total)

ival-pow2: 696.0ms (7.6% of total)

ival-div: 642.0ms (7% of total)

adjust: 556.0ms (6% of total)

ival-sub: 390.0ms (4.2% of total)

ival-add: 246.0ms (2.7% of total)

ival-sqrt: 162.0ms (1.8% of total)

ival-atan2: 156.0ms (1.7% of total)

ival-acos: 63.0ms (0.7% of total)

ival-hypot: 48.0ms (0.5% of total)

ival-neg: 44.0ms (0.5% of total)

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

ival-exp: 42.0ms (0.5% of total)

ival-pi: 41.0ms (0.4% of total)

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

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

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

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

exact: 14.0ms (0.2% of total)

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

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

ival-log: 7.0ms (0.1% of total)

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

start1.0ms (0%)

Memory: 3.0MiB live, 2.9MiB allocated

prune7.3min (37.1%)

sample3.4min (17.2%)

simplify2.1min (10.6%)

soundness1.2min (5.9%)

localize1.2min (5.9%)

rewrite1.0min (5.2%)

eval59.2s (5%)

regimes51.6s (4.3%)

series23.6s (2%)

explain20.9s (1.8%)

preprocess16.3s (1.4%)

analyze16.3s (1.4%)

end13.9s (1.2%)

bsearch12.9s (1.1%)

start1.0ms (0%)

Profiling