Metrics for Herbie run

Date:	Tuesday, November 26th, 2024
Commit:	0bc53aaa on bhargav-bigfloat
Hostname:	nightly with Racket 8.10
Seed:	2024331
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.2min (23.2%)

Memory

330.4MiB live, 68 532.7MiB allocated

Samples

31.0s	285 608×	0	valid
13.4s	43 951×	1	valid
7.7s	16 802×	2	valid
351.0ms	4 218×	0	invalid
183.0ms	982×	0	exit
138.0ms	391×	3	valid
132.0ms	101×	4	exit
105.0ms	101×	3	exit
7.0ms	40×	1	exit

Precisions

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

ival-mult: 8.7s (21.5% of total)

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

ival-div: 4.0s (9.8% of total)

ival-pow: 3.7s (9.1% of total)

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

const: 3.1s (7.5% of total)

adjust: 2.8s (7% of total)

ival-<=: 2.2s (5.5% of total)

ival-sin: 2.2s (5.3% of total)

ival-cos: 1.8s (4.4% of total)

ival-exp: 700.0ms (1.7% of total)

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

exact: 436.0ms (1.1% of total)

ival-and: 369.0ms (0.9% of total)

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

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

ival-==: 222.0ms (0.5% of total)

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

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify59.4s (19.4%)

Memory

940.5MiB live, 41 921.7MiB allocated

Algorithm

340×	egg-herbie

Stop Event

433×	iter limit
226×	node limit
128×	saturated

Counts

10 394 → 10 251

soundness47.3s (15.4%)

Memory

-52.3MiB live, 22 550.0MiB allocated

Stop Event

258×	iter limit
169×	node limit
26×	fuel
16×	done
9×	saturated

Compiler

Compiled 37 557 to 11 894 computations (68.3% saved)

rewrite37.0s (12.1%)

Memory

-204.3MiB live, 33 794.9MiB allocated

Stop Event

291×	iter limit
144×	node limit
13×	saturated

Counts

1 962 → 83 482

localize26.4s (8.6%)

Memory

-626.9MiB live, 20 447.6MiB allocated

Samples

8.3s	29 108×	0	valid
8.3s	2 662×	2	valid
4.0s	5 395×	1	valid
179.0ms	85×	3	valid
145.0ms	566×	0	invalid
111.0ms	249×	0	exit
49.0ms	11×	5	exit
42.0ms	3×	4	valid
30.0ms	49×	1	invalid
9.0ms	16×	1	exit

Compiler

Compiled 73 623 to 8 724 computations (88.2% saved)

Precisions

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

ival-tan: 4.6s (27.5% of total)

ival-mult: 3.4s (20.2% of total)

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

ival-div: 1.6s (9.5% of total)

adjust: 1.1s (6.3% of total)

ival-pow: 1.0s (6% of total)

const: 788.0ms (4.7% of total)

ival-sub: 765.0ms (4.5% of total)

ival-cos: 404.0ms (2.4% of total)

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

ival-pow2: 187.0ms (1.1% of total)

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

ival-sqrt: 140.0ms (0.8% of total)

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

ival-log: 68.0ms (0.4% of total)

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

exact: 59.0ms (0.4% of total)

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

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

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

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

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

eval19.1s (6.2%)

Memory: 459.7MiB live, 22 009.4MiB allocated
Compiler: Compiled 4 014 769 to 336 999 computations (91.6% saved)

preprocess11.1s (3.6%)

Memory

208.6MiB live, 8 498.7MiB allocated

Algorithm

42×	egg-herbie

Stop Event

82×	iter limit
54×	saturated
32×	node limit

Compiler

Compiled 52 613 to 9 644 computations (81.7% saved)

explain10.5s (3.4%)

Memory

