Metrics for Herbie run

Date:	Friday, November 8th, 2024
Commit:	e1f2a9b8 on fix-1030
Hostname:	nightly with Racket 8.10
Seed:	2024313
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample1.3min (25%)

Memory

577.5MiB live, 70 752.7MiB allocated

Samples

34.6s	285 749×	0	valid
14.3s	43 700×	1	valid
8.3s	16 911×	2	valid
767.0ms	4 225×	0	invalid
289.0ms	101×	3	exit
141.0ms	392×	3	valid
132.0ms	101×	4	exit
124.0ms	978×	0	exit
5.0ms	39×	1	exit

Precisions

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

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

ival-pow: 6.0s (13.5% of total)

ival-div: 3.9s (9% of total)

ival-add: 3.5s (8% of total)

ival-sub: 3.5s (7.9% of total)

const: 3.2s (7.3% of total)

adjust: 3.0s (6.8% of total)

ival-<=: 2.8s (6.3% of total)

ival-sin: 2.6s (5.9% of total)

ival-cos: 2.0s (4.5% of total)

ival-sqrt: 559.0ms (1.3% of total)

ival-neg: 538.0ms (1.2% of total)

ival-exp: 464.0ms (1.1% of total)

exact: 449.0ms (1% of total)

ival-and: 368.0ms (0.8% of total)

ival-pow2: 354.0ms (0.8% of total)

ival-==: 315.0ms (0.7% of total)

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

ival-expm1: 155.0ms (0.4% of total)

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

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

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

ival-log1p: 82.0ms (0.2% of total)

ival-<: 69.0ms (0.2% of total)

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

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

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

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

Bogosity

simplify55.1s (17.3%)

Memory

1 195.0MiB live, 43 027.9MiB allocated

Algorithm

342×	egg-herbie

Stop Event

436×	iter limit
262×	node limit
94×	saturated

Counts

10 192 → 10 055

soundness49.4s (15.6%)

Memory

-81.0MiB live, 24 012.4MiB allocated

Stop Event

257×	iter limit
170×	node limit
25×	fuel
17×	done
9×	saturated

Compiler

Compiled 47 099 to 13 894 computations (70.5% saved)

rewrite37.6s (11.8%)

Memory

-135.2MiB live, 32 974.6MiB allocated

Stop Event

294×	iter limit
145×	node limit
13×	saturated

Counts

1 946 → 82 143

localize23.8s (7.5%)

Memory

-185.9MiB live, 21 833.2MiB allocated

Samples

7.6s	29 360×	0	valid
3.8s	2 697×	2	valid
3.6s	5 456×	1	valid
455.0ms	214×	3	valid
209.0ms	301×	0	invalid
107.0ms	20×	4	valid
103.0ms	180×	0	exit
100.0ms	166×	1	exit
18.0ms	6×	5	exit

Compiler

Compiled 79 802 to 8 909 computations (88.8% saved)

Precisions

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

ival-mult: 3.5s (29.4% of total)

ival-div: 2.0s (16.9% of total)

ival-add: 1.7s (14.3% of total)

adjust: 1.4s (11.7% of total)

ival-sub: 742.0ms (6.2% of total)

ival-pow: 721.0ms (6.1% of total)

const: 701.0ms (5.9% of total)

ival-neg: 237.0ms (2% of total)

ival-sin: 158.0ms (1.3% of total)

ival-cos: 148.0ms (1.2% of total)

ival-exp: 147.0ms (1.2% of total)

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

ival-pow2: 81.0ms (0.7% of total)

exact: 77.0ms (0.6% of total)

ival-log1p: 37.0ms (0.3% of total)

ival-log: 34.0ms (0.3% of total)

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

ival-expm1: 26.0ms (0.2% of total)

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

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

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

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

eval20.4s (6.4%)

Memory: -103.2MiB live, 22 115.5MiB allocated
Compiler: Compiled 3 832 564 to 340 342 computations (91.1% saved)

preprocess11.8s (3.7%)

Memory

239.6MiB live, 9 219.1MiB allocated

Algorithm

42×	egg-herbie

Stop Event

82×	iter limit
54×	saturated
32×	node limit

Compiler

Compiled 61 703 to 9 514 computations (84.6% saved)

explain10.2s (3.2%)

Memory

