Metrics for Herbie run

Date:	Sunday, January 19th, 2025
Commit:	7183cd93 on autofix-12-1
Seed:	2025019
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
Memory:	248 225.3 MB

sample1.3min (33.4%)

Memory

1 064.3MiB live, 88 819.7MiB allocated; 28.7s collecting garbage

Samples

32.4s	284 829×	0	valid
15.9s	44 178×	1	valid
8.0s	17 302×	2	valid
355.0ms	443×	3	valid
355.0ms	4 175×	0	invalid
217.0ms	987×	0	exit
207.0ms	202×	5	exit

Precisions

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

ival-mult: 11.3s (25.3% of total)

adjust: 4.4s (9.9% of total)

ival-add: 4.3s (9.6% of total)

ival-pow: 4.1s (9.2% of total)

ival-div: 3.6s (8.1% of total)

const: 3.4s (7.6% of total)

ival-sub: 3.3s (7.4% of total)

ival-<=: 2.3s (5.2% of total)

ival-sin: 2.0s (4.6% of total)

ival-cos: 1.6s (3.7% of total)

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

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

exact: 462.0ms (1% of total)

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

ival-pow2: 415.0ms (0.9% of total)

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

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

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

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

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

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

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

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

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

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

ival-hypot: 24.0ms (0.1% of total)

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

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

Bogosity

simplify54.0s (22.8%)

Memory

801.3MiB live, 51 633.5MiB allocated; 11.0s collecting garbage

Stop Event

433×	iter limit
304×	node limit
45×	saturated

Counts

12 436 → 12 436

localize23.6s (10%)

Memory

-533.9MiB live, 24 312.6MiB allocated; 6.2s collecting garbage

Samples

7.5s	3 022×	2	valid
7.5s	28 931×	0	valid
3.4s	5 277×	1	valid
276.0ms	146×	3	valid
77.0ms	289×	0	invalid
56.0ms	210×	0	exit
24.0ms	6×	4	valid
22.0ms	7×	5	exit

Compiler

Compiled 31 973 to 3 870 computations (87.9% saved)

Precisions

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

ival-mult: 3.6s (24.1% of total)

ival-sin: 3.2s (21.5% of total)

adjust: 1.9s (12.7% of total)

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

ival-add: 1.3s (8.8% of total)

const: 1.3s (8.5% of total)

ival-pow: 670.0ms (4.5% of total)

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

ival-cos: 319.0ms (2.1% of total)

ival-exp: 148.0ms (1% of total)

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

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

ival-sqrt: 74.0ms (0.5% of total)

exact: 54.0ms (0.4% of total)

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

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

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

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

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

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

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

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

rewrite16.1s (6.8%)

Memory

-28.3MiB live, 15 378.0MiB allocated; 2.8s collecting garbage

Stop Event

435×	iter limit
117×	node limit
28×	unsound
12×	saturated

Counts

1 948 → 30 500

derivations13.3s (5.6%)

Memory

-241.3MiB live, 8 833.5MiB allocated; 3.3s collecting garbage

Stop Event

23×	fuel
19×	done

Compiler

Compiled 26 900 to 2 650 computations (90.1% saved)

explain10.7s (4.5%)

Memory

-222.4MiB live, 12 677.3MiB allocated; 2.9s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1324	0
`+.f64`	`#f`	cancellation	351	99
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	213	0
`sqrt.f64`	`#f`	oflow-rescue	180	0
`/.f64`	`#f`	n/o	179	0
`/.f64`	`#f`	o/o	162	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	162	1
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	112	0
`-.f64`	`#f`	nan-rescue	105	0
`/.f64`	`#f`	u/n	85	0
`+.f64`	`#f`	nan-rescue	51	0
`/.f64`	`#f`	n/u	50	0
`/.f64`	`#f`	u/u	39	0
`/.f64`	`#f`	o/n	36	0
`*.f64`	`#f`	*nu**	29	0
`*.f64`	`#f`	*no**	21	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	19	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	38
↳	`(/.f64 i n)`	overflow	19
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	19
`sqrt.f64`	`#f`	uflow-rescue	12	0
`exp.f64`	`#f`	sensitivity	2	0

