Details

analyze380.0ms (9.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	75%	25%	3
12.5%	50%	37.5%	4
18.7%	37.5%	43.8%	5
21.9%	31.2%	46.9%	6
21.9%	29.7%	48.5%	7
21.9%	28.9%	49.2%	8
22.3%	28.1%	49.6%	9
22.3%	27.9%	49.8%	10
22.3%	27.8%	49.9%	11
22.4%	27.7%	50%	12
22.4%	27.6%	50%	13
22.4%	27.6%	50%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.5s (37.6%)

Results

627.0ms	2080×	body	1024	valid
410.0ms	4360×	body	128	valid
244.0ms	1053×	body	512	valid
99.0ms	535×	body	256	valid
85.0ms	228×	body	2048	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

39×	`fma-def_binary64`
32×	`fma-neg_binary64`
14×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

29.6b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.6b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

Compiler

Compiled 24 to 18 computations (25% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (+.f64 x 1))
✓	2.7b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

series27.0ms (0.7%)

Counts

2 → 5

Calls

2 calls:

17.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
9.0ms	(sqrt.f64 (+.f64 x 1))

rewrite19.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`sqrt-prod_binary64`
57×	`*-un-lft-identity_binary64`
45×	`add-sqr-sqrt_binary64`
42×	`prod-diff_binary64`
33×	`add-cube-cbrt_binary64`

Counts

2 → 95

Calls

2 calls:

8.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
3.0ms	(sqrt.f64 (+.f64 x 1))

simplify160.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1110×	`fma-neg_binary64`
566×	`unswap-sqr_binary64`
455×	`cancel-sign-sub-inv_binary64`
444×	`fma-def_binary64`
429×	`associate-l_binary64`

Counts

100 → 98

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	119	2533
1	224	1344
2	592	1128
3	2527	1125
4	4099	1093
5	4381	1093
6	4663	1093
7	4949	1093
8	4730	1093

prune132.0ms (3.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	4	99

Error

0.1b

Counts

99 → 4

Alt Table

Status	Error	Program
	29.7b	(log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
▶	0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
	29.6b	(+.f64 (fma.f64 1 (sqrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))))
	29.8b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1)))) (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (.f64 (cbrt.f64 (sqrt.f64 x)) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))))

Compiler

Compiled 2064 to 1080 computations (47.7% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (+.f64 1 x))
✓	0.0b	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))
✓	0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))

series34.0ms (0.9%)

Counts

3 → 6

Calls

3 calls:

15.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
10.0ms	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))
9.0ms	(sqrt.f64 (+.f64 1 x))

rewrite24.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`*-un-lft-identity_binary64`
28×	`sqrt-prod_binary64`
22×	`distribute-lft-out_binary64`
22×	`add-sqr-sqrt_binary64`
18×	`times-frac_binary64`

Counts

3 → 91

Calls

3 calls:

8.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
6.0ms	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))
3.0ms	(sqrt.f64 (+.f64 1 x))

simplify132.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

888×	`fma-neg_binary64`
558×	`cancel-sign-sub-inv_binary64`
538×	`times-frac_binary64`
389×	`associate-l_binary64`
311×	`associate-r_binary64`

Counts

97 → 95

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	96	1310
1	203	1217
2	444	1211
3	1133	1207
4	2556	1207
5	4229	1207
6	4956	1207
7	4998	1207
8	4837	1207

prune137.0ms (3.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	88	7	95
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	90	9	99

Error

0.0b

Counts

99 → 9

Alt Table

Status	Error	Program
	29.8b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1)))) (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (.f64 (cbrt.f64 (sqrt.f64 x)) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))))
	10.3b	(cbrt.f64 (/.f64 (.f64 (.f64 1 1) 1) (.f64 (.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
	0.3b	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
	0.7b	(/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
▶	0.3b	(/.f64 1 (+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))
	10.2b	(.f64 (/.f64 1 (fma.f64 x (sqrt.f64 x) (pow.f64 (sqrt.f64 (+.f64 1 x)) 3))) (+.f64 (.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (+.f64 1 x))) (-.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
✓	0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
	0.3b	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
	0.3b	(/.f64 1 (+.f64 (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (cbrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))

Compiler

Compiled 2002 to 1412 computations (29.5% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x))
✓	0.1b	(sqrt.f64 (sqrt.f64 (+.f64 1 x)))
✓	0.2b	(/.f64 1 (+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))
✓	0.3b	(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))))

series40.0ms (1%)

Counts

4 → 18

Calls

4 calls:

17.0ms	(/.f64 1 (+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))
10.0ms	(+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x))
8.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))))
5.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 x)))

rewrite61.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

102×	`sqrt-prod_binary64`
74×	`add-sqr-sqrt_binary64`
42×	`*-un-lft-identity_binary64`
36×	`sqrt-pow1_binary64`
30×	`pow1_binary64`

Counts

4 → 171

Calls

4 calls:

16.0ms	(/.f64 1 (+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))
14.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))))
12.0ms	(+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x))
3.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 x)))

simplify126.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

729×	`times-frac_binary64`
590×	`fma-neg_binary64`
555×	`fma-def_binary64`
279×	`cancel-sign-sub-inv_binary64`
216×	`unswap-sqr_binary64`

Counts

189 → 220

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	201	2748
1	430	2530
2	1118	2395
3	2728	2341
4	4644	2341
5	4841	2341

prune421.0ms (10.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	264	2	266
Fresh	1	6	7
Picked	0	1	1
Done	1	0	1
Total	266	9	275

Error

0.0b

Counts

275 → 9

Alt Table

Status	Error	Program
	0.3b	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
	0.7b	(/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
✓	0.3b	(/.f64 1 (+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))
	10.2b	(.f64 (/.f64 1 (fma.f64 x (sqrt.f64 x) (pow.f64 (sqrt.f64 (+.f64 1 x)) 3))) (+.f64 (.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (+.f64 1 x))) (-.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
	10.2b	(.f64 (/.f64 1 (+.f64 (pow.f64 (.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) 3) (pow.f64 (sqrt.f64 x) 3))) (+.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))))) (-.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (.f64 (.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))))
	0.3b	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
	10.3b	(cbrt.f64 (/.f64 (.f64 (.f64 1 1) 1) (.f64 (.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
▶	0.2b	(log1p.f64 (expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
	0.3b	(/.f64 1 (+.f64 (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (cbrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))

Compiler

Compiled 6870 to 5301 computations (22.8% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))
✓	0.0b	(log1p.f64 (expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
	0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
✓	0.5b	(expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))

series49.0ms (1.2%)

Counts

2 → 2

Calls

2 calls:

33.0ms	(expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
15.0ms	(log1p.f64 (expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`log1p-expm1-u_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 22

Calls

2 calls:

0.0ms	(expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
0.0ms	(log1p.f64 (expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))

simplify80.0ms (2%)

Algorithm

1×	egg-herbie

Rules

824×	`unswap-sqr_binary64`
563×	`fma-def_binary64`
414×	`associate-l_binary64`
386×	`times-frac_binary64`
258×	`associate-r_binary64`

Counts

24 → 33

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	445
1	40	380
2	57	380
3	75	380
4	95	380
5	145	380
6	269	380
7	587	380
8	1551	380
9	4600	380
10	4557	380
11	5007	380

prune172.0ms (4.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	100	9	109

Error

0.0b

Counts

109 → 9

Alt Table

Status	Error	Program
	0.3b	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
	0.7b	(/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
✓	0.3b	(/.f64 1 (+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))
	0.3b	(log1p.f64 (*.f64 (sqrt.f64 (expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (sqrt.f64 (expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))))
	10.2b	(.f64 (/.f64 1 (+.f64 (pow.f64 (.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) 3) (pow.f64 (sqrt.f64 x) 3))) (+.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))))) (-.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (.f64 (.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))))
	0.3b	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
	10.3b	(cbrt.f64 (/.f64 (.f64 (.f64 1 1) 1) (.f64 (.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
✓	0.2b	(log1p.f64 (expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
	0.3b	(/.f64 1 (+.f64 (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (cbrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))

Compiler

Compiled 2034 to 1527 computations (24.9% saved)

regimes269.0ms (6.8%)

Accuracy

Total 0.1b remaining (79.5%)

Threshold costs 0.1b (79.5%)

Counts

145 → 1

Compiler

Compiled 6000 to 4283 computations (28.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	16	22
2	15	22

end178.0ms (4.5%)

Compiler: Compiled 267 to 209 computations (21.7% saved)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

Details

analyze380.0ms (9.5%)

sample1.5s (37.6%)

simplify11.0ms (0.3%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series27.0ms (0.7%)

rewrite19.0ms (0.5%)

simplify160.0ms (4%)

prune132.0ms (3.3%)

localize9.0ms (0.2%)

series34.0ms (0.9%)

rewrite24.0ms (0.6%)

simplify132.0ms (3.3%)

prune137.0ms (3.4%)

localize8.0ms (0.2%)

series40.0ms (1%)

rewrite61.0ms (1.5%)

simplify126.0ms (3.1%)

prune421.0ms (10.5%)

localize9.0ms (0.2%)

series49.0ms (1.2%)

rewrite2.0ms (0%)

simplify80.0ms (2%)

prune172.0ms (4.3%)

regimes269.0ms (6.8%)

simplify3.0ms (0.1%)

end178.0ms (4.5%)

Profiling

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11