Metrics for Herbie run

Date:	Sunday, March 30th, 2025
Commit:	2100b191 on main
Seed:	2025089
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	30 187.8 MB

sample8.9s (33.8%)

Memory

308.0MiB live, 10 757.0MiB allocated; 4.3s collecting garbage

Samples

5.2s	70 122×	0	valid
732.0ms	4 171×	2	valid
267.0ms	1 948×	0	invalid
1.0ms	11×	1	valid

Precisions

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

ival-mult!: 836.0ms (22.8% of total)

ival-div!: 730.0ms (19.9% of total)

ival-sub!: 587.0ms (16% of total)

ival-neg: 517.0ms (14.1% of total)

ival-sqrt: 391.0ms (10.7% of total)

adjust: 180.0ms (4.9% of total)

ival-fabs: 157.0ms (4.3% of total)

ival-log: 95.0ms (2.6% of total)

ival-add!: 88.0ms (2.4% of total)

ival-exp: 71.0ms (1.9% of total)

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

ival->=: 3.0ms (0.1% of total)

Bogosity

rewrite5.8s (22%)

Memory

168.4MiB live, 5 869.0MiB allocated; 951ms collecting garbage

Stop Event

76×	iter-limit
29×	node-limit
2×	unsound
1×	saturated

Counts

5 027 → 7 965

preprocess2.4s (9.1%)

Memory

167.6MiB live, 2 270.5MiB allocated; 373ms collecting garbage

Stop Event

18×	iter-limit
16×	node-limit
2×	saturated

Compiler

Compiled 12 281 to 2 436 computations (80.2% saved)

derivations1.7s (6.5%)

Memory

-148.1MiB live, 1 547.1MiB allocated; 154ms collecting garbage

Stop Event

5×	done
4×	fuel

Compiler

Compiled 5 201 to 671 computations (87.1% saved)

eval1.7s (6.4%)

Memory: 15.5MiB live, 2 216.9MiB allocated; 305ms collecting garbage
Compiler: Compiled 572 594 to 41 902 computations (92.7% saved)

explain1.4s (5.3%)

Memory

-102.5MiB live, 1 856.7MiB allocated; 436ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	269
`-.f64`	`#f`	cancellation	113
`+.f64`	`#f`	cancellation	112
`sqrt.f64`	`#f`	uflow-rescue	70
`/.f64`	`#f`	u/n	40
`/.f64`	`#f`	n/u	28
`-.f64`	`#f`	nan-rescue	21
`*.f64`	`(*.f64 (/.f64 x y) z)`	*no**	14
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	9

Confusion

	Predicted +	Predicted -
+	304	17
-	229	1754

Precision

0.5703564727954972

Recall

0.9470404984423676

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	304	1	16
-	229	0	1754

Precision?

0.5711610486891385

Recall?

0.9501557632398754

Freqs

test

number	freq
0	1771
1	399
2	125
3	9

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	4	1	0
-	0	0	4

Precision?

1.0

Recall?

1.0

Samples

258.0ms	3 692×	0	valid
156.0ms	578×	2	valid
65.0ms	276×	1	valid
26.0ms	62×	3	valid

Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 297.0ms

ival-div!: 77.0ms (25.9% of total)

ival-mult!: 68.0ms (22.9% of total)

adjust: 40.0ms (13.5% of total)

ival-sqrt: 36.0ms (12.1% of total)

ival-sub!: 26.0ms (8.8% of total)

ival-neg: 12.0ms (4% of total)

ival-if: 10.0ms (3.4% of total)

ival-add!: 9.0ms (3% of total)

ival-fabs: 6.0ms (2% of total)

ival-log: 6.0ms (2% of total)

ival-exp: 4.0ms (1.3% of total)

ival->=: 3.0ms (1% of total)

series1.3s (4.8%)

Memory

-75.0MiB live, 1 394.8MiB allocated; 356ms collecting garbage

Counts

737 → 4 290

Calls

186 calls:

Time	Variable		Point	Expression
75.0ms	f	@	-inf	((/ (neg (+ f n)) (- f n)) (+ (* (/ f n) 2) 1) 1 (/ (neg (+ f n)) (- f n)) (+ (* -2 (/ n f)) -1) -2 (/ n f) n f -1 (/ (neg (+ f n)) (- f n)) (+ (* (+ (* (/ f (* n n)) 2) (/ 2 n)) f) 1) (+ (* (/ f (* n n)) 2) (/ 2 n)) (/ f (* n n)) (* n n) 2 (/ 2 n) (/ (neg (+ f n)) (- f n)) (neg (+ f n)) (+ f n) (* (- (/ f n) -1) n) (- f n))
74.0ms	b	@	inf	((if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (if (>= b 0) (* (+ (/ (sqrt (+ (* (* -4 a) c) (* b b))) a) (/ b a)) -1/2) (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b))) (>= b 0) b 0 (* (+ (/ (sqrt (+ (* (* -4 a) c) (* b b))) a) (/ b a)) -1/2) (+ (/ (sqrt (+ (* (* -4 a) c) (* b b))) a) (/ b a)) (/ (sqrt (+ (* (* -4 a) c) (* b b))) a) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a c (* b b) (/ b a) -1/2 (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* 2 c) 2 (- (sqrt (+ (* (* -4 a) c) (* b b))) b) (if (>= b 0) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a)) (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (neg b) (sqrt (+ (* (* -4 a) c) (* b b))) (* 2 a) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* -1/2 (sqrt (* (/ c a) -4))) (sqrt (* (/ c a) -4)) (* (/ c a) -4) (/ c a) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (if (>= b 0) (* (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) -1/2) (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b))) (* (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) -1/2) (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b)) (neg (/ (+ (* 1/2 b) (sqrt (* (* a c) -1))) a)) (/ (+ (* 1/2 b) (sqrt (* (* a c) -1))) a) (+ (* 1/2 b) (sqrt (* (* a c) -1))) 1/2 (sqrt (* (* a c) -1)) (* (* a c) -1) (* a c) -1 (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- (/ (neg b) c) (sqrt (* (/ a c) -4))) c) (- (/ (neg b) c) (sqrt (* (/ a c) -4))) (/ (neg b) c) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* (* 4 a) c) (* 4 a) 4)
60.0ms	a	@	0	((if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (if (>= b 0) (* (+ (/ (sqrt (+ (* (* -4 a) c) (* b b))) a) (/ b a)) -1/2) (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b))) (>= b 0) b 0 (* (+ (/ (sqrt (+ (* (* -4 a) c) (* b b))) a) (/ b a)) -1/2) (+ (/ (sqrt (+ (* (* -4 a) c) (* b b))) a) (/ b a)) (/ (sqrt (+ (* (* -4 a) c) (* b b))) a) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a c (* b b) (/ b a) -1/2 (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* 2 c) 2 (- (sqrt (+ (* (* -4 a) c) (* b b))) b) (if (>= b 0) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a)) (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (neg b) (sqrt (+ (* (* -4 a) c) (* b b))) (* 2 a) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* -1/2 (sqrt (* (/ c a) -4))) (sqrt (* (/ c a) -4)) (* (/ c a) -4) (/ c a) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (if (>= b 0) (* (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) -1/2) (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b))) (* (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) -1/2) (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b)) (neg (/ (+ (* 1/2 b) (sqrt (* (* a c) -1))) a)) (/ (+ (* 1/2 b) (sqrt (* (* a c) -1))) a) (+ (* 1/2 b) (sqrt (* (* a c) -1))) 1/2 (sqrt (* (* a c) -1)) (* (* a c) -1) (* a c) -1 (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- (/ (neg b) c) (sqrt (* (/ a c) -4))) c) (- (/ (neg b) c) (sqrt (* (/ a c) -4))) (/ (neg b) c) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* (* 4 a) c) (* 4 a) 4)
58.0ms	c	@	inf	((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ a a))) (>= b 0) b 0 (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 c (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ a a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ a a) a (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (neg b) a) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* 2 a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (* (* a c) -4)) (* (* a c) -4) (* a c) -4 (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a)) (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a) (sqrt (* (/ c a) -1)) (* (/ c a) -1) (/ c a) -1 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* (* -4 a) c) (* -4 a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* a (/ c b)) -2) b) (* a (/ c b)) (/ c b) -2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* -1 (sqrt (* (/ c a) -1))) (* -1/2 (/ b a))) (* -1/2 (/ b a)) -1/2 (/ b a))
42.0ms	b	@	0	((if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (>= b 0) b 0 (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a c (* 2 a) 2 (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (if (>= b 0) (* (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) -1/2) (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b))) (* (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) -1/2) (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) a) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 -1/2 (/ (* 2 c) (- (sqrt (+ (* (* -4 a) c) (* b b))) b)) (- (sqrt (+ (* (* -4 a) c) (* b b))) b) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (/ b a) -1/2) (sqrt (* (/ c a) -1))) (/ b a) (sqrt (* (/ c a) -1)) (* (/ c a) -1) (/ c a) -1 (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* (- (/ (* b b) a) (* c 4)) a) (- (/ (* b b) a) (* c 4)) (/ (* b b) a) (* c 4) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (+ (* (/ b c) -1) (sqrt (* (/ a c) -4))) c) (+ (* (/ b c) -1) (sqrt (* (/ a c) -4))) (/ b c) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c))

