Metrics for Herbie run

Date:	Wednesday, November 27th, 2024
Commit:	a25f782f on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024332
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 (22.3%)

Memory

503.2MiB live, 70 737.3MiB allocated

Samples

33.4s	285 419×	0	valid
12.0s	43 937×	1	valid
8.1s	17 008×	2	valid
458.0ms	4 174×	0	invalid
243.0ms	388×	3	valid
118.0ms	101×	3	exit
112.0ms	974×	0	exit
78.0ms	101×	4	exit
6.0ms	44×	1	exit

Precisions

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

ival-mult: 9.3s (22.4% of total)

ival-pow: 4.2s (10.2% of total)

ival-add: 4.2s (10.1% of total)

const: 3.4s (8.3% of total)

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

adjust: 3.1s (7.6% of total)

ival-div: 3.1s (7.6% of total)

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

ival-sin: 2.5s (6% of total)

ival-cos: 1.3s (3.3% of total)

ival-neg: 689.0ms (1.7% of total)

ival-exp: 586.0ms (1.4% of total)

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

exact: 405.0ms (1% of total)

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

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

ival-expm1: 201.0ms (0.5% of total)

ival-==: 183.0ms (0.4% of total)

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

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

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

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

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

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

ival-pi: 36.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

simplify1.1min (19.1%)

Memory

435.7MiB live, 44 804.0MiB allocated

Algorithm

343×	egg-herbie

Stop Event

440×	iter limit
232×	node limit
124×	saturated

Counts

10 380 → 10 246

soundness54.3s (16.1%)

Memory

170.0MiB live, 23 491.3MiB allocated

Stop Event

261×	iter limit
173×	node limit
27×	fuel
14×	done
9×	saturated

Compiler

Compiled 52 489 to 14 873 computations (71.7% saved)

rewrite46.8s (13.9%)

Memory

-486.5MiB live, 35 831.1MiB allocated

Stop Event

298×	iter limit
145×	node limit
13×	saturated
1×	unsound

Counts

1 921 → 89 281

localize21.9s (6.5%)

Memory

228.7MiB live, 21 963.6MiB allocated

Samples

7.8s	30 155×	0	valid
4.2s	5 055×	1	valid
3.9s	2 746×	2	valid
218.0ms	148×	3	valid
86.0ms	209×	0	exit
81.0ms	326×	0	invalid
36.0ms	12×	5	exit
21.0ms	5×	4	valid

Compiler

Compiled 80 621 to 8 775 computations (89.1% saved)

Precisions

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

ival-mult: 3.1s (25.6% of total)

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

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

adjust: 1.4s (11.5% of total)

ival-pow: 1.3s (10.8% of total)

ival-sub: 911.0ms (7.5% of total)

const: 611.0ms (5.1% of total)

ival-sin: 283.0ms (2.3% of total)

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

ival-tan: 211.0ms (1.7% of total)

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

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

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

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

exact: 55.0ms (0.5% of total)

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

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

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

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

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

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

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

eval20.1s (6%)

Memory: 242.2MiB live, 25 028.2MiB allocated
Compiler: Compiled 4 466 825 to 354 487 computations (92.1% saved)

explain17.7s (5.2%)

Memory

-63.0MiB live, 21 452.6MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1504	5
`+.f64`	`#f`	cancellation	403	86
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	218	0
`sqrt.f64`	`#f`	oflow-rescue	214	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	175	0
`/.f64`	`#f`	o/o	152	0
`/.f64`	`#f`	n/o	150	0
`/.f64`	`#f`	u/u	108	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	90	0
`-.f64`	`#f`	nan-rescue	68	0
`/.f64`	`#f`	o/n	44	0
`+.f64`	`#f`	nan-rescue	43	0
`*.f64`	`#f`	*nu**	30	0
`*.f64`	`#f`	*no**	29	0
`sqrt.f64`	`#f`	uflow-rescue	24	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	37
↳	`(/.f64 i n)`	overflow	19
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	19
`/.f64`	`#f`	n/u	16	0
`/.f64`	`#f`	u/n	8	0

Confusion

	Predicted +	Predicted -
+	3670	256
-	378	6192

Precision

0.9066205533596838

Recall

0.934793683138054

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3670	155	101
-	378	192	6000

Precision?

0.8703071672354948

Recall?

0.9742740703005603

Freqs

test

number	freq
0	6448
1	3063
2	938
3	47

Total Confusion?

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

Precision?

0.9375

Recall?

1.0

Samples

1.5s	16 238×	0	valid
938.0ms	3 342×	1	valid
649.0ms	1 370×	2	valid
20.0ms	42×	3	valid

Compiler

Compiled 14 024 to 4 008 computations (71.4% saved)

Precisions

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

ival-mult: 608.0ms (29.1% of total)

ival-div: 270.0ms (12.9% of total)

adjust: 227.0ms (10.9% of total)

ival-add: 192.0ms (9.2% of total)

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

ival-pow: 185.0ms (8.9% of total)

ival-sin: 129.0ms (6.2% of total)

ival-cos: 98.0ms (4.7% of total)

const: 42.0ms (2% of total)

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

ival-sqrt: 23.0ms (1.1% of total)

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

exact: 18.0ms (0.9% of total)

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

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

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

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

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

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

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

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

preprocess11.1s (3.3%)

Memory

172.1MiB live, 8 383.3MiB allocated

Algorithm

41×	egg-herbie

Stop Event

80×	iter limit
54×	saturated
30×	node limit

Compiler

Compiled 67 513 to 9 879 computations (85.4% saved)

regimes7.0s (2.1%)

Memory