-82.8MiB live, 11 087.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1317	3
`+.f64`	`#f`	cancellation	348	98
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	220	0
`sqrt.f64`	`#f`	oflow-rescue	200	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	163	0
`/.f64`	`#f`	o/o	151	0
`/.f64`	`#f`	n/o	148	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	128	2
`-.f64`	`#f`	nan-rescue	114	0
`/.f64`	`#f`	u/n	79	0
`/.f64`	`#f`	n/u	58	0
`/.f64`	`#f`	u/u	47	0
`/.f64`	`#f`	o/n	39	0
`+.f64`	`#f`	nan-rescue	38	0
`*.f64`	`#f`	*no**	32	0
`*.f64`	`#f`	*nu**	30	0
`sqrt.f64`	`#f`	uflow-rescue	14	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	13	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	38
↳	`(/.f64 i n)`	overflow	13
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	13

Confusion

	Predicted +	Predicted -
+	3817	223
-	109	6603

Precision

0.9722363728986245

Recall

0.9448019801980198

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3817	164	59
-	109	193	6410

Precision?

0.9294886761615689

Recall?

0.9853960396039604

Freqs

test

number	freq
0	6826
1	3484
2	396
3	46

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	1	0
-	2	0	9

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.5s	16 480×	0	valid
1.1s	3 716×	1	valid
671.0ms	1 282×	2	valid
12.0ms	26×	3	valid

Compiler

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

Precisions

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

ival-mult: 430.0ms (21% of total)

adjust: 276.0ms (13.5% of total)

ival-div: 263.0ms (12.8% of total)

ival-add: 257.0ms (12.5% of total)

ival-pow: 197.0ms (9.6% of total)

ival-sub: 187.0ms (9.1% of total)

ival-sin: 153.0ms (7.5% of total)

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

ival-exp: 53.0ms (2.6% of total)

const: 44.0ms (2.1% of total)

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

ival-true: 19.0ms (0.9% of total)

exact: 18.0ms (0.9% of total)

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

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

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

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

ival-tan: 4.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)

regimes7.1s (2.3%)

Memory

-163.6MiB live, 7 912.1MiB allocated

Counts

4 753 → 549

Calls

96 calls:

752.0ms	x
410.0ms	b
293.0ms	c
278.0ms	d
252.0ms	a

Compiler

Compiled 8 247 to 5 434 computations (34.1% saved)

prune6.3s (2.1%)

Memory: -684.7MiB live, 8 320.8MiB allocated
Counts: 92 242 → 1 980
Compiler: Compiled 146 818 to 64 278 computations (56.2% saved)

analyze5.3s (1.7%)

Memory

31.0MiB live, 4 427.3MiB 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)

series3.5s (1.2%)

Memory

287.5MiB live, 4 001.6MiB allocated

Counts

1 962 → 10 394

Calls

864 calls:

Time	Variable		Point	Expression
102.0ms	x	@	0	((* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2))) (/ (* x 1) 2) (pow (pow (exp 10) x) (/ (* x 1) 2)) (* x 1) (* (cos x) (exp (* 10 (* x x)))) (* (cos x) (pow (exp 10) (* x x))) (cos x) (exp 10) (* x x) (pow (pow (exp x) 5) (* 2 x)) (* (cos x) (pow (pow (exp x) 5) (* 2 x))) (pow (exp x) 5) (* (cos x) (pow (pow (exp 10) (sqrt x)) (* (sqrt x) (* x 1)))) (pow (pow (exp 10) (sqrt x)) (* (sqrt x) (* x 1))) (pow (exp 10) x) (* (cos x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2)))) (pow (exp 10) (* x x)) (pow (exp 10) (sqrt x)) (* (sqrt x) (* x 1)))
72.0ms	t	@	0	((exp (* (log (- 2 (/ 2 (+ (* (pow t -1) t) t)))) 2)) (+ (* (pow t -1) t) t) (- 1 (/ 1 (+ 2 (exp (* (log (- 2 (/ 2 (+ (* (pow t -1) t) t)))) 2))))) (/ 1 (+ 2 (exp (* (log (- 2 (/ 2 (+ (* (pow t -1) t) t)))) 2)))) (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ (* t t) 1/2) (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ (* (+ (* -2 t) 1) (* t t)) 1/2) (+ (* -2 t) 1) (* t t) (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (- 5/6 (/ (- 2/9 (/ 1/27 t)) t)) (/ (- 2/9 (/ 1/27 t)) t) (- 2/9 (/ 1/27 t)) (- 2 (/ 2 (+ (* (pow t -1) t) t))) (log (- 2 (/ 2 (+ (* (pow t -1) t) t)))) (/ 1/27 t))
70.0ms	i	@	-inf	((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (/ (- (exp i) 1) i) (* n 100)) (/ (- (exp i) 1) i) (- (exp i) 1) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (+ (* 50 i) 100) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (- (pow (+ 1 (/ i n)) n) 1) (pow (+ 1 (/ i n)) n) (- (* (/ (pow (+ (/ i n) 1) n) i) n) (/ n i)) (* 100 (- (* (/ (pow (+ (/ i n) 1) n) i) n) (/ n i))) (* (/ (pow (+ (/ i n) 1) n) i) n) (/ (pow (+ (/ i n) 1) n) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (* n n) 100) (/ (- (log i) (log n)) i)) (* (* n n) 100) (* n n) (* n 100) (pow (+ (/ i n) 1) n) (- (log i) (log n)) (/ (- (log i) (log n)) i))
62.0ms	t	@	-inf	((* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (- (* 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 (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/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))
54.0ms	n	@	inf	((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (/ (- (exp i) 1) i) (* n 100)) (/ (- (exp i) 1) i) (- (exp i) 1) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (+ (* 50 i) 100) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (- (pow (+ 1 (/ i n)) n) 1) (pow (+ 1 (/ i n)) n) (- (* (/ (pow (+ (/ i n) 1) n) i) n) (/ n i)) (* 100 (- (* (/ (pow (+ (/ i n) 1) n) i) n) (/ n i))) (* (/ (pow (+ (/ i n) 1) n) i) n) (/ (pow (+ (/ i n) 1) n) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (* n n) 100) (/ (- (log i) (log n)) i)) (* (* n n) 100) (* n n) (* n 100) (pow (+ (/ i n) 1) n) (- (log i) (log n)) (/ (- (log i) (log n)) i))

bsearch2.5s (0.8%)

Memory

84.9MiB live, 2 965.7MiB allocated

Algorithm

172×	binary-search
97×	left-value

Stop Event

166×	narrow-enough
5×	predicate-same
1×	predicate-failed

Samples

1.1s	10 764×	0	valid
162.0ms	543×	1	valid
135.0ms	385×	2	valid
78.0ms	932×	0	invalid
13.0ms	20×	3	valid
5.0ms	31×	1	exit
2.0ms	17×	0	exit

Compiler

Compiled 109 116 to 62 826 computations (42.4% saved)

Precisions

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

ival-mult: 343.0ms (33.9% of total)

ival-sub: 149.0ms (14.7% of total)

ival-div: 121.0ms (12% of total)

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

ival-pow: 107.0ms (10.6% of total)

ival-exp: 49.0ms (4.8% of total)

ival-neg: 49.0ms (4.8% of total)

adjust: 41.0ms (4.1% of total)

ival-sqrt: 16.0ms (1.6% of total)

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

exact: 8.0ms (0.8% of total)

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

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

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

start3.0ms (0%)

Memory: -34.7MiB live, 4.2MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated

sample1.2min (23.2%)

simplify59.4s (19.4%)

soundness47.3s (15.4%)

rewrite37.0s (12.1%)

localize26.4s (8.6%)

eval19.1s (6.2%)

preprocess11.1s (3.6%)

explain10.5s (3.4%)

regimes7.1s (2.3%)

prune6.3s (2.1%)

analyze5.3s (1.7%)

series3.5s (1.2%)

bsearch2.5s (0.8%)

start3.0ms (0%)

end0.0ms (0%)

Profiling