Metrics for Herbie run

Date:	Monday, December 16th, 2024
Commit:	e7208c1b on no-localize
Hostname:	nightly with Racket 8.10
Seed:	2024351
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:	52 356.7 MB

sample11.2s (22.9%)

Memory

405.1MiB live, 13 102.5MiB allocated; 5.6s collecting garbage

Samples

6.3s	70 214×	0	valid
1.1s	4 081×	2	valid
256.0ms	1 969×	0	invalid
1.0ms	9×	1	valid

Precisions

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

ival-mult: 1.6s (32.8% of total)

ival-div: 944.0ms (19.7% of total)

ival-sub: 609.0ms (12.7% of total)

ival-sqrt: 373.0ms (7.8% of total)

ival-add: 266.0ms (5.5% of total)

ival-neg: 238.0ms (5% of total)

adjust: 160.0ms (3.3% of total)

ival-if: 143.0ms (3% of total)

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

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

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

ival->=: 64.0ms (1.3% of total)

exact: 58.0ms (1.2% of total)

ival-true: 50.0ms (1% of total)

ival-assert: 28.0ms (0.6% of total)

Bogosity

rewrite7.6s (15.6%)

Memory

-3.8MiB live, 8 044.2MiB allocated; 2.0s collecting garbage

Stop Event

70×	iter limit
31×	node limit
2×	unsound
1×	saturated

Counts

730 → 21 087

derivations7.0s (14.4%)

Memory

37.6MiB live, 5 190.6MiB allocated; 1.4s collecting garbage

Stop Event

60×	iter limit
40×	node limit
5×	fuel
4×	done
1×	saturated

Compiler

Compiled 5 017 to 608 computations (87.9% saved)

simplify6.9s (14.1%)

Memory

-61.3MiB live, 6 793.1MiB allocated; 1.4s collecting garbage

Algorithm

42×	egg-herbie

Stop Event

38×	node limit
34×	iter limit
5×	saturated

Counts

2 863 → 2 799

eval6.1s (12.4%)

Memory: 155.6MiB live, 7 186.6MiB allocated; 2.0s collecting garbage
Compiler: Compiled 1 363 358 to 106 808 computations (92.2% saved)

prune2.6s (5.3%)

Memory: -310.6MiB live, 3 242.9MiB allocated; 489ms collecting garbage
Counts: 26 916 → 364
Compiler: Compiled 30 243 to 13 856 computations (54.2% saved)

explain1.8s (3.6%)

Memory

18.3MiB live, 2 313.2MiB allocated; 341ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	264	0
`-.f64`	`#f`	cancellation	121	0
`+.f64`	`#f`	cancellation	120	1
`sqrt.f64`	`#f`	uflow-rescue	78	0
`/.f64`	`#f`	n/u	33	0
`/.f64`	`#f`	u/n	28	0
`-.f64`	`#f`	nan-rescue	25	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*no**	10	0
`*.f64`	`(*.f64 (/.f64 x y) z)`	*nu**	6	0
`/.f64`	`(/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))))`	n/o	1	0
↳	`(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) a) c))))`	overflow	1
↳	`(-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) a) c))`	overflow	98
↳	`(.f64 (.f64 #s(literal 4 binary64) a) c)`	overflow	28
↳	`(*.f64 b b)`	overflow	78
`/.f64`	`(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a))`	o/n	1	0
↳	`(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) a) c))))`	overflow	1
↳	`(-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) a) c))`	overflow	105
↳	`(.f64 (.f64 #s(literal 4 binary64) a) c)`	overflow	20
↳	`(*.f64 b b)`	overflow	96

Confusion

	Predicted +	Predicted -
+	311	18
-	222	1753

Precision

0.5834896810506567

Recall

0.9452887537993921

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	311	0	18
-	222	0	1753

Precision?

0.5834896810506567

Recall?

0.9452887537993921

Freqs

test

number	freq
0	1771
1	393
2	128
3	10
4	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

328.0ms	3 678×	0	valid
169.0ms	558×	2	valid
140.0ms	312×	1	valid
29.0ms	60×	3	valid

Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions

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

ival-div: 110.0ms (24.8% of total)

ival-mult: 110.0ms (24.8% of total)

adjust: 73.0ms (16.5% of total)