regimes891.0ms (3.4%)

Memory

48.1MiB live, 1 325.8MiB allocated; 180ms collecting garbage

Counts

767 → 142

Calls

26 calls:

144.0ms	b
86.0ms	x
74.0ms	a
58.0ms	(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
54.0ms	(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))

Compiler

Compiled 1 149 to 980 computations (14.7% saved)

prune881.0ms (3.3%)

Memory: -67.1MiB live, 1 350.9MiB allocated; 147ms collecting garbage
Counts: 10 473 → 318
Compiler: Compiled 24 015 to 11 898 computations (50.5% saved)

bsearch818.0ms (3.1%)

Memory

37.8MiB live, 752.2MiB allocated; 126ms collecting garbage

Algorithm

67×	binary-search
8×	left-value

Stop Event

59×	narrow-enough
8×	predicate-same

Samples

335.0ms	4 320×	0	valid
53.0ms	651×	0	invalid
7.0ms	64×	2	valid
1.0ms	16×	1	valid

Compiler

Compiled 51 189 to 32 047 computations (37.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 243.0ms

ival-mult!: 72.0ms (29.7% of total)

ival-div!: 42.0ms (17.3% of total)

ival->=: 35.0ms (14.4% of total)

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

ival-sub!: 17.0ms (7% of total)

ival-if: 16.0ms (6.6% of total)

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

ival-add!: 11.0ms (4.5% of total)

ival-fabs: 8.0ms (3.3% of total)

adjust: 2.0ms (0.8% of total)

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

analyze605.0ms (2.3%)

Memory

-9.7MiB live, 846.0MiB allocated; 210ms collecting garbage

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
66.4%	56.2%	28.4%	0.1%	0%	15.3%	0%	5
74%	62.1%	21.8%	0.1%	0%	16%	0%	6
77.6%	63.8%	18.4%	0.1%	0%	17.7%	0%	7
79.3%	65%	17%	0.1%	0%	17.9%	0%	8
85%	69.2%	12.2%	0.1%	0%	18.5%	0%	9
86.8%	69.7%	10.6%	0.1%	0%	19.6%	0%	10
88.7%	71.1%	9.1%	0.1%	0%	19.8%	0%	11
91.6%	72.9%	6.7%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 153 to 106 computations (30.7% saved)

start0.0ms (0%)

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

end0.0ms (0%)

Memory: 0.2MiB live, 0.1MiB allocated; 0ms collecting garbage

sample8.9s (33.8%)

rewrite5.8s (22%)

preprocess2.4s (9.1%)

derivations1.7s (6.5%)

eval1.7s (6.4%)

explain1.4s (5.3%)

series1.3s (4.8%)

regimes891.0ms (3.4%)

prune881.0ms (3.3%)

bsearch818.0ms (3.1%)

analyze605.0ms (2.3%)

start0.0ms (0%)

end0.0ms (0%)

Profiling