Details

analyze2.3s (17.2%)

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.1s (46.1%)

Results

2.5s	2452×	body	1024	invalid
1.9s	7815×	body	128	valid
765.0ms	1012×	body	512	invalid
192.0ms	427×	body	256	invalid
187.0ms	195×	body	1024	valid
177.0ms	151×	body	512	valid
142.0ms	564×	body	128	invalid
61.0ms	40×	body	2048	invalid
54.0ms	81×	body	256	valid
21.0ms	14×	body	2048	valid

Compiler

Compiled 125 to 59 computations (52.8% saved)

simplify69.0ms (0.5%)

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

8.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	36.5b	(.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))))
▶	10.0b	(.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)))))

Status

Error

Program

36.5b

(*.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))))

▶

10.0b

(*.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)))))

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)))
✓	1.0b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	2.1b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	31.0b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series651.0ms (5%)

Counts

4 → 96

Calls

4 calls:

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

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
24×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
21×	`times-frac_binary64`
12×	`unpow-prod-down_binary64`

Counts

4 → 97

Calls

4 calls:

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

simplify238.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

723×	`times-frac_binary64`
676×	`fma-def_binary64`
672×	`associate-/l*_binary64`
276×	`*-commutative_binary64`
164×	`cancel-sign-sub-inv_binary64`

Counts

193 → 271

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	704	9231
1	2205	8440
2	4490	8380
3	4964	8380
4	4875	8380

prune458.0ms (3.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	262	9	271
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	264	9	273

Error

4.1b

Counts

273 → 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 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
▶	4.5b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.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)))))
	22.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 (sqrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sqrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	10.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 (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))))) (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)))))) (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)))))))
	10.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	17.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (-.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 1/2 (.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 (.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 y.im (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))))))
	10.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	10.9b	(.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))))
	36.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 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))

Compiler

Compiled 15329 to 4864 computations (68.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
	1.0b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.1b	(*.f64 (atan2.f64 x.im x.re) y.im)
	31.0b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series669.0ms (5.1%)

Counts

1 → 36

Calls

1 calls:

669.0ms

(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
4×	`associate-l_binary64`
4×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`*-un-lft-identity_binary64`

Counts

1 → 21

Calls

1 calls:

3.0ms

(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)

simplify58.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

583×	`associate-/r/_binary64`
506×	`associate-/l/_binary64`
259×	`times-frac_binary64`
249×	`fma-def_binary64`
217×	`distribute-rgt-neg-in_binary64`

Counts

57 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	119	1306
1	335	1108
2	828	1108
3	2818	1087
4	5391	1087

prune337.0ms (2.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	199	2	201
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	202	8	210

Error

4.1b

Counts

210 → 8

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 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	32.3b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (/.f64 -1 x.im))))))
▶	5.4b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	22.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 (sqrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sqrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	10.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 (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))))) (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)))))) (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)))))))
	10.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	17.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (-.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 1/2 (.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 (.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 y.im (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))))))
	10.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log1p.f64 (expm1.f64 (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 10128 to 3322 computations (67.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
	1.0b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.1b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	17.5b	(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

series15.0ms (0.1%)

Counts

1 → 4

Calls

1 calls:

14.0ms

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

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 9

Calls

1 calls:

2.0ms

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

simplify76.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

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

Counts

13 → 17

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	40	242
1	91	219
2	235	215
3	945	213
4	2500	207
5	3875	204
6	4774	195
7	4997	195

prune236.0ms (1.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	146	8	154

Error

4.1b

Counts

154 → 8

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 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	32.3b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (/.f64 -1 x.im))))))
✓	5.4b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	22.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 (sqrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sqrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	10.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 (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))))) (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)))))) (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)))))))
▶	10.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	17.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (-.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 1/2 (.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 (.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 y.im (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))))))
	10.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log1p.f64 (expm1.f64 (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 4820 to 1554 computations (67.8% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)
	1.0b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.1b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	31.0b	(cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))

series595.0ms (4.5%)

Counts

2 → 64

Calls

2 calls:

480.0ms	(pow.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)
115.0ms	(cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`
3×	`cube-prod_binary64`
3×	`pow-unpow_binary64`

Counts

2 → 35

Calls

2 calls:

2.0ms	(pow.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)
1.0ms	(cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))

simplify249.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

854×	`fma-def_binary64`
621×	`times-frac_binary64`
345×	`*-commutative_binary64`
166×	`associate-r_binary64`
160×	`cancel-sign-sub-inv_binary64`

Counts

99 → 166

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	772	10827
1	2539	9961
2	4558	9945
3	4997	9945
4	4845	9945

prune453.0ms (3.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	218	3	221
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	221	8	229

Error

4.1b

Counts

229 → 8

Alt Table

Status	Error	Program
	10.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re)))))) 3) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))) 3))))
	17.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (-.f64 (fma.f64 3 (.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2) (.f64 (.f64 y.im y.im) (pow.f64 (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))) 2)))) (pow.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) 3)) (fma.f64 3 (.f64 (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))) y.im)) (pow.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) 2)) (.f64 3/2 (.f64 (.f64 (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2) (.f64 y.im y.im)) (pow.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))))))
	10.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	10.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (log.f64 (exp.f64 (pow.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))))
	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 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	32.3b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (/.f64 -1 x.im))))))
✓	5.4b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	10.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 (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))))) (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)))))) (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)))))))

Compiler

Compiled 17912 to 7088 computations (60.4% saved)

regimes416.0ms (3.2%)

Accuracy

Total 0.5b remaining (13.8%)

Threshold costs 0.5b (13.8%)

Counts

62 → 1

Compiler

Compiled 11527 to 6180 computations (46.4% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-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	16	40
1	25	40
2	35	40
3	41	40
4	45	40
5	46	40
6	46	40

end196.0ms (1.5%)

Compiler: Compiled 428 to 203 computations (52.6% saved)

Details

analyze2.3s (17.2%)

sample6.1s (46.1%)

simplify69.0ms (0.5%)

prune5.0ms (0%)

localize16.0ms (0.1%)

series651.0ms (5%)

rewrite17.0ms (0.1%)

simplify238.0ms (1.8%)

prune458.0ms (3.5%)

localize17.0ms (0.1%)

series669.0ms (5.1%)

rewrite4.0ms (0%)

simplify58.0ms (0.4%)

prune337.0ms (2.6%)

localize15.0ms (0.1%)

series15.0ms (0.1%)

rewrite3.0ms (0%)

simplify76.0ms (0.6%)

prune236.0ms (1.8%)

localize21.0ms (0.2%)

series595.0ms (4.5%)

rewrite5.0ms (0%)

simplify249.0ms (1.9%)

prune453.0ms (3.4%)

regimes416.0ms (3.2%)

simplify8.0ms (0.1%)

end196.0ms (1.5%)

Profiling