Details

analyze25.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 10 to 7 computations (30% saved)

sample114.0ms (1.3%)

Algorithm

1×

intervals

Results

51.0ms	108×	body	1024	valid
34.0ms	32×	body	2048	valid
14.0ms	56×	body	512	valid
3.0ms	42×	body	128	valid
3.0ms	18×	body	256	valid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify15.0ms (0.2%)

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	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	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

36.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	36.0b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	2.0b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
✓	4.5b	(sin.f64 (+.f64 x eps))

rewrite12.0ms (0.1%)

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`
4×	`add-log-exp_binary64`

Counts

2 → 42

Calls

2 calls:

7.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
3.0ms	(sin.f64 (+.f64 x eps))

series17.0ms (0.2%)

Counts

2 → 48

Calls

2 calls:

13.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
3.0ms	(sin.f64 (+.f64 x eps))

simplify108.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

639×	`fma-neg_binary64`
483×	`fma-def_binary64`
351×	`cancel-sign-sub-inv_binary64`
291×	`sub-neg_binary64`
284×	`associate-+l-_binary64`

Counts

90 → 136

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1256
1	297	1180
2	960	1116
3	2426	1108
4	4776	1108
5	4953	1108
6	4839	1108

prune69.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	132	4	136
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	133	4	137

Error

0.2b

Counts

137 → 4

Alt Table

Status	Error	Program
▶	22.1b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	31.5b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (.f64 (.f64 eps eps) -1/2)))
	31.1b	(*.f64 eps (cos.f64 x))
	22.1b	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))

Compiler

Compiled 1664 to 511 computations (69.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x))
✓	0.1b	(*.f64 (sin.f64 x) (cos.f64 eps))
✓	0.1b	(*.f64 (cos.f64 x) (sin.f64 eps))
✓	3.4b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

rewrite22.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`
11×	`add-log-exp_binary64`
8×	`add-cbrt-cube_binary64`

Counts

4 → 86

Calls

4 calls:

8.0ms	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
5.0ms	(-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x))
3.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))
3.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))

series152.0ms (1.8%)

Counts

4 → 64

Calls

4 calls:

63.0ms	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
34.0ms	(-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x))
28.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))
27.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))

simplify113.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1032×	`fma-neg_binary64`
429×	`distribute-rgt-in_binary64`
243×	`associate-r_binary64`
235×	`associate-l_binary64`
225×	`distribute-rgt-neg-in_binary64`

Counts

150 → 255

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	242	2802
1	644	2630
2	2370	2544
3	4765	2537
4	5246	2537

prune156.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	245	10	255
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	248	11	259

Error

0.1b

Counts

259 → 11

Alt Table

Status	Error	Program
	22.4b	(+.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (.f64 (cbrt.f64 (sin.f64 x)) (.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))))))
	1.7b	(.f64 (.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	6.7b	(/.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (neg.f64 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (neg.f64 (cos.f64 x)) (sin.f64 x))))
	30.1b	(log.f64 (exp.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	34.4b	(.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	43.7b	(.f64 (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))) (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))))
	21.0b	(cbrt.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	22.1b	(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (fma.f64 (cos.f64 x) (sin.f64 eps) (neg.f64 (sin.f64 x))))
	31.5b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (.f64 (.f64 eps eps) -1/2)))
	22.1b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
▶	0.5b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))

Compiler

