Details

analyze500.0ms (5.5%)

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.5s (71.6%)

Results

3.4s	4992×	body	1024	valid
1.1s	2077×	body	1024	invalid
711.0ms	1728×	body	512	valid
402.0ms	432×	body	2048	valid
341.0ms	1008×	body	512	invalid
188.0ms	717×	body	256	valid
123.0ms	517×	body	256	invalid
109.0ms	801×	body	128	invalid
56.0ms	387×	body	128	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 44 to 35 computations (20.5% saved)

simplify24.0ms (0.3%)

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)

rewrite49.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:

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

simplify43.0ms (0.5%)

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

prune77.0ms (0.9%)

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)))

series59.0ms (0.6%)

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 (cos.f64 re) (pow.f64 im 3))
16.0ms	(.f64 1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
7.0ms	(*.f64 (cos.f64 re) im)

rewrite63.0ms (0.7%)

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:

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

simplify44.0ms (0.5%)

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

prune134.0ms (1.5%)

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
✓	57.6b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
	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))))
✓	1.3b	(neg.f64 (+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))
	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))))
	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)))))
	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)))))))
	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.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))))
	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))))))
	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))))

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))

series133.0ms (1.5%)

Counts

4 → 60

Calls

4 calls:

94.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)))
18.0ms	(pow.f64 (cbrt.f64 (cos.f64 re)) 2)
17.0ms	(cbrt.f64 (cos.f64 re))
3.0ms	(*.f64 (pow.f64 im 3) 1/6)

rewrite61.0ms (0.7%)

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:

59.0ms	(*.f64 (pow.f64 im 3) 1/6)
59.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)))
59.0ms	(pow.f64 (cbrt.f64 (cos.f64 re)) 2)
59.0ms	(cbrt.f64 (cos.f64 re))

simplify38.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

prune177.0ms (2%)

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
▶	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))))
	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)))
	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))))
✓	1.3b	(neg.f64 (+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))
	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))))
	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))))
	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)))))
	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))))
	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))))
	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))))

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))

series121.0ms (1.3%)

Counts

3 → 40

Calls

3 calls:

95.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)))
24.0ms	(cbrt.f64 (pow.f64 (cos.f64 re) 2))
3.0ms	(pow.f64 (cos.f64 re) 2)

rewrite49.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:

48.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)))
48.0ms	(pow.f64 (cos.f64 re) 2)
48.0ms	(cbrt.f64 (pow.f64 (cos.f64 re) 2))

simplify44.0ms (0.5%)

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

prune159.0ms (1.8%)

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
✓	57.6b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
	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))))
✓	1.3b	(neg.f64 (+.f64 (.f64 (cos.f64 re) im) (.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))
	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))))
	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))))
	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.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))))
	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.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))))
	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))))
	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))))
	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))))

Compiler

Compiled 3455 to 2047 computations (40.8% saved)

regimes493.0ms (5.5%)

Accuracy

Total 0.5b remaining (89.7%)

Threshold costs 0.5b (89.7%)

Counts

73 → 2

Compiler

Compiled 8913 to 6153 computations (31% saved)

bsearch3.0ms (0%)

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

simplify4.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

end224.0ms (2.5%)

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

Details

analyze500.0ms (5.5%)

sample6.5s (71.6%)

simplify24.0ms (0.3%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series19.0ms (0.2%)

rewrite49.0ms (0.5%)

simplify43.0ms (0.5%)

prune77.0ms (0.9%)

localize9.0ms (0.1%)

series59.0ms (0.6%)

rewrite63.0ms (0.7%)

simplify44.0ms (0.5%)

prune134.0ms (1.5%)

localize12.0ms (0.1%)

series133.0ms (1.5%)

rewrite61.0ms (0.7%)

simplify38.0ms (0.4%)

prune177.0ms (2%)

localize13.0ms (0.1%)

series121.0ms (1.3%)

rewrite49.0ms (0.5%)

simplify44.0ms (0.5%)

prune159.0ms (1.8%)

regimes493.0ms (5.5%)

bsearch3.0ms (0%)

simplify4.0ms (0%)

end224.0ms (2.5%)

Profiling