Details

analyze628.0ms (7.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample41.0ms (0.5%)

Algorithm

1×

intervals

Results

9.0ms	171×	body	128	valid
8.0ms	34×	body	2048	valid
5.0ms	24×	body	1024	valid
4.0ms	12×	body	4096	valid
2.0ms	12×	body	512	valid
1.0ms	18×	body	128	nan
1.0ms	13×	body	128	invalid
0.0ms	3×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify330.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

904×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`
521×	`associate-/l/_binary64`
427×	`associate-/r/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	29	24
2	62	24
3	125	24
4	175	24
5	284	24
6	456	24
7	759	24
8	1186	24
9	1635	24
10	1913	24
11	1868	24
12	1916	24
13	1985	24
14	2029	24
15	1597	24
16	1589	24
17	1581	24
18	1585	24
19	1587	24
20	1587	24
21	1801	24
22	1901	24
23	1835	24
24	1843	24
25	1865	24
26	1877	24
27	1883	24
28	1883	24
29	1927	24
30	1983	24
31	1935	24
32	1935	24
33	1746	24

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

33.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
0.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
2.8b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
21.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite168.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

33.2b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
6×	`sqrt-prod_binary64` `difference-of-squares_binary64` `times-frac_binary64` `associate-/l*_binary64`

Counts

4 → 74

Calls

4 calls:

12.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series214.0ms (2.7%)

Error

5.4b

Counts

4 → 62

Calls

4 calls:

66.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
42.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
41.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
38.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

Compiler

Compiled 2488 to 1789 computations (28.1% saved)

simplify131.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

588×	`times-frac_binary64`
414×	`associate-/l*_binary64`
351×	`associate-/r*_binary64`
316×	`div-sub_binary64`
177×	`distribute-rgt-in_binary64`

Counts

136 → 109

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	2848
1	511	2611
2	1518	2604
3	4705	2604
4	5538	2604

prune100.0ms (1.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	97	12	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	12	110

Error

7.1b

Counts

110 → 12

Alt Table

Status	Error	Program
	33.3b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	41.6b	(*.f64 (/.f64 b a) -2/3)
	46.3b	(/.f64 (sqrt.f64 (.f64 a (.f64 c -3))) (*.f64 3 a))
	46.6b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	48.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	33.4b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	48.0b	(+.f64 (.f64 1/3 (-.f64 (/.f64 (sqrt.f64 (.f64 a (.f64 c -3))) a) (/.f64 b a))) (.f64 (/.f64 (.f64 b b) (sqrt.f64 (.f64 a (*.f64 c -3)))) (/.f64 1/6 a)))
▶	33.2b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) 3) a)
	33.9b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	41.6b	(/.f64 (.f64 b -2) (.f64 3 a))
	41.8b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	47.7b	(/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) (*.f64 3 a))

Compiler

Compiled 2056 to 1180 computations (42.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (.f64 a c))
0.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
2.8b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
21.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite80.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

7.1b

Rules

12×	`add-sqr-sqrt_binary64`
10×	`pow1_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `*-un-lft-identity_binary64`
8×	`add-log-exp_binary64`
7×	`add-cube-cbrt_binary64`

Counts

4 → 62

Calls

4 calls:

8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
5.0ms	(.f64 3 (.f64 a c))
4.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 1452 to 762 computations (47.5% saved)

series173.0ms (2.1%)

Error

7.0b

Counts

4 → 52

Calls

4 calls:

61.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
43.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
38.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
16.0ms	(.f64 3 (.f64 a c))

Compiler

Compiled 1999 to 1420 computations (29% saved)

simplify106.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

362×	`distribute-rgt-neg-in_binary64`
348×	`distribute-lft-neg-in_binary64`
312×	`distribute-rgt-in_binary64`
293×	`times-frac_binary64`
284×	`cancel-sign-sub-inv_binary64`

Counts

114 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	145	1692
1	323	1610
2	931	1607
3	2696	1595
4	4678	1595
5	4896	1595

prune50.0ms (0.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	58	3	61
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	60	13	73

Error

7.0b

Counts

73 → 13

Alt Table

Status	Error	Program
▶	33.3b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	46.3b	(/.f64 (sqrt.f64 (.f64 a (.f64 c -3))) (*.f64 3 a))
	46.6b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	48.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	33.4b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	48.0b	(+.f64 (.f64 1/3 (-.f64 (/.f64 (sqrt.f64 (.f64 a (.f64 c -3))) a) (/.f64 b a))) (.f64 (/.f64 (.f64 b b) (sqrt.f64 (.f64 a (*.f64 c -3)))) (/.f64 1/6 a)))
✓	33.2b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) 3) a)
	35.0b	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
	33.9b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	41.6b	(/.f64 (/.f64 (*.f64 b -2) 3) a)
	41.8b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	47.7b	(/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) (*.f64 3 a))
	47.7b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) 3) a)

Compiler

Compiled 1170 to 723 computations (38.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (.f64 a c))
0.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
2.8b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
21.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite85.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

7.0b

Rules

12×	`add-sqr-sqrt_binary64`
10×	`pow1_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `*-un-lft-identity_binary64`
8×	`add-log-exp_binary64`
7×	`add-cube-cbrt_binary64`

Counts

4 → 62

Calls

4 calls:

10.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
5.0ms	(.f64 3 (.f64 a c))
4.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 1564 to 874 computations (44.1% saved)

series154.0ms (1.9%)

Error

7.0b

Counts

4 → 52

Calls

4 calls:

43.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
40.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
38.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
17.0ms	(.f64 3 (.f64 a c))

Compiler

Compiled 2201 to 1622 computations (26.3% saved)

simplify109.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

