Details

analyze586.0ms (7.5%)

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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample43.0ms (0.6%)

Algorithm

1×

intervals

Results

10.0ms	162×	body	128	valid
9.0ms	36×	body	2048	valid
5.0ms	25×	body	1024	valid
4.0ms	12×	body	4096	valid
2.0ms	14×	body	512	valid
1.0ms	27×	body	128	nan
1.0ms	7×	body	256	valid
0.0ms	7×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify330.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1228×	`associate-/l*_binary64`
1150×	`div-sub_binary64`
630×	`distribute-rgt-in_binary64`
619×	`times-frac_binary64`
588×	`associate-/r*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	24
2	62	24
3	121	24
4	172	24
5	282	24
6	460	24
7	748	24
8	1084	24
9	1128	24
10	1799	24
11	2594	24
12	2001	24
13	2089	24
14	2153	24
15	2179	24
16	2431	24
17	2909	24
18	2913	24
19	2991	24
20	3053	24
21	3065	24
22	3035	24
23	3211	24
24	3211	24
25	2043	24
26	2195	24
27	2097	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	1834	24

prune4.0ms (0%)

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

36.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	36.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
0.2b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
24.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite176.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

36.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:

11.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 1903 to 985 computations (48.2% saved)

series252.0ms (3.2%)

Error

5.7b

Counts

4 → 76

Calls

4 calls:

73.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
55.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
46.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
41.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3238 to 2328 computations (28.1% saved)

simplify126.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

775×	`associate-/l*_binary64`
207×	`cancel-sign-sub-inv_binary64`
204×	`distribute-rgt-in_binary64`
187×	`distribute-rgt-neg-in_binary64`
184×	`distribute-lft-in_binary64`

Counts

150 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	225	3457
1	614	3210
2	1948	3192
3	4962	3192
4	4989	3192

prune71.0ms (0.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	89	9	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	89	10	99

Error

5.7b

Counts

99 → 10

Alt Table

Status	Error	Program
✓	36.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
	51.2b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	36.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
▶	36.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	44.1b	(/.f64 (neg.f64 b) a)
	36.9b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	49.7b	(-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3))) (/.f64 c b))
	47.6b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
	46.0b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	38.9b	(neg.f64 (/.f64 c b))

Compiler

Compiled 1662 to 958 computations (42.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
0.2b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
24.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite396.0ms (5.1%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

693×	`times-frac_binary64`
439×	`add-sqr-sqrt_binary64`
364×	`*-un-lft-identity_binary64`
290×	`add-cube-cbrt_binary64`
74×	`difference-of-squares_binary64`

Counts

4 → 356

Calls

4 calls:

26.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 11060 to 6512 computations (41.1% saved)

series253.0ms (3.2%)

Error

5.7b

Counts

4 → 76

Calls

4 calls:

74.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
57.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
48.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
43.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3438 to 2528 computations (26.5% saved)

simplify453.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

318×	`associate-/r/_binary64`
244×	`*-commutative_binary64`
204×	`cancel-sign-sub-inv_binary64`
197×	`distribute-rgt-in_binary64` `associate-*l/_binary64`
182×	`distribute-rgt-neg-in_binary64`

Counts

432 → 384

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	438	17869
1	1027	16811
2	3353	16507
3	4689	16507
4	4990	16507

prune158.0ms (2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	380	4	384
Fresh	3	5	8
Picked	0	1	1
Done	1	0	1
Total	384	10	394

Error

5.7b

Counts

394 → 10

Alt Table

Status	Error	Program
	51.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (*.f64 b b)) b) 2)))
	36.9b	(.f64 (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 2)) (/.f64 (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)) a))
	44.2b	(/.f64 1 (/.f64 a (/.f64 (*.f64 b -2) 2)))
	44.7b	(/.f64 1 (/.f64 a (/.f64 (.f64 (/.f64 (.f64 a c) b) -2) 2)))
✓	36.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	44.1b	(/.f64 (neg.f64 b) a)
▶	36.9b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	49.7b	(-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3))) (/.f64 c b))
	46.0b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	38.9b	(neg.f64 (/.f64 c b))

Compiler

Compiled 5212 to 2875 computations (44.8% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
24.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
24.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite94.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

18×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `sqrt-div_binary64` `flip--_binary64` `difference-of-squares_binary64`

Counts

4 → 64

Calls

4 calls:

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

Compiler

Compiled 2485 to 1287 computations (48.2% saved)

series199.0ms (2.6%)

Error

5.7b

Counts

4 → 58

Calls

4 calls:

43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
42.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
42.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
42.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 4347 to 2906 computations (33.1% saved)

simplify131.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

504×	`associate-l_binary64`
488×	`associate-r_binary64`
394×	`times-frac_binary64`
311×	`div-sub_binary64`
227×	`distribute-neg-frac_binary64`

Counts

122 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	112	2346
1	284	2272
2	791	2266
3	3849	2242
4	4775	2242
5	5236	2242

prune63.0ms (0.8%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	62	10	72

Error

5.7b

Counts

72 → 10

Alt Table

Status	Error	Program
	51.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (*.f64 b b)) b) 2)))
▶	36.9b	(.f64 (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 2)) (/.f64 (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)) a))
	44.2b	(/.f64 1 (/.f64 a (/.f64 (*.f64 b -2) 2)))
	44.7b	(/.f64 1 (/.f64 a (/.f64 (.f64 (/.f64 (.f64 a c) b) -2) 2)))
✓	36.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	44.1b	(/.f64 (neg.f64 b) a)
✓	36.9b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	49.7b	(-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3))) (/.f64 c b))
	46.0b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	38.9b	(neg.f64 (/.f64 c b))

Compiler

Compiled 2066 to 1226 computations (40.7% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
24.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
24.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite100.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

18×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `sqrt-div_binary64` `flip--_binary64` `difference-of-squares_binary64`

Counts

4 → 64

Calls

4 calls:

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

Compiler

Compiled 2601 to 1403 computations (46.1% saved)

series205.0ms (2.6%)

Error

5.7b

Counts

4 → 58

Calls

4 calls:

46.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
45.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
42.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
42.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)

Compiler

Compiled 4579 to 3139 computations (31.4% saved)

simplify127.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

504×	`associate-l_binary64`
488×	`associate-r_binary64`
394×	`times-frac_binary64`
311×	`div-sub_binary64`
227×	`distribute-neg-frac_binary64`

Counts

122 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	112	2346
1	284	2272
2	791	2266
3	3849	2242
4	4775	2242
5	5236	2242

prune62.0ms (0.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	62	10	72

Error

5.7b

Counts

72 → 10

Alt Table

Status	Error	Program
	51.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (*.f64 b b)) b) 2)))
	36.9b	(.f64 (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 2)) (/.f64 (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)) a))
	44.2b	(/.f64 1 (/.f64 a (/.f64 (*.f64 b -2) 2)))
	44.7b	(/.f64 1 (/.f64 a (/.f64 (.f64 (/.f64 (.f64 a c) b) -2) 2)))
	36.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	44.1b	(/.f64 (neg.f64 b) a)
	36.9b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	49.7b	(-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3))) (/.f64 c b))
	46.0b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	38.9b	(neg.f64 (/.f64 c b))

Compiler

Compiled 1998 to 1211 computations (39.4% saved)

regimes2.4s (30.8%)

Accuracy

Total 4.3b remaining (42.9%)

Threshold costs 0b (0%)

Compiler

Compiled 17012 to 11610 computations (31.8% saved)

bsearch65.0ms (0.8%)

Steps

Iters	Range		Point
9	1.4249619272964188e-81	7.241482398477653e-75	1.3130193607872862e-79
9	-2.1039560221547947e+105	-6.739291890968829e+97	-1.1851329742667057e+105

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
10×	`sub-neg_binary64` `+-commutative_binary64`
8×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`
4×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	54
1	42	54
2	59	54
3	76	54
4	88	54
5	93	54
6	94	54
7	93	54