ival-sub: 43.0ms (9.7% of total)

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

ival-add: 22.0ms (5% of total)

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

ival-if: 9.0ms (2% of total)

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

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

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

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

exact: 4.0ms (0.9% of total)

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

ival-assert: 2.0ms (0.5% of total)

regimes1.5s (3.1%)

Memory

126.8MiB live, 1 692.5MiB allocated; 252ms collecting garbage

Counts

847 → 124

Calls

26 calls:

165.0ms	x
137.0ms	a
137.0ms	(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
115.0ms	b
110.0ms	c

Compiler

Compiled 1 129 to 959 computations (15.1% saved)

series1.5s (3%)

Memory

131.1MiB live, 1 766.9MiB allocated; 285ms collecting garbage

Counts

730 → 2 863

Calls

195 calls:

Time	Variable		Point	Expression
85.0ms	a	@	inf	((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)) (+ (* (/ b a) -1) (/ c (exp (log b)))) (/ b a) a -1 (/ c (exp (log b))) c (exp (log b)) (log b) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 (+ (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 (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) 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))) (- (* 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 (* (sqrt b) (sqrt b))) a) (neg (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (sqrt b) (/ (* 2 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)))))) (if (>= b 0) (* (+ (sqrt (+ (* (* c a) -4) (* b b))) b) (/ -1/2 a)) (/ (* 2 c) (- (sqrt (+ (* (* c a) -4) (* b b))) b))) (* (+ (sqrt (+ (* (* c a) -4) (* b b))) b) (/ -1/2 a)) (+ (sqrt (+ (* (* c a) -4) (* b b))) b) (sqrt (+ (* (* c a) -4) (* b b))) (+ (* (* c a) -4) (* b b)) (* c a) -4 (/ -1/2 a) -1/2 (/ (* 2 c) (- (sqrt (+ (* (* c a) -4) (* b b))) b)) (- (sqrt (+ (* (* c a) -4) (* 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)) (/ (neg (pow (E) (log b))) a) (neg (pow (E) (log b))) (pow (E) (log b)) (E))
68.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)))))) (>= b 0) b 0 (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (/ b a) -1) (/ c (exp (log b)))) (/ b a) a -1 (/ c (exp (log b))) c (exp (log b)) (log b) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 (+ (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 (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) 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))) (- (* 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 (* (sqrt b) (sqrt b))) a) (neg (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (sqrt b) (/ (* 2 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)))))) (if (>= b 0) (* (+ (sqrt (+ (* (* c a) -4) (* b b))) b) (/ -1/2 a)) (/ (* 2 c) (- (sqrt (+ (* (* c a) -4) (* b b))) b))) (* (+ (sqrt (+ (* (* c a) -4) (* b b))) b) (/ -1/2 a)) (+ (sqrt (+ (* (* c a) -4) (* b b))) b) (sqrt (+ (* (* c a) -4) (* b b))) (+ (* (* c a) -4) (* b b)) (* c a) -4 (/ -1/2 a) -1/2 (/ (* 2 c) (- (sqrt (+ (* (* c a) -4) (* b b))) b)) (- (sqrt (+ (* (* c a) -4) (* 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)) (/ (neg (pow (E) (log b))) a) (neg (pow (E) (log b))) (pow (E) (log b)) (E))
60.0ms	a	@	-inf	((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) (sqrt (+ (* -4 (* a c)) (* b b))) (+ (* -4 (* a c)) (* b b)) -4 (* a c) a (* 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 (if (>= b 0) (/ (* -2 a) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b)) (/ (+ (sqrt (+ (* (* -4 c) a) (* b b))) b) (* -2 a))) (/ (* -2 a) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b)) (* -2 a) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b) (sqrt (+ (* (* -4 c) a) (* b b))) (+ (* (* -4 c) a) (* b b)) (* -4 c) (/ (+ (sqrt (+ (* (* -4 c) a) (* b 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) 2 (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* -2 a) (/ c b)) b) (/ c b) (/ (+ (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 (* 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))))) (- (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)) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (* (/ (sqrt (+ (* (* -4 c) a) (* b b))) 2) (* -2 a)) (* a b)) (* a (* -2 a)))) (/ (+ (* (/ (sqrt (+ (* (* -4 c) a) (* b b))) 2) (* -2 a)) (* a b)) (* a (* -2 a))) (+ (* (/ (sqrt (+ (* (* -4 c) a) (* b b))) 2) (* -2 a)) (* a b)) (/ (sqrt (+ (* (* -4 c) a) (* b b))) 2) (* a b) (* a (* -2 a)))
49.0ms	c	@	inf	((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) (sqrt (+ (* -4 (* a c)) (* b b))) (+ (* -4 (* a c)) (* b b)) -4 (* a c) a (* 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 (if (>= b 0) (/ (* -2 a) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b)) (/ (+ (sqrt (+ (* (* -4 c) a) (* b b))) b) (* -2 a))) (/ (* -2 a) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b)) (* -2 a) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b) (sqrt (+ (* (* -4 c) a) (* b b))) (+ (* (* -4 c) a) (* b b)) (* -4 c) (/ (+ (sqrt (+ (* (* -4 c) a) (* b 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) 2 (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* -2 a) (/ c b)) b) (/ c b) (/ (+ (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 (* 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))))) (- (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)) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (* (/ (sqrt (+ (* (* -4 c) a) (* b b))) 2) (* -2 a)) (* a b)) (* a (* -2 a)))) (/ (+ (* (/ (sqrt (+ (* (* -4 c) a) (* b b))) 2) (* -2 a)) (* a b)) (* a (* -2 a))) (+ (* (/ (sqrt (+ (* (* -4 c) a) (* b b))) 2) (* -2 a)) (* a b)) (/ (sqrt (+ (* (* -4 c) a) (* b b))) 2) (* a b) (* a (* -2 a)))
46.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)

