Details

analyze2.2s (18.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
9.4%	90.4%	0.2%	6
17.2%	82.7%	0.2%	7
19.5%	80.3%	0.2%	8
30.8%	69%	0.2%	9
35.5%	64.3%	0.2%	10
42.4%	57.4%	0.2%	11
47.1%	52.7%	0.2%	12
48.9%	50.8%	0.3%	13
50%	49.7%	0.4%	14

Compiler

Compiled 42 to 20 computations (52.4% saved)

sample6.0s (52.1%)

Results

2.5s	2479×	body	1024	invalid
2.0s	7822×	body	128	valid
649.0ms	1028×	body	512	invalid
173.0ms	412×	body	256	invalid
163.0ms	182×	body	1024	valid
139.0ms	586×	body	128	invalid
129.0ms	17×	body	2048	valid
92.0ms	42×	body	2048	invalid
82.0ms	138×	body	512	valid
39.0ms	97×	body	256	valid

Compiler

Compiled 125 to 59 computations (52.8% saved)

simplify67.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

892×	`unswap-sqr_binary64`
461×	`associate-/l*_binary64`
323×	`associate-/r*_binary64`
296×	`associate-*l/_binary64`
286×	`associate-*r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	40
1	39	38
2	70	38
3	118	38
4	263	38
5	996	38
6	3043	38
7	4085	38
8	4541	38
9	4866	38
10	4932	38

prune5.0ms (0%)

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

7.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	11.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	33.4b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))

Status

Error

Program

▶

11.1b

(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))

33.4b

(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))

Compiler

Compiled 206 to 96 computations (53.4% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
✓	0.4b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	1.8b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	35.0b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series510.0ms (4.5%)

Counts

4 → 96

Calls

4 calls:

419.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
79.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
6.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)
6.0ms	(*.f64 y.re (atan2.f64 x.im x.re))

rewrite68.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

553×	`prod-diff_binary64`
276×	`log1p-udef_binary64`
154×	`add-sqr-sqrt_binary64`
143×	`add-log-exp_binary64`
142×	`log1p-expm1-u_binary64`

Counts

4 → 90

Calls

4 calls:

66.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
66.0ms	(*.f64 y.re (atan2.f64 x.im x.re))
66.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)
66.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	50
1	300	50
2	3609	50
3	5170	50
0	0	0
1	0	0

simplify161.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

703×	`times-frac_binary64`
654×	`fma-def_binary64`
621×	`associate-/l*_binary64`
413×	`associate-/r*_binary64`
255×	`*-commutative_binary64`

Counts

186 → 206

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	558	7014
1	1968	6366
2	4405	6306
3	4971	6306
4	4869	6306

prune284.0ms (2.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	197	9	206
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	199	9	208

Error

4.3b

Counts

208 → 9

Alt Table

Status	Error	Program
	21.7b	(.f64 (fma.f64 (/.f64 (log.f64 (hypot.f64 x.im x.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re)))) y.re (pow.f64 (exp.f64 y.im) (neg.f64 (atan2.f64 x.im x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	11.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	38.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	47.0b	(.f64 (fma.f64 1/2 (.f64 (/.f64 (.f64 (.f64 x.re x.re) y.re) (.f64 x.im x.im)) (/.f64 (pow.f64 (/.f64 -1 x.im) (neg.f64 y.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) (/.f64 (pow.f64 (/.f64 -1 x.im) (neg.f64 y.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	37.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
▶	11.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	11.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)))
	11.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3))
	27.5b	(.f64 (exp.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) y.re)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 12625 to 4580 computations (63.7% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(log.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))
	0.4b	(*.f64 y.re (atan2.f64 x.im x.re))
	1.8b	(*.f64 (atan2.f64 x.im x.re) y.im)
	35.0b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series79.0ms (0.7%)

Counts

1 → 48

Calls

1 calls:

79.0ms

(log.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))

rewrite75.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

547×	`log-prod_binary64`
263×	`prod-diff_binary64`
211×	`expm1-udef_binary64`
211×	`log1p-udef_binary64`
202×	`log-pow_binary64`

Counts

1 → 33

Calls

1 calls:

74.0ms

(log.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	18
1	228	18
2	2579	18
3	4998	18
4	5017	18
0	0	0
1	0	0

simplify96.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

625×	`fma-def_binary64`
427×	`cancel-sign-sub-inv_binary64`
350×	`associate-r_binary64`
223×	`sub-neg_binary64`
218×	`times-frac_binary64`

Counts

81 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	306	3512
1	979	3266
2	3207	3254
3	4924	3254
4	4868	3254

prune282.0ms (2.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	196	2	198
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	198	9	207

Error

4.2b

Counts

207 → 9

Alt Table

Status	Error	Program
	21.7b	(.f64 (fma.f64 (/.f64 (log.f64 (hypot.f64 x.im x.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re)))) y.re (pow.f64 (exp.f64 y.im) (neg.f64 (atan2.f64 x.im x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
▶	11.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	38.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	47.0b	(.f64 (fma.f64 1/2 (.f64 (/.f64 (.f64 (.f64 x.re x.re) y.re) (.f64 x.im x.im)) (/.f64 (pow.f64 (/.f64 -1 x.im) (neg.f64 y.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) (/.f64 (pow.f64 (/.f64 -1 x.im) (neg.f64 y.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	37.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	11.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log.f64 (exp.f64 (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3))))
	11.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)))
	27.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
	27.5b	(.f64 (exp.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) y.re)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 12393 to 4522 computations (63.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
	0.4b	(*.f64 y.re (atan2.f64 x.im x.re))
	1.8b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	19.0b	(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

series13.0ms (0.1%)

Counts

1 → 4

Calls

1 calls:

13.0ms

(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

rewrite94.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

578×	`log1p-expm1-u_binary64`
578×	`expm1-log1p-u_binary64`
330×	`log-prod_binary64`
305×	`fma-def_binary64`
232×	`prod-diff_binary64`

Counts

1 → 24

Calls

1 calls:

93.0ms

(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	135	9
2	1530	9
3	4980	9
4	4931	9
5	5213	9
0	0	0
1	0	0

simplify70.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

708×	`distribute-rgt-neg-in_binary64`
573×	`distribute-lft-neg-in_binary64`
501×	`neg-mul-1_binary64`
460×	`fma-def_binary64`
391×	`cancel-sign-sub-inv_binary64`

Counts

28 → 31

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	29	110
1	78	106
2	224	102
3	939	100
4	2484	94
5	3857	91
6	4754	82
7	4976	82

prune245.0ms (2.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	160	2	162
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	162	9	171

Error

4.2b

Counts

171 → 9

Alt Table

Status	Error	Program
	38.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	47.0b	(.f64 (fma.f64 1/2 (.f64 (/.f64 (.f64 (.f64 x.re x.re) y.re) (.f64 x.im x.im)) (/.f64 (pow.f64 (/.f64 -1 x.im) (neg.f64 y.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) (/.f64 (pow.f64 (/.f64 -1 x.im) (neg.f64 y.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	37.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
▶	7.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	11.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log.f64 (exp.f64 (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3))))
	11.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)))
	21.5b	(.f64 (fma.f64 (/.f64 (log.f64 (hypot.f64 x.im x.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re)))) y.re (pow.f64 (exp.f64 y.im) (neg.f64 (atan2.f64 x.im x.re)))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	27.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
	27.5b	(.f64 (exp.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) y.re)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 7719 to 2902 computations (62.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	1.8b	(*.f64 y.im (atan2.f64 x.im x.re))
	19.0b	(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))
✓	24.7b	(sqrt.f64 (pow.f64 (*.f64 y.im (atan2.f64 x.im x.re)) 2))

series13.0ms (0.1%)

Counts

2 → 48

Calls

2 calls:

7.0ms	(*.f64 y.im (atan2.f64 x.im x.re))
6.0ms	(sqrt.f64 (pow.f64 (*.f64 y.im (atan2.f64 x.im x.re)) 2))

rewrite42.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

642×	`log1p-expm1-u_binary64`
642×	`expm1-log1p-u_binary64`
353×	`log-prod_binary64`
137×	`expm1-udef_binary64`
137×	`log1p-udef_binary64`

Counts

2 → 61

Calls

2 calls:

41.0ms	(*.f64 y.im (atan2.f64 x.im x.re))
41.0ms	(sqrt.f64 (pow.f64 (*.f64 y.im (atan2.f64 x.im x.re)) 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	164	14
2	1705	14
3	5007	14
0	0	0
1	0	0

simplify21.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

38×	`fma-def_binary64`
9×	`sub-neg_binary64`
6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`distribute-lft-in_binary64`

Counts

109 → 42

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	344
1	13	344
2	25	344
3	26	344
4	30	344
5	48	344
6	59	344
7	64	344
8	76	344
9	73	344
10	59	344

prune183.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	89	9	98

Error

4.2b

Counts

98 → 9

Alt Table

Status	Error	Program
	38.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	47.0b	(.f64 (fma.f64 1/2 (.f64 (/.f64 (.f64 (.f64 x.re x.re) y.re) (.f64 x.im x.im)) (/.f64 (pow.f64 (/.f64 -1 x.im) (neg.f64 y.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) (/.f64 (pow.f64 (/.f64 -1 x.im) (neg.f64 y.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	37.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
✓	7.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	11.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log.f64 (exp.f64 (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3))))
	11.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)))
	21.5b	(.f64 (fma.f64 (/.f64 (log.f64 (hypot.f64 x.im x.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re)))) y.re (pow.f64 (exp.f64 y.im) (neg.f64 (atan2.f64 x.im x.re)))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	27.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
	27.5b	(.f64 (exp.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) y.re)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 2655 to 953 computations (64.1% saved)

regimes740.0ms (6.5%)

Accuracy

Total 0.6b remaining (15.8%)

Threshold costs 0.6b (15.8%)

Counts

111 → 1

Compiler

Compiled 16202 to 9240 computations (43% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	40
1	30	40
2	39	40
3	45	40
4	49	40
5	50	40
6	49	40

end211.0ms (1.8%)

Compiler: Compiled 376 to 208 computations (44.7% saved)

Iter	Nodes	Cost
0	9	344
1	13	344
2	25	344
3	26	344
4	30	344
5	48	344
6	59	344
7	64	344
8	76	344
9	73	344
10	59	344

Iter	Nodes	Cost
0	9	344
1	13	344
2	25	344
3	26	344
4	30	344
5	48	344
6	59	344
7	64	344
8	76	344
9	73	344
10	59	344

Details

analyze2.2s (18.9%)

sample6.0s (52.1%)

simplify67.0ms (0.6%)

prune5.0ms (0%)

localize16.0ms (0.1%)

series510.0ms (4.5%)

rewrite68.0ms (0.6%)

simplify161.0ms (1.4%)

prune284.0ms (2.5%)

localize20.0ms (0.2%)

series79.0ms (0.7%)

rewrite75.0ms (0.7%)

simplify96.0ms (0.8%)

prune282.0ms (2.5%)

localize13.0ms (0.1%)

series13.0ms (0.1%)

rewrite94.0ms (0.8%)

simplify70.0ms (0.6%)

prune245.0ms (2.1%)

localize13.0ms (0.1%)

series13.0ms (0.1%)

rewrite42.0ms (0.4%)

simplify21.0ms (0.2%)

prune183.0ms (1.6%)

regimes740.0ms (6.5%)

simplify3.0ms (0%)

end211.0ms (1.8%)

Profiling

Iter	Nodes	Cost
0	9	344
1	13	344
2	25	344
3	26	344
4	30	344
5	48	344
6	59	344
7	64	344
8	76	344
9	73	344
10	59	344