end1.0ms (0%)

Compiler: Compiled 39 to 26 computations (33.3% saved)

sample1.4s (18.4%)

Algorithm

1×

intervals

Results

296.0ms	1183×	body	2048	valid
263.0ms	5176×	body	128	valid
138.0ms	745×	body	1024	valid
113.0ms	386×	body	4096	valid
53.0ms	353×	body	512	valid
33.0ms	644×	body	128	nan
17.0ms	352×	body	128	invalid
14.0ms	157×	body	256	valid

Compiler

Compiled 274 to 184 computations (32.8% saved)

Details

analyze586.0ms (7.5%)

sample43.0ms (0.6%)

simplify330.0ms (4.2%)

prune4.0ms (0%)

localize13.0ms (0.2%)

rewrite176.0ms (2.3%)

series252.0ms (3.2%)

simplify126.0ms (1.6%)

prune71.0ms (0.9%)

localize11.0ms (0.1%)

rewrite396.0ms (5.1%)

series253.0ms (3.2%)

simplify453.0ms (5.8%)

prune158.0ms (2%)

localize16.0ms (0.2%)

rewrite94.0ms (1.2%)

series199.0ms (2.6%)

simplify131.0ms (1.7%)

prune63.0ms (0.8%)

localize17.0ms (0.2%)

rewrite100.0ms (1.3%)

series205.0ms (2.6%)

simplify127.0ms (1.6%)

prune62.0ms (0.8%)

regimes2.4s (30.8%)

bsearch65.0ms (0.8%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample1.4s (18.4%)

Profiling