Details

analyze8.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12
66.6%	0%	33.3%	13
66.6%	0%	33.3%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.6s (31.9%)

Results

1.4s

8256×

body

128

valid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify177.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1355×	`fma-neg_binary64`
877×	`fma-def_binary64`
720×	`distribute-rgt-neg-in_binary64`
564×	`cancel-sign-sub-inv_binary64`
530×	`sqr-pow_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	21	11
2	49	11
3	107	11
4	170	11
5	291	11
6	516	11
7	1002	11
8	1492	11
9	2128	11
10	2734	11
11	3154	11
12	3358	11
13	3535	11
14	4106	11
15	3099	11
16	3528	11
17	4668	11
18	4732	11

prune6.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.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.2b	(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
▶	0.2b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))

Status

Error

Program

0.2b

(*.f64 x (fma.f64 (*.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))

▶

0.2b

(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 x x) x)))

Compiler

Compiled 62 to 40 computations (35.5% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
✓	0.1b	(*.f64 238732414637843/250000000000000 x)
✓	0.2b	(.f64 (.f64 x x) x)
✓	0.2b	(.f64 6450306886639899/50000000000000000 (.f64 (*.f64 x x) x))

series24.0ms (0.5%)

Counts

4 → 36

Calls

4 calls:

10.0ms	(.f64 6450306886639899/50000000000000000 (.f64 (*.f64 x x) x))
6.0ms	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
5.0ms	(.f64 (.f64 x x) x)
3.0ms	(*.f64 238732414637843/250000000000000 x)

rewrite204.0ms (4%)

Algorithm

2×	batch-egg-rewrite

Rules

459×	`log-prod_binary64`
403×	`fma-def_binary64`
239×	`pow2_binary64`
227×	`egg-rr`
178×	`fma-neg_binary64`

Counts

4 → 227

Calls

4 calls:

192.0ms	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
192.0ms	(*.f64 238732414637843/250000000000000 x)
192.0ms	(.f64 (.f64 x x) x)
192.0ms	(.f64 6450306886639899/50000000000000000 (.f64 (*.f64 x x) x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	200	26
2	2349	26
3	4869	26
0	0	0
1	0	0

simplify235.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

1274×	`fma-def_binary64`
875×	`fma-neg_binary64`
818×	`unswap-sqr_binary64`
685×	`cube-prod_binary64`
665×	`cancel-sign-sub-inv_binary64`

Counts

263 → 233

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	267
1	27	249
2	64	249
3	155	249
4	313	249
5	728	249
6	1078	249
7	1590	249
8	2988	249
9	4112	249
10	4092	249
11	4547	249
12	4019	249
13	4022	249
14	3466	249
15	4267	249
16	4642	249
17	4931	249
18	4727	249

prune440.0ms (8.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	225	8	233
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	227	8	235

Error

0.0b

Counts

235 → 8

Alt Table

Status	Error	Program
	37.6b	(/.f64 (+.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) 3) (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 6450306886639899/50000000000000000 (pow.f64 x 3))) 3)) (+.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) 2) (-.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 6450306886639899/50000000000000000 (pow.f64 x 3))) 2) (.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))))))
	1.2b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x 238732414637843/250000000000000)) 3) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
	29.5b	(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 238732414637843/250000000000000) (.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
	29.3b	(fma.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3/2)) (pow.f64 x 3/2) (.f64 x 238732414637843/250000000000000))
	0.2b	(fma.f64 x (-.f64 238732414637843/250000000000000 (.f64 6450306886639899/50000000000000000 (.f64 x x))) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))))
	26.0b	(-.f64 (cbrt.f64 (pow.f64 (.f64 x 238732414637843/250000000000000) 3)) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
▶	0.1b	(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
	28.4b	(.f64 (-.f64 (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000) (.f64 41606458931834106848498498730201/2500000000000000000000000000000000 (pow.f64 x 6))) (/.f64 1 (fma.f64 6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))

Compiler

Compiled 5090 to 3926 computations (22.9% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
✓	0.2b	(*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000)

series13.0ms (0.3%)

Counts

2 → 24

Calls

2 calls:

7.0ms	(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
6.0ms	(*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000)

rewrite82.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

651×	`log1p-expm1-u_binary64`
651×	`expm1-log1p-u_binary64`
305×	`log-prod_binary64`
134×	`expm1-udef_binary64`
134×	`log1p-udef_binary64`

Counts

2 → 45

Calls

2 calls:

80.0ms	(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
80.0ms	(*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	167	18
2	1697	18
3	5122	18
0	0	0
1	0	0

simplify226.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

1274×	`fma-def_binary64`
875×	`fma-neg_binary64`
818×	`unswap-sqr_binary64`
685×	`cube-prod_binary64`
665×	`cancel-sign-sub-inv_binary64`

Counts

69 → 50

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	219
1	27	201
2	64	201
3	155	201
4	313	201
5	728	201
6	1078	201
7	1590	201
8	2988	201
9	4112	201
10	4092	201
11	4547	201
12	4019	201
13	4022	201
14	3466	201
15	4267	201
16	4642	201
17	4931	201
18	4727	201

prune93.0ms (1.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	50	0	50
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	50	8	58

Error

0.0b

Counts

58 → 8

Alt Table

Status	Error	Program
	37.6b	(/.f64 (+.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) 3) (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 6450306886639899/50000000000000000 (pow.f64 x 3))) 3)) (+.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) 2) (-.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 6450306886639899/50000000000000000 (pow.f64 x 3))) 2) (.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))))))
	1.2b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x 238732414637843/250000000000000)) 3) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
	29.5b	(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 238732414637843/250000000000000) (.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
	29.3b	(fma.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3/2)) (pow.f64 x 3/2) (.f64 x 238732414637843/250000000000000))
▶	0.2b	(fma.f64 x (-.f64 238732414637843/250000000000000 (.f64 6450306886639899/50000000000000000 (.f64 x x))) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))))
	26.0b	(-.f64 (cbrt.f64 (pow.f64 (.f64 x 238732414637843/250000000000000) 3)) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
✓	0.1b	(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
	28.4b	(.f64 (-.f64 (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000) (.f64 41606458931834106848498498730201/2500000000000000000000000000000000 (pow.f64 x 6))) (/.f64 1 (fma.f64 6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))

Compiler

Compiled 989 to 792 computations (19.9% saved)

localize34.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 6450306886639899/50000000000000000 (.f64 x x))
✓	0.2b	(fma.f64 x (-.f64 238732414637843/250000000000000 (.f64 6450306886639899/50000000000000000 (.f64 x x))) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))))
✓	0.2b	(*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))
✓	33.7b	(fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))

series72.0ms (1.4%)

Counts

4 → 36

Calls

4 calls:

52.0ms	(fma.f64 x (-.f64 238732414637843/250000000000000 (.f64 6450306886639899/50000000000000000 (.f64 x x))) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))))
10.0ms	(fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
5.0ms	(*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))
4.0ms	(.f64 6450306886639899/50000000000000000 (.f64 x x))

rewrite162.0ms (3.2%)

Algorithm

2×	batch-egg-rewrite

Rules

370×	`prod-diff_binary64`
272×	`fma-udef_binary64`
258×	`fma-def_binary64`
228×	`expm1-udef_binary64`
228×	`log1p-udef_binary64`

Counts

4 → 80

Calls

4 calls:

159.0ms	(.f64 6450306886639899/50000000000000000 (.f64 x x))
159.0ms	(fma.f64 x (-.f64 238732414637843/250000000000000 (.f64 6450306886639899/50000000000000000 (.f64 x x))) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))))
159.0ms	(*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))
159.0ms	(fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	55
1	283	41
2	3059	39
3	4816	39
4	4921	39
5	4807	39
0	0	0
1	0	0

simplify109.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

978×	`fma-def_binary64`
596×	`distribute-rgt-neg-in_binary64`
566×	`fma-neg_binary64`
540×	`distribute-lft-neg-in_binary64`
396×	`neg-mul-1_binary64`

Counts

116 → 88

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	231
1	35	213
2	77	213
3	209	213
4	578	213
5	973	213
6	1784	213
7	2820	213
8	4708	213
9	4928	213
10	4859	213

prune199.0ms (3.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	88	8	96

Error

0.0b

Counts

96 → 8

Alt Table

Status	Error	Program
	37.6b	(/.f64 (+.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) 3) (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 6450306886639899/50000000000000000 (pow.f64 x 3))) 3)) (+.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) 2) (-.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 6450306886639899/50000000000000000 (pow.f64 x 3))) 2) (.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))))))
▶	1.2b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x 238732414637843/250000000000000)) 3) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
	29.5b	(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 238732414637843/250000000000000) (.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
	29.3b	(fma.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3/2)) (pow.f64 x 3/2) (.f64 x 238732414637843/250000000000000))
✓	0.2b	(fma.f64 x (-.f64 238732414637843/250000000000000 (.f64 6450306886639899/50000000000000000 (.f64 x x))) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))))
	26.0b	(-.f64 (cbrt.f64 (pow.f64 (.f64 x 238732414637843/250000000000000) 3)) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
✓	0.1b	(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
	28.4b	(.f64 (-.f64 (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000) (.f64 41606458931834106848498498730201/2500000000000000000000000000000000 (pow.f64 x 6))) (/.f64 1 (fma.f64 6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))

Compiler

Compiled 2066 to 1498 computations (27.5% saved)

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (.f64 x x) x)
	0.2b	(.f64 6450306886639899/50000000000000000 (.f64 (*.f64 x x) x))
✓	0.6b	(cbrt.f64 (*.f64 x 238732414637843/250000000000000))
✓	0.7b	(pow.f64 (cbrt.f64 (*.f64 x 238732414637843/250000000000000)) 3)

series197.0ms (3.9%)

Counts

2 → 24

Calls

2 calls:

131.0ms	(pow.f64 (cbrt.f64 (*.f64 x 238732414637843/250000000000000)) 3)
66.0ms	(cbrt.f64 (*.f64 x 238732414637843/250000000000000))

rewrite108.0ms (2.1%)

Algorithm

2×	batch-egg-rewrite

Rules

928×	`log1p-udef_binary64`
496×	`log1p-expm1-u_binary64`
496×	`expm1-log1p-u_binary64`
440×	`unpow-prod-down_binary64`
247×	`log-prod_binary64`

Counts

2 → 104

Calls

2 calls:

105.0ms	(cbrt.f64 (*.f64 x 238732414637843/250000000000000))
105.0ms	(pow.f64 (cbrt.f64 (*.f64 x 238732414637843/250000000000000)) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	129	10
2	1316	10
3	4945	10
4	6403	10
0	0	0
1	0	0

simplify159.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1252×	`sqr-pow_binary64`
710×	`cube-prod_binary64`
698×	`pow-sqr_binary64`
694×	`fabs-mul_binary64`
416×	`unswap-sqr_binary64`

Counts

128 → 107

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	152
1	28	152
2	45	152
3	77	152
4	161	152
5	409	152
6	548	152
7	911	152
8	932	152
9	1091	152
10	1281	152
11	1546	152
12	1829	152
13	2247	152
14	2719	152
15	3382	152
16	3670	152
17	3966	152
18	4176	152
19	4264	152
20	4364	152
21	5372	152

prune190.0ms (3.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	140	1	141
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	142	7	149

Error

0.0b

Counts

149 → 7

Alt Table

Status	Error	Program
	37.6b	(/.f64 (+.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) 3) (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 6450306886639899/50000000000000000 (pow.f64 x 3))) 3)) (+.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) 2) (-.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 6450306886639899/50000000000000000 (pow.f64 x 3))) 2) (.f64 (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000)) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))))))
✓	1.2b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x 238732414637843/250000000000000)) 3) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
	26.0b	(-.f64 (cbrt.f64 (.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000)) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
	29.3b	(fma.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3/2)) (pow.f64 x 3/2) (.f64 x 238732414637843/250000000000000))
✓	0.2b	(fma.f64 x (-.f64 238732414637843/250000000000000 (.f64 6450306886639899/50000000000000000 (.f64 x x))) (fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3))))
	26.0b	(-.f64 (cbrt.f64 (pow.f64 (.f64 x 238732414637843/250000000000000) 3)) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
✓	0.1b	(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))

Compiler

Compiled 2777 to 1887 computations (32% saved)

regimes367.0ms (7.3%)

Accuracy

Total 0.1b remaining (60.8%)

Threshold costs 0.1b (60.8%)

Counts

92 → 1

Compiler

Compiled 2950 to 2246 computations (23.9% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	14	13
2	16	13
3	17	13
4	17	13

end294.0ms (5.8%)

Compiler: Compiled 175 to 137 computations (21.7% saved)

Details

analyze8.0ms (0.2%)

sample1.6s (31.9%)

simplify177.0ms (3.5%)

prune6.0ms (0.1%)

localize12.0ms (0.2%)

series24.0ms (0.5%)

rewrite204.0ms (4%)

simplify235.0ms (4.6%)

prune440.0ms (8.7%)

localize10.0ms (0.2%)

series13.0ms (0.3%)

rewrite82.0ms (1.6%)

simplify226.0ms (4.5%)

prune93.0ms (1.8%)

localize34.0ms (0.7%)

series72.0ms (1.4%)

rewrite162.0ms (3.2%)

simplify109.0ms (2.2%)

prune199.0ms (3.9%)

localize18.0ms (0.4%)

series197.0ms (3.9%)

rewrite108.0ms (2.1%)

simplify159.0ms (3.1%)

prune190.0ms (3.8%)

regimes367.0ms (7.3%)

simplify4.0ms (0.1%)

end294.0ms (5.8%)

Profiling