Compiled 4844 to 1390 computations (71.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
✓	0.2b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
✓	0.2b	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
✓	1.9b	(+.f64 (cos.f64 eps) -1)

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`

Counts

4 → 65

Calls

4 calls:

5.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
3.0ms	(+.f64 (cos.f64 eps) -1)
0.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
0.0ms	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))

series1.1s (13%)

Counts

4 → 84

Calls

4 calls:

1.0s	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
57.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
30.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
2.0ms	(+.f64 (cos.f64 eps) -1)

simplify107.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

787×	`fma-def_binary64`
674×	`sub-neg_binary64`
442×	`cancel-sign-sub-inv_binary64`
294×	`distribute-rgt-in_binary64`
256×	`distribute-lft-in_binary64`

Counts

149 → 256

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	195	2724
1	482	2470
2	1524	2421
3	4387	2421
4	5186	2421

prune191.0ms (2.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	253	3	256
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	257	10	267

Error

0.0b

Counts

267 → 10

Alt Table

Status	Error	Program
	30.9b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (fma.f64 -1/2 (.f64 eps eps) (*.f64 (pow.f64 eps 6) -1/720)))))))
	34.4b	(.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	21.0b	(cbrt.f64 (pow.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))) 3))
	4.2b	(expm1.f64 (log1p.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))))
	22.4b	(+.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (.f64 (cbrt.f64 (sin.f64 x)) (.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))))))
▶	1.7b	(.f64 (.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	6.7b	(/.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (neg.f64 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (neg.f64 (cos.f64 x)) (sin.f64 x))))
	30.1b	(log.f64 (exp.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	22.1b	(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (fma.f64 (cos.f64 x) (sin.f64 eps) (neg.f64 (sin.f64 x))))
✓	0.5b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))

Compiler

Compiled 3892 to 1924 computations (50.6% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
	1.9b	(+.f64 (cos.f64 eps) -1)
	1.9b	(+.f64 (cos.f64 eps) -1)
	1.9b	(+.f64 (cos.f64 eps) -1)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`cbrt-prod_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 13

Calls

1 calls:

1.0ms

(cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))

series1.0s (12.1%)

Counts

1 → 24

Calls

1 calls:

1.0s	(cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))

simplify60.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

857×	`fma-def_binary64`
463×	`times-frac_binary64`
299×	`associate-/l*_binary64`
192×	`cancel-sign-sub-inv_binary64`
191×	`associate-/r*_binary64`

Counts

37 → 71

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1565
1	439	1519
2	1559	1383
3	5005	1383

prune203.0ms (2.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	391	2	393
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	392	11	403

Error

0.0b

Counts

403 → 11

Alt Table

Status	Error	Program
	30.9b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (fma.f64 -1/2 (.f64 eps eps) (*.f64 (pow.f64 eps 6) -1/720)))))))
	34.4b	(.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	21.0b	(cbrt.f64 (pow.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))) 3))
	4.2b	(expm1.f64 (log1p.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))))
	22.4b	(+.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (.f64 (cbrt.f64 (sin.f64 x)) (.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))))))
	6.7b	(/.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (neg.f64 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (neg.f64 (cos.f64 x)) (sin.f64 x))))
	30.1b	(log.f64 (exp.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	1.8b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	2.0b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	22.1b	(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (fma.f64 (cos.f64 x) (sin.f64 eps) (neg.f64 (sin.f64 x))))
✓	0.5b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))

Compiler

Compiled 8369 to 3969 computations (52.6% saved)

regimes1.1s (12.5%)

Accuracy

Total 0.3b remaining (72.3%)

Threshold costs 0.3b (72.3%)

Compiler

Compiled 25707 to 15017 computations (41.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	17	19
2	18	19
3	16	19

end1.0ms (0%)

Compiler: Compiled 14 to 10 computations (28.6% saved)

sample4.0s (45.8%)

Algorithm

1×

intervals

Results

1.6s	3516×	body	1024	valid
1.3s	1254×	body	2048	valid
338.0ms	1354×	body	512	valid
115.0ms	1321×	body	128	valid
90.0ms	553×	body	256	valid
4.0ms	2×	body	4096	valid

Compiler

Compiled 390 to 221 computations (43.3% saved)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Details

analyze25.0ms (0.3%)

sample114.0ms (1.3%)

simplify15.0ms (0.2%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite12.0ms (0.1%)

series17.0ms (0.2%)

simplify108.0ms (1.3%)

prune69.0ms (0.8%)

localize13.0ms (0.1%)

rewrite22.0ms (0.3%)

series152.0ms (1.8%)

simplify113.0ms (1.3%)

prune156.0ms (1.8%)

localize13.0ms (0.2%)

rewrite11.0ms (0.1%)

series1.1s (13%)

simplify107.0ms (1.2%)

prune191.0ms (2.2%)

localize17.0ms (0.2%)

rewrite1.0ms (0%)

series1.0s (12.1%)

simplify60.0ms (0.7%)

prune203.0ms (2.3%)

regimes1.1s (12.5%)

simplify3.0ms (0%)

end1.0ms (0%)

sample4.0s (45.8%)

Profiling

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11