Details

analyze510.0ms (4.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample6.6s (61.3%)

Results

3.4s	4992×	body	1024	valid
1.1s	2077×	body	1024	invalid
708.0ms	1728×	body	512	valid
400.0ms	432×	body	2048	valid
365.0ms	1008×	body	512	invalid
189.0ms	717×	body	256	valid
142.0ms	801×	body	128	invalid
130.0ms	517×	body	256	invalid
67.0ms	387×	body	128	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 44 to 35 computations (20.5% saved)

simplify26.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

623×	`associate-/l*_binary64`
462×	`times-frac_binary64`
358×	`fma-neg_binary64`
346×	`fma-def_binary64`
322×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	23	18
2	52	18
3	132	18
4	281	17
5	473	17
6	929	17
7	2376	17

Stop Event

1×	node limit

Counts

1 → 2

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

57.6b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	57.6b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Compiler

Compiled 53 to 38 computations (28.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 re)
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
✓	6.0b	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

series19.0ms (0.2%)

Counts

3 → 40

Calls

3 calls:

16.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
2.0ms	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))
1.0ms	(cos.f64 re)

rewrite53.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

313×	`prod-diff_binary64`
198×	`fma-def_binary64`
178×	`expm1-udef_binary64`
178×	`log1p-udef_binary64`
152×	`log-pow_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	252	27
2	3364	23

Stop Event

1×	node limit

Counts

3 → 129

Calls

3 calls:

50.0ms	(cos.f64 re)
50.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
50.0ms	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

simplify46.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

611×	`fma-def_binary64`
467×	`sub-neg_binary64`
254×	`associate-l_binary64`
242×	`associate-r_binary64`
229×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	809
1	317	787
2	1069	754
3	4625	754

Stop Event

1×	node limit

Counts

169 → 164

prune80.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	163	1	164
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	163	2	165

Error

0.1b

Counts

165 → 2

Alt Table

Status	Error	Program
✓	57.6b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
▶	1.3b	(neg.f64 (+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))

Compiler

Compiled 3051 to 1713 computations (43.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))))
✓	0.1b	(*.f64 (cos.f64 re) (pow.f64 im 3))
✓	0.1b	(*.f64 (cos.f64 re) im)
✓	0.1b	(.f64 1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))

series54.0ms (0.5%)

Counts

4 → 19

Calls

4 calls:

18.0ms	(+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))))
17.0ms	(.f64 1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
13.0ms	(*.f64 (cos.f64 re) (pow.f64 im 3))
6.0ms	(*.f64 (cos.f64 re) im)

rewrite59.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

566×	`log-prod_binary64`
372×	`fma-def_binary64`
203×	`expm1-udef_binary64`
203×	`log1p-udef_binary64`
176×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	45
1	236	45
2	2990	45

Stop Event

1×	node limit

Counts

4 → 119

Calls

4 calls:

57.0ms	(+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))))
57.0ms	(*.f64 (cos.f64 re) (pow.f64 im 3))
57.0ms	(*.f64 (cos.f64 re) im)
57.0ms	(.f64 1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))

simplify37.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

611×	`fma-def_binary64`
410×	`sub-neg_binary64`
406×	`associate-l_binary64`
378×	`cancel-sign-sub-inv_binary64`
373×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	63	488
1	208	455
2	840	391
3	4704	391

Stop Event

1×	node limit

Counts

138 → 152

prune136.0ms (1.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	144	8	152
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	144	10	154

Error

0.0b

Counts

154 → 10

Alt Table

Status	Error	Program
	2.6b	(neg.f64 (fma.f64 (pow.f64 (cbrt.f64 im) 2) (.f64 (cbrt.f64 im) (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	29.3b	(neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 re) im) 2) (pow.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) 2)) (/.f64 1 (fma.f64 (cos.f64 re) im (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))))))
✓	57.6b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
▶	1.9b	(neg.f64 (fma.f64 (.f64 im (pow.f64 (cbrt.f64 (cos.f64 re)) 2)) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	18.8b	(neg.f64 (fma.f64 (sqrt.f64 (cos.f64 re)) (.f64 (sqrt.f64 (cos.f64 re)) im) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	34.1b	(neg.f64 (fma.f64 (sqrt.f64 im) (.f64 (sqrt.f64 im) (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	29.3b	(neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 re) im) 2) (pow.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) 2)) (fma.f64 (cos.f64 re) im (.f64 -1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))))))
	41.3b	(neg.f64 (/.f64 1 (/.f64 (fma.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) (-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) (.f64 (cos.f64 re) im)) (pow.f64 (.f64 (cos.f64 re) im) 2)) (fma.f64 (pow.f64 (.f64 (cos.f64 re) (pow.f64 im 3)) 3) 1/216 (pow.f64 (.f64 (cos.f64 re) im) 3)))))
	41.4b	(neg.f64 (.f64 (fma.f64 (pow.f64 (.f64 (cos.f64 re) (pow.f64 im 3)) 3) 1/216 (pow.f64 (.f64 (cos.f64 re) im) 3)) (/.f64 1 (fma.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) (-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) (.f64 (cos.f64 re) im)) (pow.f64 (*.f64 (cos.f64 re) im) 2)))))
✓	1.3b	(neg.f64 (+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))

Compiler

Compiled 3727 to 2226 computations (40.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (pow.f64 im 3) 1/6)
✓	0.2b	(fma.f64 (.f64 im (pow.f64 (cbrt.f64 (cos.f64 re)) 2)) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6)))
✓	0.3b	(pow.f64 (cbrt.f64 (cos.f64 re)) 2)
✓	0.4b	(cbrt.f64 (cos.f64 re))

series686.0ms (6.4%)

Counts

4 → 60

Calls

4 calls:

439.0ms	(fma.f64 (.f64 im (pow.f64 (cbrt.f64 (cos.f64 re)) 2)) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6)))
127.0ms	(cbrt.f64 (cos.f64 re))
116.0ms	(pow.f64 (cbrt.f64 (cos.f64 re)) 2)
3.0ms	(*.f64 (pow.f64 im 3) 1/6)

rewrite53.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

611×	`log-prod_binary64`
285×	`prod-diff_binary64`
228×	`expm1-udef_binary64`
228×	`log1p-udef_binary64`
205×	`log-pow_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	50
1	286	40
2	3195	38