Confusion

	Predicted +	Predicted -
+	3839	229
-	120	6564

Precision

0.969689315483708

Recall

0.9437069813176008

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3839	175	54
-	120	181	6383

Precision?

0.9302433371958285

Recall?

0.9867256637168141

Freqs

test

number	freq
0	6793
1	3543
2	384
3	32

Total Confusion?

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

Precision?

0.9393939393939394

Recall?

1.0

Samples

2.0s	16 262×	0	valid
1.4s	3 800×	1	valid
623.0ms	1 406×	2	valid
24.0ms	34×	3	valid
3.0ms	2×	4	valid

Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions

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

ival-mult: 727.0ms (26.4% of total)

ival-div: 533.0ms (19.3% of total)

adjust: 339.0ms (12.3% of total)

ival-add: 268.0ms (9.7% of total)

ival-pow: 233.0ms (8.5% of total)

ival-sub: 193.0ms (7% of total)

ival-cos: 89.0ms (3.2% of total)

ival-sin: 86.0ms (3.1% of total)

const: 67.0ms (2.4% of total)

ival-sqrt: 56.0ms (2% of total)

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

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

exact: 19.0ms (0.7% of total)

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

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

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

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

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

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

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

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

preprocess10.5s (4.4%)

Memory

479.0MiB live, 10 490.9MiB allocated; 1.9s collecting garbage

Stop Event

84×	iter limit
62×	node limit
22×	saturated

Compiler

Compiled 58 807 to 8 328 computations (85.8% saved)

eval7.8s (3.3%)

Memory: 71.7MiB live, 10 233.0MiB allocated; 2.0s collecting garbage
Compiler: Compiled 1 912 520 to 169 865 computations (91.1% saved)

regimes5.5s (2.3%)

Memory

250.2MiB live, 7 174.7MiB allocated; 884ms collecting garbage

Counts

4 591 → 548

Calls

96 calls:

684.0ms	x
276.0ms	a
252.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))
227.0ms	b
198.0ms	c

Compiler

Compiled 9 274 to 5 869 computations (36.7% saved)

analyze4.7s (2%)

Memory

-124.2MiB live, 5 083.6MiB allocated; 1.8s collecting garbage

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)

prune4.5s (1.9%)

Memory: -248.4MiB live, 5 690.4MiB allocated; 1.0s collecting garbage
Counts: 42 981 → 1 861
Compiler: Compiled 136 354 to 59 319 computations (56.5% saved)

series3.7s (1.5%)

Memory

252.3MiB live, 4 774.4MiB allocated; 882ms collecting garbage

Counts

1 948 → 12 436

Calls

876 calls:

Time	Variable		Point	Expression
69.0ms	y	@	inf	((- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2))) (neg (+ (* (* (+ (* y y) -2) y) y) (* -9 (pow x 4)))) (+ (* (* (+ (* y y) -2) y) y) (* -9 (pow x 4))) (* (+ (* y y) -2) y) (- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2))) (* (* (- 2 (* y y)) y) y) (* (- 2 (* y y)) y) (- 2 (* y y)) (- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2))) (* (pow x 4) 9) (pow x 4) (+ (* (* x x) (* (* x x) 9)) (* (* (neg y) y) (- (* y y) 2))) (- (* y y) 2) (* x x) (* (* x x) 9) (* -9 (pow x 4)) (* y y) (neg y))
67.0ms	c	@	-inf	((/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (+ (* (/ (* c c) b) (/ a b)) c) (neg b)) (+ (* (/ (* c c) b) (/ a b)) c) (* (+ (* (/ a b) (/ c b)) 1) c) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (neg b) a) (neg b) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* (* (/ c b) a) -2) (* (/ c b) a) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (+ (* (/ c b) a) (neg b)) a) (* (neg c) (- (/ (/ b a) c) (/ 1 b))) (neg c) (+ (sqrt (- (* b b) (* 4 (* a c)))) (neg b)) (/ (- (* b b) (- (* b b) (* 4 (* a c)))) (* (+ (sqrt (- (* b b) (* 4 (* a c)))) (neg b)) (* 2 a))) (- (* b b) (- (* b b) (* 4 (* a c)))) (* b b) (+ (* (/ a b) (/ c b)) 1) (* 2 a) (/ (/ b a) c) (- (/ (/ b a) c) (/ 1 b)) (- (* b b) (* 4 (* a c))) (sqrt (- (* b b) (* 4 (* a c)))))
55.0ms	x2	@	0	((+ (* (* x1 x1) x1) (+ (+ (* (+ (* (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) x1) x1) (* (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1))) (+ (+ (* (+ (* (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) x1) x1) (* (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1)) (+ (* (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) x1) x1) (* (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ x1 (+ (* (* x1 x1) x1) (+ (+ (* (+ (* (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) x1) x1) (* (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1)))) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* (+ (* (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (+ (* (- 3 (* -2 x2)) 3) (+ (* x2 14) -6))) x1) (- (* (* (+ (* 2 x2) -3) x2) 4) 1)) x1) (* -6 x2)) (* (- (* 9 x1) 1) x1) (- (* 9 x1) 1) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* (* (- 6 (/ (- 3 (/ (+ (* (+ (* x2 2) -3) 4) 9) x1)) x1)) (* x1 x1)) (* x1 x1)) (* (- 6 (/ (- 3 (/ (+ (* (+ (* x2 2) -3) 4) 9) x1)) x1)) (* x1 x1)) (* (* x1 x1) 6) (+ (* (* x2 x1) 8) (+ (* (+ (* 12 x1) -12) x1) -6)) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* (+ (* (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (+ (* (- 3 (* -2 x2)) 3) (+ (* x2 14) -6))) x1) (- (* (* (+ (* 2 x2) -3) x2) 4) 1)) x1) (* -6 x2)) (+ (* (+ (* (* x2 x1) 8) (+ (* (+ (* 12 x1) -12) x1) -6)) x2) (* (- (* 9 x1) 1) x1)) (- (+ (* (+ (* -4 x2) 3) 2) (+ (* (- 3 (* -2 x2)) 3) (+ (* (/ (* (+ (* 2 x2) -3) x2) x1) 4) (* 14 x2)))) 6) (+ (* (- 3 (* -2 x2)) 3) (+ (* (/ (* (+ (* 2 x2) -3) x2) x1) 4) (* 14 x2))) (+ (* (/ (* (+ (* 2 x2) -3) x2) x1) 4) (* 14 x2)) (+ (* (+ (* -4 x2) 3) 2) (+ (* (- 3 (* -2 x2)) 3) (+ (* (/ (* (+ (* 2 x2) -3) x2) x1) 4) (* 14 x2)))) (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (/ (- (* (* 3 x1) x1) x1) (+ (* x1 x1) 1)) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (+ (* (+ (* 12 x1) -12) x1) -6) (* (- (- (+ (* (+ (* -4 x2) 3) 2) (+ (* (- 3 (* -2 x2)) 3) (+ (* (/ (* (+ (* 2 x2) -3) x2) x1) 4) (* 14 x2)))) 6) (/ 1 x1)) (* x1 x1)) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* (+ (* (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (+ (* (- 3 (* -2 x2)) 3) (+ (* x2 14) -6))) x1) (- (* (* (+ (* 2 x2) -3) x2) 4) 1)) x1) (* -6 x2)) (/ (* (+ (* 2 x2) -3) x2) x1))
53.0ms	i	@	-inf	((* (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) i) (* n 100)) (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) i) (- (exp (* (log (+ 1 (/ i n))) n)) 1) (* (log (+ 1 (/ i n))) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (+ (* 50 i) 100) (/ (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) 100) (/ i n)) (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) 100) (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ i n) (/ (- (* (pow (+ 1 (/ i n)) n) (/ i (neg n))) (* (/ i n) -1)) (* (/ i n) (/ i (neg n)))) (- (* (pow (+ 1 (/ i n)) n) (/ i (neg n))) (* (/ i n) -1)) (* 100 (/ (- (* (pow (+ 1 (/ i n)) n) (/ i (neg n))) (* (/ i n) -1)) (* (/ i n) (/ i (neg n))))) (* (/ i n) -1) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* (log (/ i n)) (* n n)) i) (* (log (/ i n)) (* n n)) (log (+ 1 (/ i n))) (pow (+ 1 (/ i n)) n) (* (/ i n) (/ i (neg n))) (log (/ i n)))
50.0ms	r	@	inf	((- (+ (/ 2 (* r r)) 3) (+ (* (* (* w r) (/ (* w r) (- 1 v))) (* (+ (* -2 v) 3) 1/8)) 9/2)) (* (+ (* -2 v) 3) 1/8) (+ (/ 2 (* r r)) 3) (/ 2 (* r r)) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (/ (/ (+ (* -3/2 (* r r)) 2) r) r) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (/ (/ (+ (* -3/2 (* r r)) 2) r) r) (/ (+ (* -3/2 (* r r)) 2) r) (+ (* -3/2 (* r r)) 2) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) (+ (* (* -3/8 r) (* (* w r) w)) (- (/ 2 (* r r)) -3)) (* (* (+ (* -3/8 (* w w)) (/ 3 (* r r))) r) r) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) (+ (* (* (* -1/4 (* r r)) w) w) (- (/ 2 (* r r)) -3)) (* (* -1/4 (* r r)) w) (/ (* w r) (- 1 v)) (* (* w r) (/ (* w r) (- 1 v))) (+ (* (* (* w r) (/ (* w r) (- 1 v))) (* (+ (* -2 v) 3) 1/8)) 9/2) (* (+ (* -3/8 (* w w)) (/ 3 (* r r))) r) (+ (* -3/8 (* w w)) (/ 3 (* r r))))

