Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
37.5%	37.5%	25.1%	2
37.5%	18.7%	43.8%	3
46.8%	9.4%	43.8%	4
51.5%	4.7%	43.8%	5
51.5%	2.3%	46.1%	6
52.7%	1.2%	46.1%	7
53.3%	0.6%	46.1%	8
53.3%	0.3%	46.4%	9
53.4%	0.1%	46.4%	10
53.5%	0.1%	46.4%	11
53.5%	0%	46.5%	12
53.5%	0%	46.5%	13
53.5%	0%	46.5%	14

Compiler

Compiled 71 to 33 computations (53.5% saved)

sample1.5s (41.7%)

Results

1.5s	8256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 210 to 97 computations (53.8% saved)

simplify23.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

642×	`distribute-lft-out_binary64`
588×	`associate-/l*_binary64`
406×	`associate-/r*_binary64`
400×	`*-commutative_binary64`
244×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	32	75
1	74	59
2	251	41
3	1208	37
4	2394	37

Stop Event

1×	node limit

Counts

1 → 2

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
	0.6b	(fabs.f64 (.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))))

Status

Error

Program

▶

0.1b

(fabs.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

0.6b

(fabs.f64 (*.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))))

Compiler

Compiled 278 to 149 computations (46.4% saved)

localize25.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
✓	0.1b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
✓	0.1b	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
✓	1.0b	(sqrt.f64 (PI.f64))

series28.0ms (0.8%)

Counts

4 → 36

Calls

4 calls:

14.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
8.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
7.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(sqrt.f64 (PI.f64))

rewrite49.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

633×	`log-prod_binary64`
240×	`expm1-udef_binary64`
240×	`log1p-udef_binary64`
207×	`log-pow_binary64`
148×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	34
1	344	22
2	3537	22

Stop Event

1×	node limit

Counts

4 → 78

Calls

4 calls:

48.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
48.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
48.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
48.0ms	(sqrt.f64 (PI.f64))

simplify65.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

828×	`sqr-pow_binary64`
416×	`unswap-sqr_binary64`
388×	`pow-sqr_binary64`
332×	`cube-prod_binary64`
246×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	288
1	25	288
2	52	288
3	113	288
4	241	288
5	647	288
6	936	288
7	1572	288
8	1680	288
9	1842	288
10	2055	288
11	2385	288
12	2841	288
13	3438	288
14	4189	288

Stop Event

1×	node limit

Counts

114 → 81