preprocess1.4s (2.8%)

Memory

51.9MiB live, 1 684.7MiB allocated; 288ms collecting garbage

Algorithm

9×	egg-herbie

Stop Event

18×	iter limit
14×	saturated
4×	node limit

Compiler

Compiled 10 567 to 1 572 computations (85.1% saved)

bsearch738.0ms (1.5%)

Memory

-11.8MiB live, 802.6MiB allocated; 212ms collecting garbage

Algorithm

44×	binary-search
18×	left-value

Stop Event

38×	narrow-enough
6×	predicate-same

Samples

389.0ms	2 640×	0	valid
30.0ms	304×	0	invalid
12.0ms	80×	2	valid

Compiler

Compiled 38 716 to 22 074 computations (43% saved)

Precisions

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

ival-fabs: 79.0ms (27% of total)

ival-mult: 69.0ms (23.6% of total)

ival-add: 42.0ms (14.4% of total)

ival-div: 36.0ms (12.3% of total)

ival-sub: 23.0ms (7.9% of total)

ival-sqrt: 12.0ms (4.1% of total)

ival-neg: 9.0ms (3.1% of total)

ival-if: 7.0ms (2.4% of total)

ival->=: 5.0ms (1.7% of total)

adjust: 3.0ms (1% of total)

exact: 3.0ms (1% of total)

ival-exp: 2.0ms (0.7% of total)

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

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

analyze618.0ms (1.3%)

Memory

74.3MiB live, 536.2MiB allocated; 108ms 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
67.2%	56.9%	27.7%	0.1%	0%	15.3%	0%	5
74.4%	62.4%	21.5%	0.1%	0%	16%	0%	6
78.9%	64.9%	17.3%	0.1%	0%	17.7%	0%	7
80.8%	66.3%	15.8%	0.1%	0%	17.9%	0%	8
85.9%	69.9%	11.5%	0.1%	0%	18.5%	0%	9
88%	70.7%	9.7%	0.1%	0%	19.6%	0%	10
90%	72.1%	8%	0.1%	0%	19.8%	0%	11
92.3%	73.5%	6.2%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 153 to 106 computations (30.7% saved)

start0.0ms (0%)

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

end0.0ms (0%)

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

sample11.2s (22.9%)

rewrite7.6s (15.6%)

derivations7.0s (14.4%)

simplify6.9s (14.1%)

eval6.1s (12.4%)

prune2.6s (5.3%)

explain1.8s (3.6%)

regimes1.5s (3.1%)

series1.5s (3%)

preprocess1.4s (2.8%)

bsearch738.0ms (1.5%)

analyze618.0ms (1.3%)

start0.0ms (0%)

end0.0ms (0%)

Profiling