bsearch3.1s (1.3%)

Memory

-73.9MiB live, 3 115.5MiB allocated; 498ms collecting garbage

Algorithm

166×	binary-search
97×	left-value

Stop Event

158×	narrow-enough
7×	predicate-same
1×	predicate-failed

Samples

1.3s	11 135×	0	valid
363.0ms	830×	1	valid
124.0ms	272×	2	valid
73.0ms	880×	0	invalid
16.0ms	19×	3	valid
1.0ms	13×	0	exit

Compiler

Compiled 160 293 to 76 120 computations (52.5% saved)

Precisions

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

ival-mult: 465.0ms (33.7% of total)

ival-add: 193.0ms (14% of total)

ival-div: 157.0ms (11.4% of total)

ival-sub: 155.0ms (11.2% of total)

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

ival-pow: 109.0ms (7.9% of total)

adjust: 64.0ms (4.6% of total)

ival-neg: 35.0ms (2.5% of total)

ival-sqrt: 24.0ms (1.7% of total)

exact: 11.0ms (0.8% of total)

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

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

const: 4.0ms (0.3% of total)

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

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

start6.0ms (0%)

Memory: 7.6MiB live, 7.6MiB allocated; 3ms collecting garbage

end0.0ms (0%)

Memory: 0.8MiB live, 0.7MiB allocated; 0ms collecting garbage

sample1.3min (33.4%)

simplify54.0s (22.8%)

localize23.6s (10%)

rewrite16.1s (6.8%)

derivations13.3s (5.6%)

explain10.7s (4.5%)

preprocess10.5s (4.4%)

eval7.8s (3.3%)

regimes5.5s (2.3%)

analyze4.7s (2%)

prune4.5s (1.9%)

series3.7s (1.5%)

bsearch3.1s (1.3%)

start6.0ms (0%)

end0.0ms (0%)

Profiling