Metrics for Herbie run

Date:	Saturday, April 5th, 2025
Commit:	f7a7cb35 on main
Seed:	2025095
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:	27 058.5 MB

sample9.4s (41.2%)

Memory

331.6MiB live, 9 977.8MiB allocated; 4.5s collecting garbage

Samples

5.4s	70 200×	0	valid
957.0ms	4 097×	2	valid
150.0ms	1 991×	0	invalid
0.0ms	7×	1	valid

Precisions

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

ival-div!: 863.0ms (22.6% of total)

ival-mult!: 817.0ms (21.4% of total)

ival-sqrt: 472.0ms (12.3% of total)

ival-neg: 443.0ms (11.6% of total)

ival-fabs: 370.0ms (9.7% of total)

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

adjust: 218.0ms (5.7% of total)

ival-add!: 163.0ms (4.3% of total)

ival-exp: 108.0ms (2.8% of total)

ival-log: 94.0ms (2.5% of total)

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

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

Bogosity

rewrite4.7s (20.5%)

Memory

-78.6MiB live, 5 160.4MiB allocated; 827ms collecting garbage

Stop Event

69×	iter-limit
25×	node-limit
2×	unsound
1×	saturated

Counts

4 836 → 6 774

eval1.6s (7%)

Memory: 78.2MiB live, 2 472.4MiB allocated; 426ms collecting garbage
Compiler: Compiled 557 272 to 37 230 computations (93.3% saved)

explain1.4s (6.4%)

Memory

-54.9MiB live, 2 088.1MiB allocated; 525ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	245
`+.f64`	`#f`	cancellation	124
`-.f64`	`#f`	cancellation	117
`sqrt.f64`	`#f`	uflow-rescue	63
`/.f64`	`#f`	u/n	26
`/.f64`	`#f`	n/u	24
`-.f64`	`#f`	nan-rescue	13
`*.f64`	`#f`	*no**	11
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	7

Confusion

	Predicted +	Predicted -
+	279	10
-	226	1789

Precision

0.5524752475247525

Recall

0.9653979238754326

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	279	0	10
-	226	0	1789

Precision?

0.5524752475247525

Recall?

0.9653979238754326

Freqs

test

number	freq
0	1799
1	382
2	121
3	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	4	0	0
-	0	0	5

Precision?

1.0

Recall?

1.0

Samples

239.0ms	3 704×	0	valid
132.0ms	542×	2	valid
61.0ms	314×	1	valid
19.0ms	48×	3	valid

Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions

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

ival-mult!: 48.0ms (19.8% of total)

ival-div!: 44.0ms (18.2% of total)

ival-sqrt: 35.0ms (14.4% of total)

adjust: 33.0ms (13.6% of total)

ival-sub!: 28.0ms (11.6% of total)

ival-neg: 13.0ms (5.4% of total)

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

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

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

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

ival-exp: 5.0ms (2.1% of total)

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

derivations1.3s (5.6%)

Memory

-79.1MiB live, 1 289.7MiB allocated; 270ms collecting garbage

Stop Event

6×	done
3×	fuel

Compiler

Compiled 4 891 to 580 computations (88.1% saved)

series1.0s (4.6%)

Memory

181.8MiB live, 1 441.4MiB allocated; 139ms collecting garbage

Counts

675 → 4 161

Calls

171 calls:

