Details

analyze928.0ms (15%)

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
18.7%	76.5%	4.8%	7
28.1%	66.3%	5.6%	8
35.1%	55%	9.9%	9
36.3%	50.9%	12.8%	10
42.1%	42.4%	15.5%	11
47.5%	33.8%	18.7%	12
48.8%	30.7%	20.6%	13
51.8%	25.6%	22.5%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample42.0ms (0.7%)

Algorithm

1×

intervals

Results

11.0ms	176×	body	128	valid
6.0ms	31×	body	2048	valid
4.0ms	17×	body	1024	valid
3.0ms	12×	body	4096	valid
2.0ms	15×	body	512	valid
1.0ms	18×	body	128	nan
0.0ms	5×	body	256	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify71.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

379×	`associate-/l*_binary64`
363×	`div-sub_binary64`
224×	`times-frac_binary64`
196×	`distribute-rgt-in_binary64`
168×	`cancel-sign-sub-inv_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18

prune8.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

34.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	34.9b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)

Compiler

Compiled 45 to 27 computations (40% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
24.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite166.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

34.6b

Rules

38×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
18×	`times-frac_binary64`
17×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`

Counts

4 → 86

Calls

4 calls:

11.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
5.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 1749 to 313 computations (82.1% saved)

series211.0ms (3.4%)

Error

6.1b

Counts

4 → 68

Calls

4 calls:

55.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
53.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
46.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
35.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2449 to 1636 computations (33.2% saved)

simplify153.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

466×	`associate-l_binary64`
447×	`times-frac_binary64`
445×	`associate-r_binary64`
325×	`associate-/l*_binary64`
235×	`associate-/r*_binary64`

Counts

154 → 76

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	189	3096
1	462	2940
2	1196	2934
3	4980	2934
4	4988	2934
5	5059	2934

prune48.0ms (0.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	67	9	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	10	77

Error

7.9b

Counts

77 → 10

Alt Table

Status	Error	Program
▶	35.0b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	46.0b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (.f64 b_2 b_2))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) a)
	42.4b	(/.f64 (*.f64 b_2 -2) a)
	49.1b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (.f64 b_2 b_2)) (.f64 a (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))
	35.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) a))
✓	34.9b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
	50.8b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
	45.8b	(/.f64 (.f64 (/.f64 (.f64 a c) b_2) -1/2) a)
	42.5b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	47.1b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b_2 3))))

Compiler

Compiled 1215 to 445 computations (63.4% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
24.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
24.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite68.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

7.9b

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_2 b_2) (.f64 a c))) b_2)
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 2045 to 287 computations (86% saved)

series217.0ms (3.5%)

Error

7.9b

Counts

4 → 68

Calls

4 calls:

51.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
50.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
49.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
48.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 4521 to 2678 computations (40.8% saved)

simplify125.0ms (2%)

Algorithm

1×	egg-herbie

Rules

456×	`distribute-rgt-neg-in_binary64`
387×	`unswap-sqr_binary64`
330×	`associate-l_binary64`
329×	`associate-r_binary64`
292×	`times-frac_binary64`

Counts

132 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	104	2302
1	252	2210
2	693	2204
3	3083	2184
4	4917	2184
5	4938	2184

prune42.0ms (0.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	1	7	8
Picked	0	1	1
Done	1	0	1
Total	67	9	76

Error

7.9b

Counts

76 → 9

Alt Table

Status	Error	Program
✓	35.0b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	46.0b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (.f64 b_2 b_2))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) a)
▶	42.4b	(/.f64 (*.f64 b_2 -2) a)
	49.1b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (.f64 b_2 b_2)) (.f64 a (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))
	46.2b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 (sqrt.f64 (/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) a))
	50.8b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
	45.8b	(/.f64 (.f64 (/.f64 (.f64 a c) b_2) -1/2) a)
	42.5b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	47.1b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b_2 3))))

Compiler

Compiled 1689 to 498 computations (70.5% saved)

localize3.0ms (0.1%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

7.9b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 7.9b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune13.0ms (0.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	7	7
Picked	1	1
Done	1	1
Total	9	9

Error

7.9b

Counts

9 → 9

Alt Table

Status	Error	Program
✓	35.0b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	46.0b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (.f64 b_2 b_2))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) a)
✓	42.4b	(/.f64 (*.f64 b_2 -2) a)
	49.1b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (.f64 b_2 b_2)) (.f64 a (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))
	46.2b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 (sqrt.f64 (/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) a))
	50.8b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
	45.8b	(/.f64 (.f64 (/.f64 (.f64 a c) b_2) -1/2) a)
▶	42.5b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	47.1b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b_2 3))))

Compiler