Stop Event

1×	node limit

Counts

4 → 92

Calls

4 calls:

51.0ms	(*.f64 (pow.f64 im 3) 1/6)
51.0ms	(fma.f64 (.f64 im (pow.f64 (cbrt.f64 (cos.f64 re)) 2)) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6)))
51.0ms	(pow.f64 (cbrt.f64 (cos.f64 re)) 2)
51.0ms	(cbrt.f64 (cos.f64 re))

simplify39.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

420×	`fma-def_binary64`
406×	`distribute-rgt-neg-in_binary64`
350×	`sub-neg_binary64`
316×	`associate-l_binary64`
305×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	76	804
1	222	800
2	760	689
3	3832	689

Stop Event

1×	node limit

Counts

152 → 120

prune184.0ms (1.7%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	149	5	154
Fresh	2	5	7
Picked	1	0	1
Done	0	2	2
Total	152	12	164

Error

0.0b

Counts

164 → 12

Alt Table

Status	Error	Program
	2.6b	(neg.f64 (fma.f64 (pow.f64 (cbrt.f64 im) 2) (.f64 (cbrt.f64 im) (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	29.3b	(neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 re) im) 2) (pow.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) 2)) (/.f64 1 (fma.f64 (cos.f64 re) im (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))))))
	18.8b	(neg.f64 (fma.f64 (.f64 im (pow.f64 (pow.f64 (cos.f64 re) 1/3) 2)) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	41.4b	(neg.f64 (.f64 (fma.f64 (pow.f64 (.f64 (cos.f64 re) (pow.f64 im 3)) 3) 1/216 (pow.f64 (.f64 (cos.f64 re) im) 3)) (/.f64 1 (fma.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) (-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) (.f64 (cos.f64 re) im)) (pow.f64 (*.f64 (cos.f64 re) im) 2)))))
✓	57.6b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
	1.9b	(neg.f64 (fma.f64 (.f64 im (log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2))))) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	2.0b	(neg.f64 (fma.f64 (.f64 im (pow.f64 (cbrt.f64 (cos.f64 re)) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) 3) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	18.8b	(neg.f64 (fma.f64 (sqrt.f64 (cos.f64 re)) (.f64 (sqrt.f64 (cos.f64 re)) im) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	34.1b	(neg.f64 (fma.f64 (sqrt.f64 im) (.f64 (sqrt.f64 im) (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	3.4b	(neg.f64 (fma.f64 (.f64 im (pow.f64 (cbrt.f64 (cos.f64 re)) 2)) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (cos.f64 re)))) (cbrt.f64 (exp.f64 (cbrt.f64 (cos.f64 re)))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (cos.f64 re)))))) (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6))))
▶	1.6b	(neg.f64 (fma.f64 (.f64 im (cbrt.f64 (pow.f64 (cos.f64 re) 2))) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
✓	1.3b	(neg.f64 (+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))

Compiler

Compiled 4304 to 2486 computations (42.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 (.f64 im (cbrt.f64 (pow.f64 (cos.f64 re) 2))) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6)))
✓	0.3b	(pow.f64 (cos.f64 re) 2)
✓	0.4b	(cbrt.f64 (pow.f64 (cos.f64 re) 2))
	0.4b	(cbrt.f64 (cos.f64 re))

series597.0ms (5.6%)