71.9MiB live, 7 891.0MiB allocated

Counts

4 914 → 606

Calls

94 calls:

712.0ms	x
604.0ms	x1
386.0ms	a
366.0ms	d
290.0ms	b

Compiler

Compiled 8 560 to 5 638 computations (34.1% saved)

prune6.2s (1.8%)

Memory: -467.6MiB live, 8 645.1MiB allocated
Counts: 97 304 → 2 028
Compiler: Compiled 155 954 to 66 669 computations (57.3% saved)

analyze5.5s (1.6%)

Memory

-172.7MiB live, 3 531.8MiB 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.9s (1.1%)

Memory

-219.5MiB live, 4 073.8MiB allocated

Counts

1 921 → 10 380

Calls

873 calls:

Time	Variable		Point	Expression
122.0ms	t	@	inf	((- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2)) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ 1 (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1)))
66.0ms	y	@	0	((/ (- (pow (* (/ (/ (* -2 y) x) x) y) 2) 1) (+ (* (/ (/ (* -2 y) x) x) y) -1)) (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) (- (pow (* (/ (/ (* -2 y) x) x) y) 2) 1) (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1) (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1)) (* (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1)) (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1))) (+ (* (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1)) (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1))) (+ (* (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1) (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1)) (* (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1)) (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1)))) (* (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1)) (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1)) (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) (* (/ (/ (* -2 y) x) x) y) (+ (* (/ (/ (* -2 y) x) x) y) -1) (/ (- (pow (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1)) 3) (pow (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1) 3)) (+ (* (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1)) (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1))) (+ (* (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1) (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1)) (* (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1)) (pow (+ (* (/ (/ (* -2 y) x) x) y) -1) -1))))) (/ (pow (* (/ (/ (* -2 y) x) x) y) 2) (+ (* (/ (/ (* -2 y) x) x) y) -1)))
63.0ms	a	@	inf	((/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (- (* b b) (* 4 (* a c))) (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (neg b) (sqrt (- (* b b) (* 4 (* a c)))))
62.0ms	x2	@	inf	((+ (+ (* (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) 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)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* (* x1 x1) x1) (+ (+ (* (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) 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 (+ (* (* x1 x1) x1) (+ (+ (* (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) 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 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 x2) (+ (+ (* (+ (* (* (* 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)) (+ (+ (+ (+ (* (+ (* (* (* 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 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) (+ (* (+ (* (* (* 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)))) (+ (* (+ (* -2 x2) 3) 2) (+ (* 14 x2) (+ (* (+ (* (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (+ (* 2 x2) -3) 3) 1))) 2) (+ (* (* (+ (* 2 x2) -3) 4) x2) -6)) x1) -6))) (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (+ (* 2 x2) -3) 3) 1))) (+ (* (+ (* 2 x2) -3) 3) 1) (* (+ (* -2 x2) 3) 2) (+ (+ (* (+ (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* x1 2) (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3))) (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* x1 2) (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3))) (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1))) (+ (+ (+ (+ (* (+ (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* x1 2) (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3))) (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1))) (+ (* 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)))) (+ x1 (+ (+ (+ (+ (* (+ (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* x1 2) (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3))) (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1))) (+ (* 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))))) (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (+ (* (* (* 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))) (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (+ (+ (+ (* (+ (* (* (* 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) (+ (* (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (+ (* 2 x2) -3) 3) 1))) 2) (+ (* (* (+ (* 2 x2) -3) 4) x2) -6)))
56.0ms	i	@	0	((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (* (/ (- (exp i) 1) i) 100) n) (* (/ (- (exp i) 1) i) 100) (/ (- (exp i) 1) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* 100 n) (/ (- (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) (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n)) (* 100 (+ (* (/ -1 i) n) (* (/ (pow (+ (/ i n) 1) n) i) n))) (/ -1 i) (* (/ (pow (+ (/ i n) 1) n) i) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* (- (log i) (log n)) (/ (* n n) i)) (- (log i) (log n)) (- (exp i) 1) (pow (+ (/ i n) 1) n) (/ (* n n) i))

bsearch3.1s (0.9%)

Memory

-47.3MiB live, 3 220.8MiB allocated

Algorithm

236×	binary-search
77×	left-value

Stop Event

216×	narrow-enough
20×	predicate-same

Samples

1.4s	12 561×	0	valid
151.0ms	446×	1	valid
80.0ms	251×	2	valid
35.0ms	452×	0	invalid
11.0ms	22×	3	valid
3.0ms	20×	1	exit
3.0ms	24×	0	exit

Compiler

Compiled 167 994 to 84 453 computations (49.7% saved)

Precisions

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

ival-mult: 489.0ms (42.5% of total)

ival-div: 187.0ms (16.2% of total)

ival-add: 146.0ms (12.7% of total)

ival-sub: 104.0ms (9% of total)

ival-pow: 81.0ms (7% of total)

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

adjust: 24.0ms (2.1% of total)

ival-neg: 24.0ms (2.1% of total)

ival-sqrt: 13.0ms (1.1% of total)

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

exact: 8.0ms (0.7% 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.8MiB live, 3.8MiB allocated

end0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated

sample1.2min (22.3%)

simplify1.1min (19.1%)

soundness54.3s (16.1%)

rewrite46.8s (13.9%)

localize21.9s (6.5%)

eval20.1s (6%)

explain17.7s (5.2%)

preprocess11.1s (3.3%)

regimes7.0s (2.1%)

prune6.2s (1.8%)

analyze5.5s (1.6%)

series3.9s (1.1%)

bsearch3.1s (0.9%)

start2.0ms (0%)

end0.0ms (0%)

Profiling