Details

analyze477.0ms (9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
25%	25%	50%	2
25%	25%	50%	3
31.2%	18.7%	50%	4
31.2%	18.7%	50%	5
34.3%	15.6%	50%	6
34.3%	15.6%	50%	7
35.9%	14%	50%	8
35.9%	14%	50%	9
36.7%	13.3%	50%	10
36.7%	13.3%	50%	11
37.1%	12.9%	50%	12
37.1%	12.9%	50%	13
37.3%	12.7%	50%	14

Compiler

Compiled 20 to 14 computations (30% saved)

sample47.0ms (0.9%)

Algorithm

1×

intervals

Results

13.0ms	195×	body	128	valid
8.0ms	29×	body	2048	valid
6.0ms	16×	body	4096	valid
4.0ms	256×	pre	128	true
2.0ms	7×	body	512	valid
2.0ms	8×	body	1024	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 39 to 28 computations (28.2% saved)

simplify29.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

51×	`distribute-rgt-in_binary64`
42×	`cancel-sign-sub-inv_binary64`
37×	`sub-neg_binary64`
27×	`unsub-neg_binary64`
27×	`neg-mul-1_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	18	23
2	29	23
3	43	23
4	57	23
5	82	23
6	122	23
7	163	23
8	190	23
9	216	23
10	229	23
11	231	23
12	242	23
13	255	23
14	267	23
15	288	23
16	285	23
17	286	23
18	249	23

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

38.8b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	38.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))

Compiler

Compiled 34 to 24 computations (29.4% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.1b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
30.7b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite71.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

38.6b

Rules

10×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
7×	`pow1_binary64`
5×	`sqrt-prod_binary64`
5×	`add-cube-cbrt_binary64`

Counts

3 → 45

Calls

3 calls:

8.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
7.0ms	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
3.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1063 to 371 computations (65.1% saved)

series110.0ms (2.1%)

Error

0.2b

Counts

3 → 45

Calls

3 calls:

36.0ms	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
31.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
23.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1979 to 1639 computations (17.2% saved)

simplify65.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

557×	`associate-r_binary64`
496×	`associate-l_binary64`
356×	`times-frac_binary64`
306×	`associate-/l*_binary64`
204×	`associate-/r*_binary64`

Counts

90 → 54

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	185	1855
1	455	1794
2	1243	1746
3	5089	1746

prune35.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	47	7	54
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	8	55

Error

0.2b

Counts

55 → 8

Alt Table

Status	Error	Program
	32.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))) re))))
	41.8b	(.f64 1/2 (/.f64 (sqrt.f64 (+.f64 (.f64 (.f64 im im) 2) 0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))))
	47.6b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 im (sqrt.f64 2))) (sqrt.f64 (/.f64 1 re))))
▶	29.3b	(.f64 1/2 (.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) 1/2))))
	48.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 re -2))))
	53.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (.f64 1/2 (/.f64 (.f64 im im) re)))))
	49.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (-.f64 (.f64 (/.f64 (.f64 im im) re) -1/2) re) re))))
✓	38.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))

Compiler

Compiled 1096 to 720 computations (34.3% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (/.f64 1 im))
0.2b	(.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) 1/2)
0.3b	(*.f64 re (sqrt.f64 (/.f64 1 im)))
0.4b	(.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (.f64 (*.f64 re (sqrt.f64 (/.f64 1 im))) 1/2)))

rewrite117.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

41×	`add-sqr-sqrt_binary64`
33×	`sqrt-prod_binary64`
26×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
22×	`times-frac_binary64`

Counts

4 → 110

Calls

4 calls:

8.0ms	(*.f64 re (sqrt.f64 (/.f64 1 im)))
7.0ms	(.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) 1/2)
7.0ms	(.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (.f64 (*.f64 re (sqrt.f64 (/.f64 1 im))) 1/2)))
3.0ms	(sqrt.f64 (/.f64 1 im))

Compiler

Compiled 2353 to 1775 computations (24.6% saved)

series67.0ms (1.3%)

Error

0.2b

Counts

4 → 24

Calls

4 calls:

27.0ms	(.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (.f64 (*.f64 re (sqrt.f64 (/.f64 1 im))) 1/2)))
16.0ms	(.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) 1/2)
15.0ms	(*.f64 re (sqrt.f64 (/.f64 1 im)))
6.0ms	(sqrt.f64 (/.f64 1 im))

Compiler

Compiled 952 to 789 computations (17.1% saved)

simplify110.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

407×	`associate-*l/_binary64`
391×	`distribute-rgt-neg-in_binary64`
376×	`times-frac_binary64`
357×	`distribute-lft-neg-in_binary64`
311×	`*-commutative_binary64`

Counts

134 → 77

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	154	2027
1	326	1896
2	1045	1896
3	2236	1896
4	4938	1896
5	4987	1896

prune52.0ms (1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	73	4	77
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	73	12	85

Error

0.2b

Counts

85 → 12

Alt Table

Status	Error	Program
	32.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))) re))))
	29.7b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (sqrt.f64 im) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im))))))) (sqrt.f64 (-.f64 (sqrt.f64 im) (.f64 (*.f64 re (sqrt.f64 (/.f64 1 im))) 1/2)))))
	47.6b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 im (sqrt.f64 2))) (sqrt.f64 (/.f64 1 re))))
	41.5b	(.f64 1/2 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im)))))) 3)))
▶	29.4b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (-.f64 (sqrt.f64 im) (.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))) (sqrt.f64 (sqrt.f64 2)))))
	29.7b	(.f64 1/2 (/.f64 (.f64 (sqrt.f64 2) (-.f64 im (.f64 re (.f64 1/4 (/.f64 re im))))) (+.f64 (sqrt.f64 im) (.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) 1/2))))
	41.8b	(.f64 1/2 (/.f64 (sqrt.f64 (+.f64 (.f64 (.f64 im im) 2) 0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))))
✓	29.3b	(.f64 1/2 (.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) 1/2))))
	48.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 re -2))))
	53.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (.f64 1/2 (/.f64 (.f64 im im) re)))))
	49.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (-.f64 (.f64 (/.f64 (.f64 im im) re) -1/2) re) re))))
✓	38.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))

Compiler

Compiled 1551 to 1170 computations (24.6% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im))))
0.3b	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (-.f64 (sqrt.f64 im) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im))))) (sqrt.f64 (sqrt.f64 2))))
0.3b	(.f64 (-.f64 (sqrt.f64 im) (.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))) (sqrt.f64 (sqrt.f64 2)))
0.3b	(*.f64 re (sqrt.f64 (/.f64 1 im)))

rewrite122.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

37×	`sqrt-prod_binary64`
36×	`add-sqr-sqrt_binary64`
27×	`associate-r_binary64`
22×	`*-un-lft-identity_binary64`
21×	`add-cube-cbrt_binary64`

Counts

4 → 108

Calls

4 calls:

12.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (-.f64 (sqrt.f64 im) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im))))) (sqrt.f64 (sqrt.f64 2))))
9.0ms	(.f64 (-.f64 (sqrt.f64 im) (.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))) (sqrt.f64 (sqrt.f64 2)))
8.0ms	(*.f64 re (sqrt.f64 (/.f64 1 im)))
7.0ms	(.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im))))

Compiler

Compiled 2835 to 2268 computations (20% saved)

series98.0ms (1.9%)

Error

0.2b

Counts

4 → 30

Calls

4 calls:

30.0ms	(.f64 (-.f64 (sqrt.f64 im) (.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))) (sqrt.f64 (sqrt.f64 2)))
29.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (-.f64 (sqrt.f64 im) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im))))) (sqrt.f64 (sqrt.f64 2))))
17.0ms	(*.f64 re (sqrt.f64 (/.f64 1 im)))
17.0ms	(.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im))))

Compiler

Compiled 1323 to 1140 computations (13.8% saved)

simplify152.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

414×	`*-commutative_binary64`
393×	`times-frac_binary64`
379×	`distribute-rgt-neg-in_binary64`
349×	`distribute-lft-neg-in_binary64`
224×	`associate-r_binary64`

Counts

138 → 104

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	2911
1	375	2546
2	1184	2505
3	2603	2505
4	4767	2505
5	4999	2505
6	4951	2505

prune65.0ms (1.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	102	2	104
Fresh	2	7	9
Picked	1	0	1
Done	1	1	2
Total	106	10	116

Error

0.2b

Counts

116 → 10

Alt Table

Status	Error	Program
	47.6b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 im (sqrt.f64 2))) (sqrt.f64 (/.f64 1 re))))
	41.5b	(.f64 1/2 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im)))))) 3)))
	29.3b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (.f64 (-.f64 (sqrt.f64 im) (.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) 1/2)) (fabs.f64 (cbrt.f64 (sqrt.f64 2)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 2))))))
	32.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))) re))))
	41.8b	(.f64 1/2 (/.f64 (sqrt.f64 (+.f64 (.f64 (.f64 im im) 2) 0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))))
▶	29.2b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (-.f64 (sqrt.f64 (.f64 im (sqrt.f64 2))) (.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 (sqrt.f64 2) im)))))))
	48.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 re -2))))
	53.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (.f64 1/2 (/.f64 (.f64 im im) re)))))
	49.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (-.f64 (.f64 (/.f64 (.f64 im im) re) -1/2) re) re))))
✓	38.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))

Compiler

Compiled 2085 to 1656 computations (20.6% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 1/2 (.f64 re (sqrt.f64 (/.f64 (sqrt.f64 2) im))))
0.3b	(.f64 (sqrt.f64 (sqrt.f64 2)) (-.f64 (sqrt.f64 (.f64 im (sqrt.f64 2))) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 (sqrt.f64 2) im))))))
0.4b	(/.f64 (sqrt.f64 2) im)
0.5b	(*.f64 im (sqrt.f64 2))

rewrite119.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

37×	`add-sqr-sqrt_binary64`
28×	`sqrt-prod_binary64`
27×	`*-un-lft-identity_binary64`
27×	`add-cube-cbrt_binary64`
18×	`times-frac_binary64`

Counts

4 → 112

Calls

4 calls:

9.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (-.f64 (sqrt.f64 (.f64 im (sqrt.f64 2))) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 (sqrt.f64 2) im))))))
8.0ms	(.f64 1/2 (.f64 re (sqrt.f64 (/.f64 (sqrt.f64 2) im))))
4.0ms	(*.f64 im (sqrt.f64 2))
4.0ms	(/.f64 (sqrt.f64 2) im)

Compiler

Compiled 2828 to 2399 computations (15.2% saved)

series77.0ms (1.5%)

Error

0.2b

Counts

4 → 21

Calls

4 calls:

38.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (-.f64 (sqrt.f64 (.f64 im (sqrt.f64 2))) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 (sqrt.f64 2) im))))))
22.0ms	(.f64 1/2 (.f64 re (sqrt.f64 (/.f64 (sqrt.f64 2) im))))
7.0ms	(*.f64 im (sqrt.f64 2))
7.0ms	(/.f64 (sqrt.f64 2) im)

Compiler

Compiled 1024 to 889 computations (13.2% saved)

simplify155.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

477×	`associate-/l*_binary64`
432×	`*-commutative_binary64`
342×	`times-frac_binary64`
245×	`cancel-sign-sub-inv_binary64`
213×	`associate-*l/_binary64`

Counts

133 → 78

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	190	2592
1	401	2446
2	1423	2424
3	3875	2424
4	4758	2424
5	4961	2424
6	4904	2424

prune50.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	78	10	88

Error

0.2b

Counts

88 → 10

Alt Table

Status	Error	Program
	47.6b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 im (sqrt.f64 2))) (sqrt.f64 (/.f64 1 re))))
	41.5b	(.f64 1/2 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im)))))) 3)))
	29.3b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (.f64 (-.f64 (sqrt.f64 im) (.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) 1/2)) (fabs.f64 (cbrt.f64 (sqrt.f64 2)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 2))))))
	32.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))) re))))
	41.8b	(.f64 1/2 (/.f64 (sqrt.f64 (+.f64 (.f64 (.f64 im im) 2) 0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))))
	29.2b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (-.f64 (sqrt.f64 (.f64 im (sqrt.f64 2))) (.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 (sqrt.f64 2) im)))))))
	48.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 re -2))))
	53.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (.f64 1/2 (/.f64 (.f64 im im) re)))))
	49.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (-.f64 (.f64 (/.f64 (.f64 im im) re) -1/2) re) re))))
	38.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))

Compiler

Compiled 1568 to 1327 computations (15.4% saved)

regimes1.6s (30.1%)

Accuracy

Total 13.7b remaining (96.9%)

Threshold costs 0b (0%)

Compiler

Compiled 16284 to 11922 computations (26.8% saved)

bsearch56.0ms (1%)

Steps

Iters	Range	Point
5	1.1241956541430794e-71	2.7767684379002207e-71	1.6542415558306005e-71
7	-6.251626431572681e-161	-4.6886663057515814e-163	-4.7654028522434134e-163
9	-5.971664172296382e+155	-7.184710672342132e+148	-2.011934090315106e+152

Iters

Range

Point

1.1241956541430794e-71

2.7767684379002207e-71

1.6542415558306005e-71

-6.251626431572681e-161

-4.6886663057515814e-163

-4.7654028522434134e-163

-5.971664172296382e+155

-7.184710672342132e+148

-2.011934090315106e+152

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
5×	`+-commutative_binary64`
3×	`sub-neg_binary64`
1×	`*-lft-identity_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	99
1	65	99
2	70	99
3	72	99
4	73	99
5	72	99

end1.0ms (0%)

Compiler: Compiled 67 to 50 computations (25.4% saved)

sample1.6s (29.7%)

Algorithm

1×

intervals

Results

400.0ms	6082×	body	128	valid
200.0ms	657×	body	2048	valid
188.0ms	505×	body	4096	valid
133.0ms	8000×	pre	128	true
106.0ms	418×	body	1024	valid
35.0ms	201×	body	512	valid
25.0ms	137×	body	256	valid

Compiler

Compiled 279 to 218 computations (21.9% saved)

Iter	Nodes	Cost
0	13	23
1	18	23
2	29	23
3	43	23
4	57	23
5	82	23
6	122	23
7	163	23
8	190	23
9	216	23
10	229	23
11	231	23
12	242	23
13	255	23
14	267	23
15	288	23
16	285	23
17	286	23
18	249	23

Iter	Nodes	Cost
0	13	23
1	18	23
2	29	23
3	43	23
4	57	23
5	82	23
6	122	23
7	163	23
8	190	23
9	216	23
10	229	23
11	231	23
12	242	23
13	255	23
14	267	23
15	288	23
16	285	23
17	286	23
18	249	23

Details

analyze477.0ms (9%)

sample47.0ms (0.9%)

simplify29.0ms (0.6%)

prune1.0ms (0%)

localize10.0ms (0.2%)

rewrite71.0ms (1.3%)

series110.0ms (2.1%)

simplify65.0ms (1.2%)

prune35.0ms (0.7%)

localize11.0ms (0.2%)

rewrite117.0ms (2.2%)

series67.0ms (1.3%)

simplify110.0ms (2.1%)

prune52.0ms (1%)

localize13.0ms (0.2%)

rewrite122.0ms (2.3%)

series98.0ms (1.9%)

simplify152.0ms (2.9%)

prune65.0ms (1.2%)

localize15.0ms (0.3%)

rewrite119.0ms (2.2%)

series77.0ms (1.5%)

simplify155.0ms (2.9%)

prune50.0ms (0.9%)

regimes1.6s (30.1%)

bsearch56.0ms (1%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample1.6s (29.7%)

Profiling

Iter	Nodes	Cost
0	13	23
1	18	23
2	29	23
3	43	23
4	57	23
5	82	23
6	122	23
7	163	23
8	190	23
9	216	23
10	229	23
11	231	23
12	242	23
13	255	23
14	267	23
15	288	23
16	285	23
17	286	23
18	249	23