Counts

3 → 40

Calls

3 calls:

421.0ms	(fma.f64 (.f64 im (cbrt.f64 (pow.f64 (cos.f64 re) 2))) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6)))
173.0ms	(cbrt.f64 (pow.f64 (cos.f64 re) 2))
3.0ms	(pow.f64 (cos.f64 re) 2)

rewrite48.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

285×	`prod-diff_binary64`
238×	`expm1-udef_binary64`
238×	`log1p-udef_binary64`
217×	`log-pow_binary64`
139×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	44
1	303	34
2	3352	32

Stop Event

1×	node limit

Counts

3 → 73

Calls

3 calls:

47.0ms	(fma.f64 (.f64 im (cbrt.f64 (pow.f64 (cos.f64 re) 2))) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6)))
47.0ms	(pow.f64 (cos.f64 re) 2)
47.0ms	(cbrt.f64 (pow.f64 (cos.f64 re) 2))

simplify36.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

401×	`fma-def_binary64`
379×	`distribute-rgt-neg-in_binary64`
362×	`distribute-lft-neg-in_binary64`
341×	`sub-neg_binary64`
315×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	72	677
1	207	667
2	730	558
3	3663	558

Stop Event

1×	node limit

Counts

113 → 100

prune158.0ms (1.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	131	3	134
Fresh	2	7	9
Picked	1	0	1
Done	0	2	2
Total	134	12	146

Error

0.0b

Counts

146 → 12

Alt Table

Status	Error	Program
	2.6b	(neg.f64 (fma.f64 (pow.f64 (cbrt.f64 im) 2) (.f64 (cbrt.f64 im) (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	29.3b	(neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 re) im) 2) (pow.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6)) 2)) (/.f64 1 (fma.f64 (cos.f64 re) im (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))))))
	1.6b	(neg.f64 (fma.f64 (.f64 im (cbrt.f64 (pow.f64 (cos.f64 re) 2))) (log1p.f64 (expm1.f64 (cbrt.f64 (cos.f64 re)))) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	1.7b	(neg.f64 (fma.f64 (.f64 im (cbrt.f64 (+.f64 1/2 (.f64 1/2 (cos.f64 (+.f64 re re)))))) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6))))
✓	1.3b	(neg.f64 (+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))
✓	57.6b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
	1.9b	(neg.f64 (fma.f64 (.f64 im (log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2))))) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	2.0b	(neg.f64 (fma.f64 (.f64 im (pow.f64 (cbrt.f64 (cos.f64 re)) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) 3) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	18.8b	(neg.f64 (fma.f64 (sqrt.f64 (cos.f64 re)) (.f64 (sqrt.f64 (cos.f64 re)) im) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	34.1b	(neg.f64 (fma.f64 (sqrt.f64 im) (.f64 (sqrt.f64 im) (cos.f64 re)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))
	3.4b	(neg.f64 (fma.f64 (.f64 im (pow.f64 (cbrt.f64 (cos.f64 re)) 2)) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (cos.f64 re)))) (cbrt.f64 (exp.f64 (cbrt.f64 (cos.f64 re)))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (cos.f64 re)))))) (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) 1/6))))
	1.7b	(neg.f64 (fma.f64 (.f64 im (cbrt.f64 (pow.f64 (cos.f64 re) 2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 (cos.f64 re))))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 (cos.f64 re)))))) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 3) 1/6))))

Compiler

Compiled 3455 to 2047 computations (40.8% saved)

regimes502.0ms (4.7%)

Accuracy

Total 0.5b remaining (89.7%)

Threshold costs 0.5b (89.7%)

Counts

73 → 2

Compiler

Compiled 8913 to 6153 computations (31% saved)

bsearch2.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
5×	`sub-neg_binary64`
4×	`+-commutative_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	39	53
2	46	53
3	49	53
4	50	53

Stop Event

1×

saturated

end774.0ms (7.2%)

Compiler: Compiled 366 to 234 computations (36.1% saved)

Details

analyze510.0ms (4.8%)

sample6.6s (61.3%)

simplify26.0ms (0.2%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series19.0ms (0.2%)

rewrite53.0ms (0.5%)

simplify46.0ms (0.4%)

prune80.0ms (0.7%)

localize9.0ms (0.1%)

series54.0ms (0.5%)

rewrite59.0ms (0.6%)

simplify37.0ms (0.3%)

prune136.0ms (1.3%)

localize12.0ms (0.1%)

series686.0ms (6.4%)

rewrite53.0ms (0.5%)

simplify39.0ms (0.4%)

prune184.0ms (1.7%)

localize13.0ms (0.1%)

series597.0ms (5.6%)

rewrite48.0ms (0.5%)

simplify36.0ms (0.3%)

prune158.0ms (1.5%)

regimes502.0ms (4.7%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end774.0ms (7.2%)

Profiling