362×	`distribute-rgt-neg-in_binary64`
348×	`distribute-lft-neg-in_binary64`
312×	`distribute-rgt-in_binary64`
293×	`times-frac_binary64`
284×	`cancel-sign-sub-inv_binary64`

Counts

114 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	145	1692
1	323	1610
2	931	1607
3	2696	1595
4	4678	1595
5	4896	1595

prune50.0ms (0.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	58	3	61
Fresh	3	8	11
Picked	0	1	1
Done	0	1	1
Total	61	13	74

Error

7.0b

Counts

74 → 13

Alt Table

Status	Error	Program
✓	33.3b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	46.3b	(/.f64 (sqrt.f64 (.f64 a (.f64 c -3))) (*.f64 3 a))
	46.6b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	48.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	41.6b	(/.f64 1 (/.f64 3 (/.f64 (*.f64 b -2) a)))
	47.8b	(/.f64 1 (/.f64 3 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) a)))
▶	33.4b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
✓	33.2b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) 3) a)
	35.0b	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
	46.1b	(/.f64 1 (/.f64 3 (/.f64 (sqrt.f64 (.f64 a (.f64 c -3))) a)))
	33.9b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	41.6b	(/.f64 (/.f64 (*.f64 b -2) 3) a)
	41.8b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))

Compiler

Compiled 1179 to 756 computations (35.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (.f64 3 a) c)
0.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
2.8b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
21.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite85.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

7.0b

Rules

12×	`add-sqr-sqrt_binary64`
10×	`pow1_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `*-un-lft-identity_binary64`
8×	`add-log-exp_binary64`
7×	`add-cube-cbrt_binary64`

Counts

4 → 62

Calls

4 calls:

8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
5.0ms	(.f64 (.f64 3 a) c)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

Compiler

Compiled 1470 to 856 computations (41.8% saved)

series149.0ms (1.9%)

Error

7.0b

Counts

4 → 52

Calls

4 calls:

40.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
40.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
37.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
15.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 1999 to 1420 computations (29% saved)

simplify110.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

408×	`distribute-rgt-neg-in_binary64`
382×	`distribute-lft-neg-in_binary64`
353×	`distribute-rgt-in_binary64`
314×	`cancel-sign-sub-inv_binary64`
294×	`*-commutative_binary64`

Counts

114 → 82

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	150	1694
1	343	1612
2	1020	1609
3	2727	1603
4	4788	1603
5	4887	1603

prune59.0ms (0.7%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	81	14	95

Error

7.0b

Counts

95 → 14

Alt Table

Status	Error	Program
	33.3b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	46.3b	(/.f64 (sqrt.f64 (.f64 a (.f64 c -3))) (*.f64 3 a))
	46.6b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	48.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	41.6b	(/.f64 1 (/.f64 3 (/.f64 (*.f64 b -2) a)))
	47.8b	(/.f64 1 (/.f64 3 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) a)))
	33.4b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	33.2b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) 3) a)
	35.0b	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
	46.1b	(/.f64 1 (/.f64 3 (/.f64 (sqrt.f64 (.f64 a (.f64 c -3))) a)))
	33.9b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	41.6b	(.f64 (.f64 b -2) (/.f64 1/3 a))
	41.6b	(/.f64 (/.f64 (*.f64 b -2) 3) a)
	41.8b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))

Compiler

Compiled 1324 to 776 computations (41.4% saved)

regimes3.6s (44.3%)

Accuracy

Total 3.0b remaining (28.8%)

Threshold costs 0b (0%)

Compiler

Compiled 21258 to 14548 computations (31.6% saved)

bsearch65.0ms (0.8%)

Steps

Iters	Range		Point
10	4.8670834147901665e-32	1.5137431237819256e-21	2.1387839641340222e-29
9	-1.8193489604909258e+95	-6.124186158538392e+85	-1.3691570764324218e+95

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
6×	`sub-neg_binary64` `+-commutative_binary64`
4×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`distribute-frac-neg_binary64`
1×	`distribute-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	55
1	40	55
2	45	55
3	50	55
4	56	55
5	61	55
6	64	55
7	65	55
8	65	55

end2.0ms (0%)

Compiler: Compiled 40 to 27 computations (32.5% saved)

sample1.5s (19.2%)

Algorithm

1×

intervals

Results

287.0ms	1128×	body	2048	valid
282.0ms	5223×	body	128	valid
139.0ms	720×	body	1024	valid
114.0ms	376×	body	4096	valid
56.0ms	368×	body	512	valid
42.0ms	680×	body	128	nan
23.0ms	428×	body	128	invalid
21.0ms	185×	body	256	valid

Compiler

Compiled 319 to 224 computations (29.8% saved)

Details

analyze628.0ms (7.8%)

sample41.0ms (0.5%)

simplify330.0ms (4.1%)

prune4.0ms (0.1%)

localize14.0ms (0.2%)

rewrite168.0ms (2.1%)

series214.0ms (2.7%)

simplify131.0ms (1.6%)

prune100.0ms (1.2%)

localize11.0ms (0.1%)

rewrite80.0ms (1%)

series173.0ms (2.1%)

simplify106.0ms (1.3%)

prune50.0ms (0.6%)

localize12.0ms (0.1%)

rewrite85.0ms (1.1%)

series154.0ms (1.9%)

simplify109.0ms (1.3%)

prune50.0ms (0.6%)

localize11.0ms (0.1%)

rewrite85.0ms (1.1%)

series149.0ms (1.9%)

simplify110.0ms (1.4%)

prune59.0ms (0.7%)

regimes3.6s (44.3%)

bsearch65.0ms (0.8%)

simplify6.0ms (0.1%)

end2.0ms (0%)

sample1.5s (19.2%)

Profiling