Metrics for Herbie run

Date:	Tuesday, April 15th, 2025
Commit:	5565a39e on main
Seed:	2025105
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs` default
Memory:	149 149.3 MB

sample50.8s (40%)

Memory

605.9MiB live, 56 501.1MiB allocated; 22.9s collecting garbage

Samples

20.2s	292 983×	0	valid
7.7s	17 704×	2	valid
7.1s	35 613×	1	valid
445.0ms	4 289×	0	invalid
266.0ms	452×	3	valid
192.0ms	971×	0	exit
51.0ms	101×	4	exit
46.0ms	101×	3	exit
6.0ms	47×	1	exit

Precisions

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

ival-mult!: 6.2s (25% of total)

ival-pow: 4.7s (19% of total)

adjust: 2.4s (9.7% of total)

ival-div!: 2.3s (9.3% of total)

ival-sin: 1.9s (7.7% of total)

ival-cos: 1.9s (7.5% of total)

ival-add!: 1.7s (6.8% of total)

ival-sub!: 1.3s (5.4% of total)

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

ival-sqrt: 596.0ms (2.4% of total)

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

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

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

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

ival-tan: 75.0ms (0.3% of total)

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

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

ival-<=: 11.0ms (0% of total)

ival-and: 8.0ms (0% of total)

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

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

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

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

const: 0.0ms (0% of total)

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

Bogosity

rewrite28.1s (22.1%)

Memory

813.8MiB live, 31 185.5MiB allocated; 6.6s collecting garbage

Stop Event

363×	iter-limit
144×	node-limit
9×	saturated
4×	unsound

Counts

20 081 → 43 081

explain9.1s (7.1%)

Memory

-248.5MiB live, 11 698.0MiB allocated; 3.4s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1295	0
`+.f64`	`#f`	cancellation	362	96
`sqrt.f64`	`#f`	oflow-rescue	232	0
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	220	0
`/.f64`	`#f`	o/o	184	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	182	0
`/.f64`	`#f`	n/o	149	0
`-.f64`	`#f`	nan-rescue	128	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	110	0
`/.f64`	`#f`	u/n	84	0
`+.f64`	`#f`	nan-rescue	49	0
`/.f64`	`#f`	o/n	45	0
`/.f64`	`#f`	u/u	44	0
`*.f64`	`#f`	*nu**	41	0
`/.f64`	`#f`	n/u	40	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	26	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	34
↳	`(/.f64 i n)`	overflow	26
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	26
`*.f64`	`#f`	*no**	17	0
`sqrt.f64`	`#f`	uflow-rescue	10	0

Confusion

	Predicted +	Predicted -
+	3892	233
-	114	6513

Precision

0.9715426859710434

Recall

0.9435151515151515

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3892	165	68
-	114	187	6326

Precision?

0.9309316200091785

Recall?

0.9835151515151516

Freqs

test

number	freq
0	6746
1	3557
2	411
3	38

Total Confusion?

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

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.5s	3 138×	1	valid
1.2s	16 892×	0	valid
948.0ms	1 422×	2	valid
21.0ms	52×	3	valid

Compiler

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

Precisions

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

adjust: 615.0ms (26.6% of total)

ival-sin: 539.0ms (23.3% of total)

ival-mult!: 336.0ms (14.5% of total)

ival-div!: 195.0ms (8.4% of total)

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

ival-add!: 110.0ms (4.8% of total)

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

ival-sub!: 83.0ms (3.6% of total)

ival-exp: 59.0ms (2.5% of total)

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

ival-tan: 23.0ms (1% of total)

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

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

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

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

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

const: 0.0ms (0% of total)

eval7.9s (6.2%)

Memory: 330.3MiB live, 11 015.5MiB allocated; 3.3s collecting garbage
Compiler: Compiled 2 061 778 to 204 272 computations (90.1% saved)

derivations7.6s (6%)

Memory

-103.9MiB live, 7 419.8MiB allocated; 1.0s collecting garbage

Stop Event

26×	fuel
16×	done

Compiler

Compiled 22 930 to 2 633 computations (88.5% saved)

regimes5.2s (4.1%)

Memory

345.7MiB live, 7 561.4MiB allocated; 884ms collecting garbage

Counts

4 451 → 537

Calls

96 calls:

531.0ms	x
367.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))
276.0ms	b
235.0ms	(/.f64 (.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (.f64 x x) (*.f64 y y)))
208.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))))))

Compiler

Compiled 7 949 to 5 274 computations (33.7% saved)

series4.9s (3.9%)

Memory

73.4MiB live, 6 663.2MiB allocated; 1.7s collecting garbage

Counts

3 378 → 16 703

Calls

891 calls:

Time	Variable		Point	Expression
481.0ms	v	@	-inf	((* (/ (neg t1) (+ u t1)) (/ v (+ u t1))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (+ u t1)) v (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/ (neg v) t1) (neg v) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (neg t1) v) (* (+ t1 u) (+ t1 u)) (+ t1 u) (+ t1 u) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (/ v u) (/ (neg t1) u)) (/ v u) (/ (neg t1) u) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u)) (+ (* (+ (* 2 u) t1) t1) (* u u)) (+ (* 2 u) t1) 2 (* u u))
59.0ms	t	@	0	((- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (/ (- t 1) t)) t) (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (/ (- t 1) t)) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (/ (- t 1) t) (- t 1) t 1 (- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* (+ (* (/ -1 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t) (+ (* (/ -1 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ -1 t) -1 (- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (/ (+ (* t t) -1) (* (- t -1) t))) t) (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (/ (+ (* t t) -1) (* (- t -1) t))) (/ (+ (* t t) -1) (* (- t -1) t)) (+ (* t t) -1) (* (- t -1) t) (- t -1) (- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* (/ (* (- 1 (pow t -2)) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (- 1 (/ -1 t))) t) (/ (* (- 1 (pow t -2)) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (- 1 (/ -1 t))) (* (- 1 (pow t -2)) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (- 1 (pow t -2)) (pow t -2) -2 (- 1 (/ -1 t)) (- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (- 1 (exp (* (log t) -1)))) t) (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (- 1 (exp (* (log t) -1)))) (- 1 (exp (* (log t) -1))) (exp (* (log t) -1)) (* (log t) -1) (log t))
53.0ms	a	@	-inf	((* (/ (* (PI) 1) (* 2 (* (+ b a) (- b a)))) (- (/ 1 a) (/ 1 b))) (/ (* (PI) 1) (* 2 (* (+ b a) (- b a)))) (* (PI) 1) (PI) 1 (* 2 (* (+ b a) (- b a))) 2 (* (+ b a) (- b a)) (+ b a) b a (- b a) (- (/ 1 a) (/ 1 b)) (/ 1 a) (/ 1 b) (* (* (/ (PI) 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))) (* (/ (PI) (* (* a a) b)) 1/2) (/ (PI) (* (* a a) b)) (* (* a a) b) (* a a) 1/2 (* (* (/ (PI) 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))) (/ (+ (* (/ (PI) b) 1/2) (* (/ (PI) a) -1/2)) (* a a)) (+ (* (/ (PI) b) 1/2) (* (/ (PI) a) -1/2)) (/ (PI) b) (* (/ (PI) a) -1/2) (/ (PI) a) -1/2 (/ (* (- (* 1 b) (* a 1)) (* (PI) 1)) (* (* a b) (* 2 (* (+ b a) (- b a))))) (* (- (* 1 b) (* a 1)) (* (PI) 1)) (- (* 1 b) (* a 1)) (* 1 b) (* a 1) (* (* a b) (* 2 (* (+ b a) (- b a)))) (* a b) (* (* (/ (PI) 2) (* (/ 1 (+ b a)) (/ 1 (- b a)))) (- (/ 1 a) (/ 1 b))) (* (/ (PI) 2) (* (/ 1 (+ b a)) (/ 1 (- b a)))) (/ (PI) 2) (* (/ 1 (+ b a)) (/ 1 (- b a))) (/ 1 (+ b a)) (/ 1 (- b a)))
49.0ms	eps	@	0	((- (pow (+ x eps) 5) (pow x 5)) (neg (* (- (neg (/ (+ (+ (* 4 x) (neg (/ (+ (* -4 (* x x)) (neg (* (* x x) 6))) eps))) x) eps)) 1) (pow eps 5))) (* (- (+ (* (- eps (neg (* 5 x))) eps) (* (* x x) 6)) (* (* x x) -4)) (pow eps 3)) (- (+ (* (- eps (neg (* 5 x))) eps) (* (* x x) 6)) (* (* x x) -4)) (+ (* (- eps (neg (* 5 x))) eps) (* (* x x) 6)) (- eps (neg (* 5 x))) eps (neg (* 5 x)) (* 5 x) 5 x (* (* x x) 6) (* x x) 6 (* (* x x) -4) -4 (pow eps 3) 3 (- (pow (+ x eps) 5) (pow x 5)) (* (* (* 5 eps) (* x x)) (* x x)) (* (* 5 eps) (* x x)) (* 5 eps) (- (pow (+ x eps) 5) (pow x 5)) (* (* (pow x 4) 5) eps) (* (pow x 4) 5) (pow x 4) 4 (- (pow (+ x eps) 5) (pow x 5)) (* (+ (+ (* (/ (* eps eps) x) 2) (+ (* (/ (* eps eps) x) 8) (* 4 eps))) eps) (pow x 4)) (+ (+ (* (/ (* eps eps) x) 2) (+ (* (/ (* eps eps) x) 8) (* 4 eps))) eps) (* (+ (* (/ eps x) 10) 5) eps) (+ (* (/ eps x) 10) 5) (/ eps x) 10 (- (pow (+ x eps) 5) (pow x 5)) (exp (* (log eps) 5)) (* (log eps) 5) (log eps))
47.0ms	w	@	inf	((- (- (+ 3 (/ 2 (* r r))) (* (* (* (* (+ (* v -2) 3) 1/8) w) r) (/ (* w r) (- 1 v)))) 9/2) (- (+ 3 (/ 2 (* r r))) (* (* (* (* (+ (* v -2) 3) 1/8) w) r) (/ (* w r) (- 1 v)))) (+ 3 (/ 2 (* r r))) 3 (/ 2 (* r r)) 2 (* r r) r (* (* (* (* (+ (* v -2) 3) 1/8) w) r) (/ (* w r) (- 1 v))) (* (* (* (+ (* v -2) 3) 1/8) w) r) (* (* (+ (* v -2) 3) 1/8) w) (* (+ (* v -2) 3) 1/8) (+ (* v -2) 3) v -2 1/8 w (/ (* w r) (- 1 v)) (* w r) (- 1 v) 1 9/2 (- (- (+ 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) (- (- (+ 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) (* -3/2 r) -3/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (neg (* (+ (* (/ (* (* w w) (+ (* -2 v) 3)) (- 1 v)) 1/8) (* 3/2 (pow r -2))) (* r r))) (* (+ (* (/ (* (* w w) (+ (* -2 v) 3)) (- 1 v)) 1/8) (* 3/2 (pow r -2))) (* r r)) (+ (* (/ (* (* w w) (+ (* -2 v) 3)) (- 1 v)) 1/8) (* 3/2 (pow r -2))) (* (/ (* (* w w) (+ (* v -2) 3)) (- 1 v)) 1/8) (/ (* (* w w) (+ (* v -2) 3)) (- 1 v)) (* (* w w) (+ (* v -2) 3)) (* w w) (- (- (+ 3 (/ 2 (* r r))) (* (* (+ (* -2 v) 3) 1/8) (/ (* (* w r) (* w r)) (- 1 v)))) 9/2) (- (+ 3 (/ 2 (* r r))) (* (* (+ (* -2 v) 3) 1/8) (/ (* (* w r) (* w r)) (- 1 v)))) (* (* (+ (* -2 v) 3) 1/8) (/ (* (* w r) (* w r)) (- 1 v))) (* (+ (* -2 v) 3) 1/8) (* -1/4 v) -1/4 (/ (* (* w r) (* w r)) (- 1 v)) (* (* w r) (* w r)))

preprocess4.8s (3.8%)

Memory

-203.3MiB live, 4 755.0MiB allocated; 953ms collecting garbage

Stop Event

32×	node-limit
10×	saturated

Compiler

Compiled 68 268 to 16 204 computations (76.3% saved)

analyze3.1s (2.5%)

Memory

59.0MiB live, 4 188.1MiB allocated; 1.2s 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)

prune2.8s (2.2%)

Memory: -309.9MiB live, 4 623.0MiB allocated; 635ms collecting garbage
Counts: 44 217 → 1 871
Compiler: Compiled 140 641 to 62 436 computations (55.6% saved)

bsearch2.6s (2%)

Memory

-59.9MiB live, 3 532.2MiB allocated; 553ms collecting garbage

Algorithm

183×	binary-search
83×	left-value

Stop Event

174×	narrow-enough
8×	predicate-same
1×	predicate-failed

Samples

820.0ms	11 794×	0	valid
390.0ms	1 653×	1	valid
145.0ms	351×	2	valid
75.0ms	1 300×	0	invalid
18.0ms	113×	1	exit
8.0ms	10×	3	valid
0.0ms	4×	0	exit

Compiler

Compiled 122 219 to 69 018 computations (43.5% saved)

Precisions

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

ival-mult!: 308.0ms (30.3% of total)

ival-pow: 227.0ms (22.3% of total)

ival-div!: 126.0ms (12.4% of total)

ival-exp: 98.0ms (9.6% of total)

ival-sub!: 72.0ms (7.1% of total)

adjust: 70.0ms (6.9% of total)

ival-add!: 51.0ms (5% of total)

ival-neg: 36.0ms (3.5% of total)

ival-sqrt: 28.0ms (2.8% of total)

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

start51.0ms (0%)

Memory: -46.5MiB live, 5.8MiB allocated; 22ms collecting garbage

end0.0ms (0%)

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

sample50.8s (40%)

rewrite28.1s (22.1%)

explain9.1s (7.1%)

eval7.9s (6.2%)

derivations7.6s (6%)

regimes5.2s (4.1%)

series4.9s (3.9%)

preprocess4.8s (3.8%)

analyze3.1s (2.5%)

prune2.8s (2.2%)

bsearch2.6s (2%)

start51.0ms (0%)

end0.0ms (0%)

Profiling