Time	Variable		Point	Expression
60.0ms	b	@	0	((if (>= b 0) (- (/ (neg b) (* 2 a)) (/ (sqrt (+ (* (* -4 a) c) (* b b))) (* 2 a))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (>= b 0) b 0 (- (/ (neg b) (* 2 a)) (/ (sqrt (+ (* (* -4 a) c) (* b b))) (* 2 a))) (/ (neg b) (* 2 a)) (neg b) (* 2 a) 2 a (/ (sqrt (+ (* (* -4 a) c) (* b b))) (* 2 a)) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 c (* b b) (/ (* 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))) (- (* b b) (* (* 4 a) c)) (* (* 4 a) c) (* 4 a) 4 (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) -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 (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)))) (/ (* 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)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg (* (- (/ b c) (* (sqrt (* (/ a c) -1)) 2)) c)) (* (- (/ b c) (* (sqrt (* (/ a c) -1)) 2)) c) (- (/ b c) (* (sqrt (* (/ a c) -1)) 2)) (/ b c) (* (sqrt (* (/ a c) -1)) 2) (sqrt (* (/ a c) -1)) (* (/ a c) -1) (/ a c))
49.0ms	c	@	inf	((if (>= b 0) (- (/ (neg b) (* 2 a)) (/ (sqrt (+ (* (* -4 a) c) (* b b))) (* 2 a))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (>= b 0) b 0 (- (/ (neg b) (* 2 a)) (/ (sqrt (+ (* (* -4 a) c) (* b b))) (* 2 a))) (/ (neg b) (* 2 a)) (neg b) (* 2 a) 2 a (/ (sqrt (+ (* (* -4 a) c) (* b b))) (* 2 a)) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 c (* b b) (/ (* 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))) (- (* b b) (* (* 4 a) c)) (* (* 4 a) c) (* 4 a) 4 (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) -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 (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)))) (/ (* 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)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg (* (- (/ b c) (* (sqrt (* (/ a c) -1)) 2)) c)) (* (- (/ b c) (* (sqrt (* (/ a c) -1)) 2)) c) (- (/ b c) (* (sqrt (* (/ a c) -1)) 2)) (/ b c) (* (sqrt (* (/ a c) -1)) 2) (sqrt (* (/ a c) -1)) (* (/ a c) -1) (/ a c))
36.0ms	b	@	0	((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* (/ (- (sqrt (+ (* (* -4 a) c) (* b b))) b) a) 1/2)) (>= b 0) b 0 (/ (* -2 c) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* -2 c) -2 c (+ (sqrt (+ (* (* -4 a) c) (* b b))) b) (* 2 b) 2 (* (/ (- (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 a (* b b) 1/2 (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (* (/ b a) -1/2) (sqrt (* (/ c a) -1))) (/ b a) -1/2 (sqrt (* (/ c a) -1)) (* (/ c a) -1) (/ c a) -1 (/ (+ (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) (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))))) (* 2 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) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* 1/2 (sqrt (* (/ c a) -4))) (sqrt (* (/ c a) -4)) (* (/ c a) -4) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b)) (* (/ (- (sqrt (+ (* (* -4 a) c) (* b b))) b) a) 1/2)) (/ (* -2 c) (+ (sqrt (+ (* (* -4 a) c) (* b b))) b)) (neg (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a)) (/ (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) a) (+ (* 1/2 b) (neg (sqrt (* (* a c) -1)))) (neg (sqrt (* (* a c) -1))) (sqrt (* (* a c) -1)) (* (* a c) -1) (* a c) (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)))) (* (- (/ (neg b) a) (sqrt (* (/ c a) -4))) a) (- (/ (neg b) a) (sqrt (* (/ c a) -4))) (/ (neg b) a) (/ (+ (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) 4)
27.0ms	x	@	0	((neg (log (- (/ 1 x) 1))) (log x) x (neg (log (- (/ 1 x) 1))) (+ (log x) x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (+ (* 1/2 x) 1) 1/2 1)
25.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 (+ (* (* c a) -4) (* b b))) b) a) -1/2) (/ (* 2 c) (- (sqrt (+ (* (* c a) -4) (* b b))) b))) (>= b 0) b 0 (* (/ (+ (sqrt (+ (* (* c a) -4) (* b b))) b) a) -1/2) (/ (+ (sqrt (+ (* (* c a) -4) (* b b))) b) a) (+ (sqrt (+ (* (* c a) -4) (* b b))) b) (sqrt (+ (* (* c a) -4) (* b b))) (+ (* (* c a) -4) (* b b)) (* c a) c a -4 (* b b) -1/2 (/ (* 2 c) (- (sqrt (+ (* (* c a) -4) (* b b))) b)) (* 2 c) 2 (- (sqrt (+ (* (* c a) -4) (* b b))) b) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (+ c 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) (sqrt (- (* b b) (* (* 4 a) c))) (* 2 a) (/ (+ c c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ c 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)) (+ (* (/ 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))))) (* -1 (/ (+ (* 1/2 b) (sqrt (* (* a c) -1))) a)) (+ (* (/ b a) -1/2) (neg (sqrt (neg (/ c a))))) (neg (sqrt (neg (/ c a)))) (sqrt (neg (/ c a))) (neg (/ 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)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg (* (- (/ b c) (* (sqrt (* (/ a c) -1)) 2)) c)) (* (- (/ b c) (* (sqrt (* (/ a c) -1)) 2)) c) (- (/ b c) (* (sqrt (* (/ a c) -1)) 2)) (* -2 (sqrt (* (/ a c) -1))) -2 (sqrt (* (/ a c) -1)) (* (/ a c) -1) (/ 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 (if (>= b 0) (/ (- (* (neg b) (* 2 a)) (* (* 2 a) (sqrt (+ (* (* -4 a) c) (* b b))))) (* (* 2 a) (* 2 a))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (* (neg b) (* 2 a)) (* (* 2 a) (sqrt (+ (* (* -4 a) c) (* b b))))) (* (* 2 a) (* 2 a))) (- (* (neg b) (* 2 a)) (* (* 2 a) (sqrt (+ (* (* -4 a) c) (* b b))))) (* (neg b) (* 2 a)) (* (* 2 a) (sqrt (+ (* (* -4 a) c) (* b b)))) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) (* (* 2 a) (* 2 a)))