Compiled 344 to 173 computations (49.7% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 1/2 (/.f64 c b_2))
0.0b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
0.0b	(*.f64 -2 (/.f64 b_2 a))

rewrite94.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

7.9b

Rules

29×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
20×	`times-frac_binary64`
19×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`

Counts

3 → 76

Calls

3 calls:

7.0ms	(*.f64 -2 (/.f64 b_2 a))
7.0ms	(*.f64 1/2 (/.f64 c b_2))
5.0ms	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))

Compiler

Compiled 1358 to 690 computations (49.2% saved)

series82.0ms (1.3%)

Error

7.9b

Counts

3 → 30

Calls

3 calls:

48.0ms	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
16.0ms	(*.f64 1/2 (/.f64 c b_2))
16.0ms	(*.f64 -2 (/.f64 b_2 a))

Compiler

Compiled 695 to 493 computations (29.1% saved)

simplify98.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

653×	`times-frac_binary64`
396×	`associate-l_binary64`
386×	`associate-*l/_binary64`
364×	`associate-*r/_binary64`
305×	`associate-r_binary64`

Counts

106 → 45

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	155	1269
1	383	1233
2	1070	1231
3	3113	1229
4	4749	1229
5	5083	1229

prune37.0ms (0.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	40	5	45
Fresh	0	6	6
Picked	1	0	1
Done	0	2	2
Total	41	13	54

Error

7.9b

Counts

54 → 13

Alt Table

Status	Error	Program
	42.5b	(+.f64 (.f64 (/.f64 1/2 (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))) (/.f64 c (cbrt.f64 b_2))) (*.f64 -2 (/.f64 b_2 a)))
	35.0b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	46.0b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (.f64 b_2 b_2))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) a)
	42.4b	(/.f64 (*.f64 b_2 -2) a)
	49.1b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (.f64 b_2 b_2)) (.f64 a (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))
	42.9b	(.f64 (.f64 (cbrt.f64 (+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))) (cbrt.f64 (+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2))))) (cbrt.f64 (+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))))
	63.4b	(log.f64 (exp.f64 (+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))))
	46.2b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 (sqrt.f64 (/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) a))
	50.8b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
	45.8b	(/.f64 (.f64 (/.f64 (.f64 a c) b_2) -1/2) a)
	42.9b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 (/.f64 -2 (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 b_2 (cbrt.f64 a))))
	47.1b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b_2 3))))
	42.8b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 (.f64 -2 (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))) (/.f64 (cbrt.f64 b_2) a)))

Compiler

Compiled 773 to 415 computations (46.3% saved)

regimes2.3s (37.8%)

Accuracy

Total 2.4b remaining (24.8%)

Threshold costs 0b (0%)

Compiler

Compiled 12488 to 7110 computations (43.1% saved)

bsearch56.0ms (0.9%)

Steps

Iters	Range		Point
11	7.520957071008111e-119	7.353804320456766e-85	4.75264682550615e-107
4	-6.174735129316083e+118	-1.2396885470504255e+116	-4.0639773095563594e+117

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
8×	`+-commutative_binary64`
7×	`sub-neg_binary64`
5×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	68
1	42	68
2	57	68
3	67	68
4	74	68
5	76	68
6	76	68

end2.0ms (0%)

Compiler: Compiled 48 to 31 computations (35.4% saved)

sample1.3s (21.7%)

Algorithm

1×

intervals

Results

242.0ms	1136×	body	2048	valid
231.0ms	5196×	body	128	valid
119.0ms	727×	body	1024	valid
104.0ms	399×	body	4096	valid
46.0ms	361×	body	512	valid
30.0ms	763×	body	128	nan
15.0ms	181×	body	256	valid
10.0ms	248×	body	128	invalid

Compiler

Compiled 364 to 206 computations (43.4% saved)

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18

Details

analyze928.0ms (15%)

sample42.0ms (0.7%)

simplify71.0ms (1.2%)

prune8.0ms (0.1%)

localize10.0ms (0.2%)

rewrite166.0ms (2.7%)

series211.0ms (3.4%)

simplify153.0ms (2.5%)

prune48.0ms (0.8%)

localize13.0ms (0.2%)

rewrite68.0ms (1.1%)

series217.0ms (3.5%)

simplify125.0ms (2%)

prune42.0ms (0.7%)

localize3.0ms (0.1%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

prune13.0ms (0.2%)

localize8.0ms (0.1%)

rewrite94.0ms (1.5%)

series82.0ms (1.3%)

simplify98.0ms (1.6%)

prune37.0ms (0.6%)

regimes2.3s (37.8%)

bsearch56.0ms (0.9%)

simplify6.0ms (0.1%)

end2.0ms (0%)

sample1.3s (21.7%)

Profiling

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18