prune161.0ms (4.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	120	3	123
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	121	4	125

Error

0.0b

Counts

125 → 4

Alt Table

Status	Error	Program
▶	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (*.f64 (sqrt.f64 (pow.f64 x 6)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
	1.1b	(fabs.f64 (.f64 (/.f64 1 (expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
	1.2b	(fabs.f64 (.f64 (/.f64 1 (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
	0.6b	(fabs.f64 (.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))))

Compiler

Compiled 8503 to 3465 computations (59.2% saved)

localize29.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
	0.1b	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
	1.0b	(sqrt.f64 (PI.f64))
✓	8.0b	(sqrt.f64 (pow.f64 x 6))

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(sqrt.f64 (pow.f64 x 6))

rewrite30.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

382×	`log1p-expm1-u_binary64`
382×	`expm1-log1p-u_binary64`
324×	`pow1_binary64`
288×	`unpow-prod-down_binary64`
180×	`log-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	4
1	105	4
2	1115	4

Stop Event

1×	node limit

Counts

1 → 55

Calls

1 calls:

29.0ms

(sqrt.f64 (pow.f64 x 6))

simplify32.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

912×	`fma-def_binary64`
450×	`associate-l_binary64`
362×	`unswap-sqr_binary64`
279×	`associate-r_binary64`
271×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	56
1	16	56
2	44	56
3	74	56
4	143	56
5	409	56
6	1418	56
7	2697	56
8	4527	56

Stop Event

1×	node limit

Counts

67 → 57

prune155.0ms (4.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	117	4	121

Error

0.0b

Counts

121 → 4

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (*.f64 (sqrt.f64 (pow.f64 x 6)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
	1.1b	(fabs.f64 (.f64 (/.f64 1 (expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
	1.2b	(fabs.f64 (.f64 (/.f64 1 (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
▶	0.6b	(fabs.f64 (.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))))

Compiler

Compiled 7844 to 3818 computations (51.3% saved)

localize17.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 1/21 (pow.f64 x 6))
✓	0.1b	(fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6)))
✓	0.2b	(/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))
	1.0b	(sqrt.f64 (PI.f64))

series17.0ms (0.5%)

Counts

3 → 24

Calls

3 calls:

8.0ms	(/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))
5.0ms	(*.f64 1/21 (pow.f64 x 6))
4.0ms	(fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6)))

rewrite51.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

534×	`log-prod_binary64`
220×	`expm1-udef_binary64`
220×	`log1p-udef_binary64`
195×	`log-pow_binary64`
138×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	30
1	300	28
2	3458	28

Stop Event

1×	node limit

Counts

3 → 81

Calls

3 calls:

50.0ms	(*.f64 1/21 (pow.f64 x 6))
50.0ms	(fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6)))
50.0ms	(/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))

simplify65.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

518×	`sqr-pow_binary64`
487×	`associate-l_binary64`
467×	`unswap-sqr_binary64`
440×	`fma-def_binary64`
300×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	291
1	32	291
2	56	291
3	123	267
4	399	267
5	1478	267
6	2937	267
7	3286	267
8	3570	267
9	3854	267
10	4219	267
11	4698	267

Stop Event

1×	node limit

Counts

105 → 86

prune114.0ms (3.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	2	0	2
Picked	0	1	1
Done	0	1	1
Total	112	4	116

Error

Counts

116 → 4

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (*.f64 (sqrt.f64 (pow.f64 x 6)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
▶	0.1b	(fabs.f64 (.f64 (.f64 x (pow.f64 (PI.f64) -1/2)) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (.f64 x x) 2))))
	0.5b	(fabs.f64 (.f64 (pow.f64 (/.f64 (sqrt.f64 (PI.f64)) x) -1) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))))
✓	0.6b	(fabs.f64 (.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))))

Compiler

Compiled 3391 to 2186 computations (35.5% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2/3 (*.f64 x x) 2)
✓	0.1b	(*.f64 x (pow.f64 (PI.f64) -1/2))
	0.1b	(*.f64 1/21 (pow.f64 x 6))
	0.1b	(fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6)))

series12.0ms (0.3%)

Counts

2 → 24

Calls

2 calls:

10.0ms	(*.f64 x (pow.f64 (PI.f64) -1/2))
2.0ms	(fma.f64 2/3 (*.f64 x x) 2)

rewrite37.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

802×	`log1p-expm1-u_binary64`
802×	`expm1-log1p-u_binary64`
98×	`add-sqr-sqrt_binary64`
93×	`add-log-exp_binary64`
92×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	206	16
2	2248	16

Stop Event

1×	node limit

Counts

2 → 38

Calls

2 calls:

36.0ms	(fma.f64 2/3 (*.f64 x x) 2)
36.0ms	(*.f64 x (pow.f64 (PI.f64) -1/2))

simplify67.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

512×	`associate-l_binary64`
483×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
291×	`associate-r_binary64`
285×	`cube-prod_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	225
1	21	207
2	32	207
3	61	207
4	138	207
5	375	207
6	1440	207
7	2350	207
8	2514	207
9	2727	207
10	2947	207
11	3247	207
12	3647	207
13	4135	207
14	4698	207

Stop Event

1×	node limit

Counts

62 → 44

prune128.0ms (3.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	92	4	96

Error

Counts

96 → 4

Alt Table

Status	Error	Program
	1.6b	(fabs.f64 (.f64 (.f64 x (pow.f64 (PI.f64) -1/2)) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (sqrt.f64 (.f64 (pow.f64 x 12) 1/441))) (fma.f64 2/3 (.f64 x x) 2))))
✓	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (*.f64 (sqrt.f64 (pow.f64 x 6)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
✓	0.1b	(fabs.f64 (.f64 (.f64 x (pow.f64 (PI.f64) -1/2)) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (.f64 x x) 2))))
✓	0.6b	(fabs.f64 (.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))))

Compiler

Compiled 2778 to 2050 computations (26.2% saved)

regimes874.0ms (23.8%)

Accuracy

Total 0.1b remaining (93.2%)

Threshold costs 0.1b (93.2%)

Counts

109 → 1

Compiler

Compiled 28361 to 17906 computations (36.9% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
4×	`fabs-mul_binary64`
3×	`+-commutative_binary64`
2×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	59
1	39	59
2	46	59

Stop Event

1×

saturated

end127.0ms (3.5%)

Compiler: Compiled 220 to 155 computations (29.5% saved)

Details

analyze5.0ms (0.1%)

sample1.5s (41.7%)

simplify23.0ms (0.6%)

prune5.0ms (0.1%)

localize25.0ms (0.7%)

series28.0ms (0.8%)

rewrite49.0ms (1.3%)

simplify65.0ms (1.8%)

prune161.0ms (4.4%)

localize29.0ms (0.8%)

series3.0ms (0.1%)

rewrite30.0ms (0.8%)

simplify32.0ms (0.9%)

prune155.0ms (4.2%)

localize17.0ms (0.5%)

series17.0ms (0.5%)

rewrite51.0ms (1.4%)

simplify65.0ms (1.8%)

prune114.0ms (3.1%)

localize14.0ms (0.4%)

series12.0ms (0.3%)

rewrite37.0ms (1%)

simplify67.0ms (1.8%)

prune128.0ms (3.5%)

regimes874.0ms (23.8%)

simplify5.0ms (0.1%)

end127.0ms (3.5%)

Profiling