preprocess969.0ms (4.3%)

Memory

-130.0MiB live, 923.0MiB allocated; 361ms collecting garbage

Stop Event

8×	node-limit
1×	saturated

Compiler

Compiled 11 406 to 2 118 computations (81.4% saved)

bsearch665.0ms (2.9%)

Memory

-8.7MiB live, 993.8MiB allocated; 156ms collecting garbage

Algorithm

56×	binary-search
6×	left-value

Stop Event

54×	narrow-enough
2×	predicate-same

Samples

275.0ms	3 424×	0	valid
42.0ms	476×	0	invalid
9.0ms	80×	2	valid
1.0ms	16×	1	valid

Compiler

Compiled 36 337 to 22 143 computations (39.1% saved)

Precisions

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

ival-mult!: 60.0ms (30.8% of total)

ival-div!: 34.0ms (17.5% of total)

ival-fabs: 23.0ms (11.8% of total)

ival-sqrt: 19.0ms (9.8% of total)

ival-sub!: 14.0ms (7.2% of total)

ival-if: 11.0ms (5.7% of total)

ival-neg: 11.0ms (5.7% of total)

ival->=: 10.0ms (5.1% of total)

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

adjust: 3.0ms (1.5% of total)

prune631.0ms (2.8%)

Memory: 104.2MiB live, 943.8MiB allocated; 86ms collecting garbage
Counts: 9 399 → 255
Compiler: Compiled 22 666 to 10 973 computations (51.6% saved)

regimes626.0ms (2.8%)

Memory

42.6MiB live, 1 039.0MiB allocated; 100ms collecting garbage

Counts

540 → 120

Calls

26 calls:

149.0ms	b
47.0ms	x
40.0ms	a
37.0ms	c
33.0ms	(log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))

Compiler

Compiled 1 044 to 880 computations (15.7% saved)

analyze454.0ms (2%)

Memory

23.2MiB live, 727.7MiB allocated; 130ms 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: 1.2MiB live, 1.2MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample9.4s (41.2%)

rewrite4.7s (20.5%)

eval1.6s (7%)

explain1.4s (6.4%)

derivations1.3s (5.6%)

series1.0s (4.6%)

preprocess969.0ms (4.3%)

bsearch665.0ms (2.9%)

prune631.0ms (2.8%)

regimes626.0ms (2.8%)

analyze454.0ms (2%)

start0.0ms (0%)

end0.0ms (0%)

Profiling