Details

analyze468.0ms (9.2%)

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)

sample1.9s (38.4%)

Results

852.0ms	6176×	body	128	valid
379.0ms	725×	body	2048	valid
358.0ms	557×	body	4096	valid
181.0ms	424×	body	1024	valid
93.0ms	250×	body	512	valid
27.0ms	124×	body	256	valid

Compiler

Compiled 57 to 40 computations (29.8% saved)

simplify29.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

203×	`fma-def_binary64`
142×	`fma-neg_binary64`
51×	`distribute-rgt-in_binary64`
42×	`cancel-sign-sub-inv_binary64`
28×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

12.6b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 51 to 37 computations (27.5% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
✓	0.8b	(-.f64 (hypot.f64 re im) re)

series73.0ms (1.4%)

Counts

2 → 32

Calls

2 calls:

60.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
13.0ms	(-.f64 (hypot.f64 re im) re)

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
5×	`pow1_binary64`

Counts

2 → 45

Calls

2 calls:

6.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
3.0ms	(-.f64 (hypot.f64 re im) re)

simplify93.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

849×	`fma-def_binary64`
693×	`times-frac_binary64`
644×	`fma-neg_binary64`
347×	`cancel-sign-sub-inv_binary64`
198×	`neg-mul-1_binary64`

Counts

77 → 97

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	215	1773
1	537	1528
2	1853	1480
3	4361	1478
4	4966	1478
5	4901	1478

prune83.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	89	8	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	8	98

Error

0.2b

Counts

98 → 8

Alt Table

Status	Error	Program
	12.7b	(.f64 1/2 (.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (hypot.f64 re im) re))))
	14.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	55.1b	(.f64 1/2 (-.f64 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (fma.f64 1/32 (.f64 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 9)))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 7)) (sqrt.f64 1/2))) 1/256))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (fma.f64 1/8192 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 7)) (pow.f64 (sqrt.f64 1/2) 5)) (.f64 5/256 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 7)) (sqrt.f64 1/2)))) (fma.f64 1/16 (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) (.f64 (.f64 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 9)))) 1/256)))))
	48.8b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	55.1b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
	47.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (/.f64 (-.f64 (.f64 (hypot.f64 re im) (hypot.f64 re im)) (.f64 re re)) (+.f64 (hypot.f64 re im) re)))))
▶	12.6b	(.f64 1/2 (.f64 1 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))))
	14.9b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re)))))

Compiler

Compiled 2833 to 1876 computations (33.8% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.2b	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
	0.8b	(-.f64 (hypot.f64 re im) re)

prune84.0ms (1.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	97	8	105

Error

0.2b

Counts

105 → 8

Alt Table

Status	Error	Program
▶	12.7b	(.f64 1/2 (.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (hypot.f64 re im) re))))
	14.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	55.1b	(.f64 1/2 (-.f64 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (fma.f64 1/32 (.f64 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 9)))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 7)) (sqrt.f64 1/2))) 1/256))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (fma.f64 1/8192 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 7)) (pow.f64 (sqrt.f64 1/2) 5)) (.f64 5/256 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 7)) (sqrt.f64 1/2)))) (fma.f64 1/16 (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) (.f64 (.f64 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 9)))) 1/256)))))
	48.8b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	55.1b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
	47.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (/.f64 (-.f64 (.f64 (hypot.f64 re im) (hypot.f64 re im)) (.f64 re re)) (+.f64 (hypot.f64 re im) re)))))
✓	12.6b	(.f64 1/2 (.f64 1 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))))
	14.9b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re)))))

Compiler

Compiled 3013 to 2059 computations (31.7% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (-.f64 (hypot.f64 re im) re))
✓	0.4b	(*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))
	0.8b	(-.f64 (hypot.f64 re im) re)

series78.0ms (1.5%)

Counts

2 → 16

Calls

2 calls:

47.0ms	(*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))
31.0ms	(sqrt.f64 (-.f64 (hypot.f64 re im) re))

rewrite15.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
17×	`sqrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
8×	`associate-r_binary64`
7×	`add-cube-cbrt_binary64`

Counts

2 → 56

Calls

2 calls:

8.0ms	(*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))
4.0ms	(sqrt.f64 (-.f64 (hypot.f64 re im) re))

simplify121.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

778×	`fma-def_binary64`
344×	`associate-/l*_binary64`
291×	`times-frac_binary64`
285×	`fma-neg_binary64`
275×	`associate-*l/_binary64`

Counts

72 → 85

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	202	1877
1	534	1832
2	1757	1756
3	4935	1754
4	5005	1754

prune122.0ms (2.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	145	5	150
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	149	9	158

Error

0.1b

Counts

158 → 9

Alt Table

Status	Error	Program
	47.2b	(.f64 1/2 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 (-.f64 (.f64 (hypot.f64 re im) (hypot.f64 re im)) (.f64 re re)) (+.f64 re (hypot.f64 re im))))))
▶	12.7b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))))
	48.8b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	55.1b	(.f64 1/2 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 1/2 (/.f64 (.f64 im im) re)))))
	55.1b	(.f64 1/2 (.f64 (sqrt.f64 2) (-.f64 (fma.f64 1/32 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (fma.f64 im (.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (pow.f64 im 7) (sqrt.f64 1/2))) 1/256))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (/.f64 (pow.f64 im 3) (sqrt.f64 1/2))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (.f64 1/256 (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (+.f64 (.f64 1/8192 (/.f64 (pow.f64 im 7) (pow.f64 (sqrt.f64 1/2) 5))) (*.f64 5/256 (/.f64 (pow.f64 im 7) (sqrt.f64 1/2))))))))))
	48.8b	(.f64 1/2 (.f64 (sqrt.f64 2) (.f64 (.f64 (sqrt.f64 1/2) im) (sqrt.f64 (/.f64 1 re)))))
	55.1b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓	12.6b	(.f64 1/2 (.f64 1 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))))
	14.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))

Compiler

Compiled 4177 to 2726 computations (34.7% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (-.f64 (hypot.f64 re im) re))
✓	0.2b	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (-.f64 (hypot.f64 re im) re))))
✓	0.3b	(*.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))
	0.8b	(-.f64 (hypot.f64 re im) re)

series96.0ms (1.9%)

Counts

2 → 16

Calls

2 calls:

49.0ms	(*.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))
46.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (-.f64 (hypot.f64 re im) re))))

rewrite29.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64`
37×	`sqrt-prod_binary64`
18×	`associate-l_binary64`
16×	`rem-sqrt-square_binary64`
14×	`pow1_binary64`

Counts

2 → 78

Calls

2 calls:

13.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (-.f64 (hypot.f64 re im) re))))
10.0ms	(*.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))

simplify74.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

779×	`fma-def_binary64`
494×	`associate-/l*_binary64`
378×	`times-frac_binary64`
273×	`cancel-sign-sub-inv_binary64`
204×	`associate-l_binary64`

Counts

94 → 117

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	231	2547
1	598	2428
2	2035	2366
3	5321	2366

prune174.0ms (3.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	215	3	218
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	217	10	227

Error

0.1b

Counts

227 → 10

Alt Table

Status	Error	Program
	47.2b	(.f64 1/2 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 (-.f64 (.f64 (hypot.f64 re im) (hypot.f64 re im)) (.f64 re re)) (+.f64 re (hypot.f64 re im))))))
✓	12.7b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))))
	48.8b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (.f64 (sqrt.f64 1/2) im) (sqrt.f64 (/.f64 (sqrt.f64 2) re)))))
	55.1b	(.f64 1/2 (.f64 (sqrt.f64 2) (-.f64 (fma.f64 1/32 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (fma.f64 im (.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (pow.f64 im 7) (sqrt.f64 1/2))) 1/256))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (/.f64 (pow.f64 im 3) (sqrt.f64 1/2))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (.f64 1/256 (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (+.f64 (.f64 1/8192 (/.f64 (pow.f64 im 7) (pow.f64 (sqrt.f64 1/2) 5))) (*.f64 5/256 (/.f64 (pow.f64 im 7) (sqrt.f64 1/2))))))))))
	48.8b	(.f64 1/2 (.f64 (sqrt.f64 2) (.f64 (.f64 (sqrt.f64 1/2) im) (sqrt.f64 (/.f64 1 re)))))
	48.7b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (/.f64 1 re)) (*.f64 im (sqrt.f64 1/2))))))
	55.1b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
	55.1b	(.f64 1/2 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (-.f64 (fma.f64 1/32 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (fma.f64 im (.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (pow.f64 im 7) (sqrt.f64 1/2))) 1/256))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (/.f64 (pow.f64 im 3) (sqrt.f64 1/2))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (.f64 1/256 (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (+.f64 (.f64 1/8192 (/.f64 (pow.f64 im 7) (pow.f64 (sqrt.f64 1/2) 5))) (.f64 5/256 (/.f64 (pow.f64 im 7) (sqrt.f64 1/2)))))))))))
✓	12.6b	(.f64 1/2 (.f64 1 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))))
	14.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))

Compiler

Compiled 6597 to 4648 computations (29.5% saved)

regimes1.1s (21.5%)

Accuracy

Total 8.2b remaining (98.8%)

Threshold costs 0b (0%)

Counts

109 → 4

Compiler

Compiled 16643 to 13303 computations (20.1% saved)

bsearch163.0ms (3.2%)

Steps

Iters	Range		Point
9	1.273531924543199e+63	6.439999587174156e+69	6.98244041967603e+68
7	9.049355701429076e+20	5.382823496901155e+22	1.8652271911593446e+22
8	1.0769721982353746e-38	2.884234115856925e-34	2.1698433257847657e-35

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

20×	`*-commutative_binary64`
6×	`+-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	137
1	71	135
2	83	135
3	91	135
4	94	135
5	93	135

end272.0ms (5.4%)

Compiler: Compiled 527 to 433 computations (17.8% saved)

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

Details

analyze468.0ms (9.2%)

sample1.9s (38.4%)

simplify29.0ms (0.6%)

prune4.0ms (0.1%)

localize8.0ms (0.2%)

series73.0ms (1.4%)

rewrite12.0ms (0.2%)

simplify93.0ms (1.8%)

prune83.0ms (1.6%)

localize8.0ms (0.2%)

prune84.0ms (1.7%)

localize9.0ms (0.2%)

series78.0ms (1.5%)

rewrite15.0ms (0.3%)

simplify121.0ms (2.4%)

prune122.0ms (2.4%)

localize10.0ms (0.2%)

series96.0ms (1.9%)

rewrite29.0ms (0.6%)

simplify74.0ms (1.5%)

prune174.0ms (3.4%)

regimes1.1s (21.5%)

bsearch163.0ms (3.2%)

simplify7.0ms (0.1%)

end272.0ms (5.4%)

Profiling

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15