-222.8MiB live, 12 212.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1314	0
`+.f64`	`#f`	cancellation	369	77
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	236	0
`sqrt.f64`	`#f`	oflow-rescue	198	0
`/.f64`	`#f`	n/o	170	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	166	0
`/.f64`	`#f`	o/o	156	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	111	0
`-.f64`	`#f`	nan-rescue	111	0
`/.f64`	`#f`	u/n	79	0
`/.f64`	`#f`	n/u	66	0
`+.f64`	`#f`	nan-rescue	47	0
`/.f64`	`#f`	o/n	47	0
`*.f64`	`#f`	*nu**	44	0
`/.f64`	`#f`	u/u	43	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	23	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	37
↳	`(/.f64 i n)`	overflow	23
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	23
`*.f64`	`#f`	*no**	23	0
`sqrt.f64`	`#f`	uflow-rescue	12	0

Confusion

	Predicted +	Predicted -
+	3910	219
-	114	6509

Precision

0.9716699801192843

Recall

0.946960523129087

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3910	154	65
-	114	179	6330

Precision?

0.9327518935047051

Recall?

0.9842576895131994

Freqs

test

number	freq
0	6728
1	3601
2	380
3	43

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	31	1	0
-	2	0	8

Precision?

0.9411764705882353

Recall?

1.0

Samples

1.9s	16 328×	0	valid
1.3s	3 782×	1	valid
647.0ms	1 356×	2	valid
20.0ms	38×	3	valid

Compiler

Compiled 10 840 to 1 926 computations (82.2% saved)

Precisions

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

ival-mult: 647.0ms (25.5% of total)

ival-add: 369.0ms (14.5% of total)

ival-div: 345.0ms (13.6% of total)

ival-sub: 341.0ms (13.4% of total)

adjust: 211.0ms (8.3% of total)

ival-pow: 208.0ms (8.2% of total)

ival-cos: 95.0ms (3.7% of total)

const: 70.0ms (2.8% of total)

ival-sin: 62.0ms (2.4% of total)

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

ival-exp: 30.0ms (1.2% of total)

ival-sqrt: 25.0ms (1% of total)

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

exact: 19.0ms (0.7% of total)

ival-neg: 15.0ms (0.6% of total)

ival-pow2: 14.0ms (0.6% of total)

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

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

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

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

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

regimes9.0s (2.8%)

Memory

-194.5MiB live, 8 802.5MiB allocated

Counts

5 593 → 606

Calls

96 calls:

847.0ms	x
632.0ms	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) (.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 #s(literal 3 binary64) (/.f64 (-.f64 (-.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))))))
399.0ms	x1
333.0ms	b
309.0ms	c

Compiler

Compiled 9 608 to 6 136 computations (36.1% saved)

prune6.3s (2%)

Memory: -369.0MiB live, 8 369.2MiB allocated
Counts: 90 175 → 2 071
Compiler: Compiled 175 335 to 71 066 computations (59.5% saved)

analyze6.1s (1.9%)

Memory

-5.5MiB live, 4 224.2MiB allocated

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
21.4%	11.7%	42.9%	45.5%	0%	0%	0%	1
37.4%	20.4%	34.1%	45.5%	0%	0%	0%	2
48.7%	26.2%	27.7%	45.5%	0%	0.6%	0%	3
57.7%	30.7%	22.6%	45.5%	0%	1.2%	0%	4
71.2%	37.7%	15.3%	45.5%	0%	1.6%	0%	5
72.9%	38.4%	14.3%	45.5%	0%	1.8%	0%	6
77.9%	40.7%	11.6%	45.5%	0%	2.2%	0%	7
81.5%	42.6%	9.7%	45.5%	0%	2.3%	0%	8
84.1%	43.8%	8.3%	45.5%	0%	2.5%	0%	9
86.2%	44.6%	7.2%	45.5%	0%	2.7%	0%	10
88.2%	45.6%	6.1%	45.5%	0%	2.8%	0%	11
89.1%	45.9%	5.6%	45.5%	0%	2.9%	0%	12

Compiler

Compiled 1 402 to 721 computations (48.6% saved)

series5.2s (1.6%)

Memory

-147.6MiB live, 5 178.8MiB allocated

Counts

1 946 → 10 192

Calls

867 calls:

Time	Variable		Point	Expression
291.0ms	eps	@	inf	((/ 1 (/ 1 (- x (sqrt (- (* x x) eps))))) (- x (sqrt (- (* x x) eps))) (sqrt (- (* x x) eps)) (- (* x x) eps) (- x (sqrt (- (* x x) eps))) (sqrt (- (* x x) eps)) (- (* x x) eps) (neg eps) (/ 1 (pow (- x (sqrt (- (* x x) eps))) -1)) (pow (- x (sqrt (- (* x x) eps))) -1) (* (/ x eps) 2) (/ x eps) (/ (+ (* 2 x) (* (/ eps x) -1/2)) eps) (/ 1 (pow (- x (sqrt (- (* x x) eps))) -1)) (pow (- x (sqrt (- (* x x) eps))) -1) (+ (* 2 x) (* (/ eps x) -1/2)) (+ (* (/ -1/8 x) (/ (* eps eps) x)) (* -1/2 eps)) (/ (+ (* (/ -1/8 x) (/ (* eps eps) x)) (* -1/2 eps)) (neg x)) (- x (sqrt (- (* x x) eps))) (* (+ (* (/ 1/8 (pow x 3)) eps) (/ 1/2 x)) eps) (/ 1 (- x (sqrt (- (* x x) eps)))) (* (/ eps x) -1/2) (/ (* eps eps) x))
261.0ms	t	@	0	((* (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 15/16) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/16)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 15/16) (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/16) (/ 1 (/ 1 (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/ 1 (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* (pow (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) -1/2) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) -1/2) (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) -2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (* (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 9/16) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/16)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 9/16) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/16) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
174.0ms	t	@	-inf	((* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) (- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2)) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 8) (* (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1))
170.0ms	t	@	0	((* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) (- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2)) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 8) (* (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1))
107.0ms	i	@	inf	((/ 1 (/ i (* (- (exp i) 1) 100))) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (/ 1 (/ i (* (- (exp i) 1) 100))) n) (/ i (* (- (exp i) 1) 100)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (+ (* 50 i) 100) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (+ (* (+ (* (* n i) (+ (* (- (+ (/ 11/24 (* n n)) 1/24) (+ (/ 1/4 (pow n 3)) (/ 1/4 n))) i) (- (+ (/ 1/3 (* n n)) 1/6) (/ 1/2 n)))) (* (- 1/2 (/ 1/2 n)) n)) i) n) (+ (* (* n i) (+ (* (- (+ (/ 11/24 (* n n)) 1/24) (+ (/ 1/4 (pow n 3)) (/ 1/4 n))) i) (- (+ (/ 1/3 (* n n)) 1/6) (/ 1/2 n)))) (* (- 1/2 (/ 1/2 n)) n)) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (- (pow (+ 1 (/ i n)) n) 1) (- (exp i) 1) (* (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) i) (* 100 n)) (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) i) (* n (/ (- (log i) (log n)) i)) (/ (- (log i) (log n)) i) (* (- (exp i) 1) 100) (* (/ -1/4 n) (/ (* i i) n)) (/ (* i i) n) (- (log i) (log n)))

bsearch3.4s (1.1%)

Memory

16.8MiB live, 3 248.1MiB allocated

Algorithm

193×	binary-search
104×	left-value

Stop Event

177×	narrow-enough
15×	predicate-same
1×	predicate-failed

Samples

1.6s	10 969×	0	valid
165.0ms	687×	1	valid
162.0ms	409×	2	valid
116.0ms	991×	0	invalid
8.0ms	15×	3	valid
2.0ms	21×	0	exit
0.0ms	1×	1	exit

Compiler

Compiled 135 398 to 69 649 computations (48.6% saved)

Precisions

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

ival-mult: 510.0ms (36.3% of total)

ival-div: 315.0ms (22.4% of total)

ival-sub: 183.0ms (13% of total)

ival-add: 156.0ms (11.1% of total)

ival-pow: 131.0ms (9.3% of total)

adjust: 33.0ms (2.3% of total)

ival-sqrt: 21.0ms (1.5% of total)

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

exact: 11.0ms (0.8% of total)

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

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

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

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

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

start2.0ms (0%)

Memory: 3.6MiB live, 3.6MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.5MiB allocated

sample1.3min (25%)

simplify55.1s (17.3%)

soundness49.4s (15.6%)

rewrite37.6s (11.8%)

localize23.8s (7.5%)

eval20.4s (6.4%)

preprocess11.8s (3.7%)

explain10.2s (3.2%)

regimes9.0s (2.8%)

prune6.3s (2%)

analyze6.1s (1.9%)

series5.2s (1.6%)

bsearch3.4s (1.1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling