Details

analyze2.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 17 to 12 computations (29.4% saved)

sample2.0s (52.4%)

Results

1.8s

8256×

body

128

valid

Compiler

Compiled 44 to 31 computations (29.5% saved)

simplify89.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

726×	`fma-def_binary64`
558×	`associate-/l/_binary64`
413×	`pow-sqr_binary64`
387×	`sqr-pow_binary64`
328×	`unswap-sqr_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	24	14
3	47	14
4	105	14
5	241	14
6	587	14
7	927	14
8	2215	14
9	2467	14
10	2948	14
11	3783	14
12	4838	14
13	4850	14

prune3.0ms (0.1%)

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

3.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	3.5b	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))

Compiler

Compiled 30 to 21 computations (30% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 x)
✓	0.2b	(.f64 10 (.f64 x x))
✓	0.4b	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
✓	3.1b	(exp.f64 (.f64 10 (.f64 x x)))

series17.0ms (0.5%)

Counts

4 → 40

Calls

4 calls:

7.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
4.0ms	(.f64 10 (.f64 x x))
3.0ms	(exp.f64 (.f64 10 (.f64 x x)))
2.0ms	(cos.f64 x)

rewrite129.0ms (3.4%)

Algorithm

2×	batch-egg-rewrite

Rules

648×	`log1p-expm1-u_binary64`
648×	`expm1-log1p-u_binary64`
369×	`log-prod_binary64`
135×	`expm1-udef_binary64`
135×	`log1p-udef_binary64`

Counts

4 → 85

Calls

4 calls:

126.0ms	(cos.f64 x)
126.0ms	(.f64 10 (.f64 x x))
126.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
126.0ms	(exp.f64 (.f64 10 (.f64 x x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	33
1	158	33
2	1725	33
3	5212	33
0	0	0
1	0	0

simplify113.0ms (3%)

Algorithm

1×	egg-herbie

Rules

983×	`fma-neg_binary64`
588×	`fma-def_binary64`
475×	`associate-l_binary64`
399×	`distribute-rgt-neg-in_binary64`
386×	`associate-r_binary64`

Counts

125 → 110

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	424
1	114	416
2	278	408
3	750	406
4	2491	406
5	4644	406
6	4961	406
7	4997	406

prune129.0ms (3.4%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	94	16	110
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	94	17	111

Error

0.8b

Counts

111 → 17

Alt Table

Status	Error	Program
✓	3.5b	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
	3.5b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 x)))) (exp.f64 (.f64 10 (*.f64 x x))))
	3.5b	(.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))) (exp.f64 (.f64 10 (*.f64 x x))))
	2.1b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 x) x) 10))
	3.6b	(.f64 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 x))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 x))) (sin.f64 1))) (exp.f64 (.f64 10 (*.f64 x x))))
	3.1b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))
	3.5b	(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 10 (*.f64 x x))) 3)))
	3.5b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x)))) (pow.f64 (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x)))) 2)))
	3.5b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (exp.f64 (.f64 10 (.f64 x x))))
	3.6b	(.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 x))) (cbrt.f64 (exp.f64 (cos.f64 x))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 x))))) (exp.f64 (.f64 10 (.f64 x x))))
	3.5b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 10 (*.f64 x x))) (cos.f64 x))) 3)
	3.3b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 10 x)) x))
	4.5b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x (sqrt.f64 10))) (*.f64 x (sqrt.f64 10))))
	4.7b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (cbrt.f64 (.f64 100 (pow.f64 x 4)))) (cbrt.f64 (.f64 10 (.f64 x x)))))
	3.9b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 1) (.f64 10 (*.f64 x x))))
	5.4b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) (cbrt.f64 (pow.f64 x 4))) (pow.f64 (cbrt.f64 x) 2)))
▶	1.3b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))

Compiler

Compiled 1983 to 1240 computations (37.5% saved)

localize19.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 x)
✓	0.4b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
✓	0.4b	(pow.f64 (pow.f64 (exp.f64 10) x) x)
✓	1.0b	(pow.f64 (exp.f64 10) x)

series23.0ms (0.6%)

Counts

3 → 36

Calls

3 calls:

13.0ms	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
6.0ms	(pow.f64 (pow.f64 (exp.f64 10) x) x)
3.0ms	(pow.f64 (exp.f64 10) x)

rewrite118.0ms (3.2%)

Algorithm

2×	batch-egg-rewrite

Rules

694×	`log1p-expm1-u_binary64`
694×	`expm1-log1p-u_binary64`
146×	`log-pow_binary64`
141×	`expm1-udef_binary64`
141×	`log1p-udef_binary64`

Counts

3 → 53

Calls

3 calls:

117.0ms	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
117.0ms	(pow.f64 (pow.f64 (exp.f64 10) x) x)
117.0ms	(pow.f64 (exp.f64 10) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	29
1	164	29
2	1814	29
3	4962	29
4	4927	29
0	0	0
1	0	0

simplify98.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

873×	`fma-def_binary64`
613×	`associate-l_binary64`
588×	`distribute-lft-out_binary64`
560×	`distribute-rgt-out_binary64`
488×	`unswap-sqr_binary64`

Counts

89 → 76

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	50	379
1	124	369
2	278	362
3	783	355
4	2511	355
5	5233	355

prune81.0ms (2.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	90	14	104
Fresh	10	5	15
Picked	1	0	1
Done	1	0	1
Total	102	19	121

Error

0.1b

Counts

121 → 19

Alt Table

Status	Error	Program
	1.3b	(*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.6b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 20) x)) x) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) x)))
	1.3b	(*.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 x)))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	3.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 20/3) (.f64 x x)) (pow.f64 (exp.f64 10/3) (.f64 x x))))
	1.4b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) 3) (pow.f64 (cos.f64 x) 3)))
▶	0.6b	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
	3.5b	(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 10 (*.f64 x x))) 3)))
	2.0b	(.f64 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 x))) (cos.f64 1)) (*.f64 (sin.f64 (exp.f64 (log1p.f64 x))) (sin.f64 1))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.3b	(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x)) 3))
	1.1b	(.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (exp.f64 5) x) (pow.f64 (exp.f64 5) x)) x))
	3.3b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 10 x)) x))
	1.4b	(*.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.5b	(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))) 3)
	1.3b	(.f64 (.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x)))
	2.1b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 x) x) 10))
	1.3b	(.f64 (cos.f64 x) (.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	3.5b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 10 (*.f64 x x))) (cos.f64 x))) 3)
	3.9b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 1) (.f64 10 (*.f64 x x))))

Compiler

Compiled 1949 to 1304 computations (33.1% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (exp.f64 20) x)
✓	0.1b	(sqrt.f64 (pow.f64 (exp.f64 20) x))
✓	0.4b	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
✓	0.4b	(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)

series18.0ms (0.5%)

Counts

4 → 40

Calls

4 calls:

8.0ms	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
4.0ms	(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
3.0ms	(sqrt.f64 (pow.f64 (exp.f64 20) x))
2.0ms	(pow.f64 (exp.f64 20) x)

rewrite51.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

760×	`log1p-expm1-u_binary64`
760×	`expm1-log1p-u_binary64`
154×	`log1p-udef_binary64`
88×	`add-sqr-sqrt_binary64`
85×	`egg-rr`

Counts

4 → 85

Calls

4 calls:

49.0ms	(pow.f64 (exp.f64 20) x)
49.0ms	(sqrt.f64 (pow.f64 (exp.f64 20) x))
49.0ms	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
49.0ms	(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	41
1	182	41
2	2005	41
3	4900	41
0	0	0
1	0	0

simplify92.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

691×	`associate-l_binary64`
672×	`distribute-rgt-out_binary64`
604×	`distribute-lft-out_binary64`
504×	`unswap-sqr_binary64`
442×	`associate-r_binary64`

Counts

125 → 115

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	62	430
1	147	418
2	354	408
3	943	406
4	2110	374
5	4671	374
6	4845	374
7	4999	374
8	4975	374

prune89.0ms (2.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	107	8	115
Fresh	11	7	18
Picked	1	0	1
Done	0	0	0
Total	119	15	134

Error

0.0b

Counts

134 → 15

Alt Table

Status	Error	Program
	0.7b	(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x)) 3))
	1.3b	(.f64 (.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.4b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 20) x)) x) (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x)))
	1.4b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) 3) (pow.f64 (cos.f64 x) 3)))
	0.5b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 20) (.f64 x 1/2)) x))
	1.4b	(*.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	0.9b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))))
	1.5b	(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))) 3)
	1.3b	(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))) 3)
	1.3b	(*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.3b	(*.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 x)))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	0.8b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3)))
▶	0.4b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
	3.9b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 1) (.f64 10 (*.f64 x x))))
	0.7b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3) (pow.f64 (cos.f64 x) 3)))

Compiler

Compiled 2073 to 1449 computations (30.1% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(pow.f64 (exp.f64 20) x)
✓	0.2b	(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
✓	0.4b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
✓	0.4b	(pow.f64 (pow.f64 (exp.f64 20) x) x)

series21.0ms (0.6%)

Counts

3 → 36

Calls

3 calls:

10.0ms	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
6.0ms	(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
4.0ms	(pow.f64 (pow.f64 (exp.f64 20) x) x)

rewrite49.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

764×	`log1p-expm1-u_binary64`
764×	`expm1-log1p-u_binary64`
154×	`log1p-udef_binary64`
88×	`add-sqr-sqrt_binary64`
83×	`add-log-exp_binary64`

Counts

3 → 72

Calls

3 calls:

48.0ms	(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
48.0ms	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
48.0ms	(pow.f64 (pow.f64 (exp.f64 20) x) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	36
1	182	36
2	2008	36
3	4919	36
0	0	0
1	0	0

simplify74.0ms (2%)

Algorithm

1×	egg-herbie

Rules

579×	`fma-def_binary64`
436×	`associate-l_binary64`
432×	`distribute-lft-out_binary64`
411×	`distribute-rgt-out_binary64`
340×	`associate-r_binary64`

Counts

108 → 97

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	50	444
1	120	432
2	268	426
3	689	426
4	2050	394
5	4546	394
6	4885	394
7	4964	394

prune90.0ms (2.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	121	4	125
Fresh	5	9	14
Picked	0	1	1
Done	0	0	0
Total	126	14	140

Error

0.0b

Counts

140 → 14

Alt Table

Status	Error	Program
	0.7b	(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x)) 3))
	1.3b	(.f64 (.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.3b	(*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	0.5b	(*.f64 (cos.f64 x) (sqrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x) 3))))
	0.5b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 20) (.f64 x 1/2)) x))
	1.4b	(*.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	0.7b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3) (pow.f64 (cos.f64 x) 3)))
	0.6b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x) 1/4) 2))
	1.3b	(*.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 x)))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	0.8b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3)))
✓	0.4b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
	1.4b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) 3) (pow.f64 (cos.f64 x) 3)))
	0.6b	(cbrt.f64 (*.f64 (pow.f64 (cos.f64 x) 3) (pow.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x) 3/2)))
	1.3b	(pow.f64 (cbrt.f64 (*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))) 3)

Compiler

Compiled 2032 to 1394 computations (31.4% saved)

regimes248.0ms (6.6%)

Accuracy

Total 0.3b remaining (87.3%)

Threshold costs 0.3b (87.3%)

Counts

117 → 1

Compiler

Compiled 3336 to 2490 computations (25.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	17
1	17	17
2	16	17

end202.0ms (5.4%)

Compiler: Compiled 226 to 170 computations (24.8% saved)

Details

analyze2.0ms (0%)

sample2.0s (52.4%)

simplify89.0ms (2.4%)

prune3.0ms (0.1%)

localize12.0ms (0.3%)

series17.0ms (0.5%)

rewrite129.0ms (3.4%)

simplify113.0ms (3%)

prune129.0ms (3.4%)

localize19.0ms (0.5%)

series23.0ms (0.6%)

rewrite118.0ms (3.2%)

simplify98.0ms (2.6%)

prune81.0ms (2.1%)

localize10.0ms (0.3%)

series18.0ms (0.5%)

rewrite51.0ms (1.4%)

simplify92.0ms (2.4%)

prune89.0ms (2.4%)

localize11.0ms (0.3%)

series21.0ms (0.6%)

rewrite49.0ms (1.3%)

simplify74.0ms (2%)

prune90.0ms (2.4%)

regimes248.0ms (6.6%)

simplify2.0ms (0.1%)

end202.0ms (5.4%)

Profiling