Details

analyze2.3s (16.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 (44.5%)

Results

2.6s	2443×	body	1024	invalid
1.9s	7829×	body	128	valid
637.0ms	1012×	body	512	invalid
183.0ms	425×	body	256	invalid
168.0ms	182×	body	1024	valid
135.0ms	577×	body	128	invalid
92.0ms	145×	body	512	valid
60.0ms	38×	body	2048	invalid
41.0ms	86×	body	256	valid
23.0ms	14×	body	2048	valid

Compiler

Compiled 125 to 59 computations (52.8% saved)

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

7.5b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	10.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 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	34.9b	(.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

▶

10.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 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))

34.9b

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

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
✓	0.8b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	2.8b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	33.9b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series706.0ms (5.3%)

Counts

4 → 96

Calls

4 calls:

578.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
114.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 y.re (atan2.f64 x.im x.re))
7.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)

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

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

simplify221.0ms (1.6%)

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

prune469.0ms (3.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	261	10	271
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	263	10	273

Error

4.3b

Counts

273 → 10

Alt Table

Status	Error	Program
	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 (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.6b	(.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))))
	39.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))))
	28.0b	(.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)))))
	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 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
▶	5.2b	(.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)))))
	10.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))) (cbrt.f64 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)))))
	10.5b	(.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.5b	(.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)))
	10.5b	(.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 15371 to 4906 computations (68.1% saved)

localize16.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)
	0.8b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.8b	(*.f64 (atan2.f64 x.im x.re) y.im)
	33.9b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series675.0ms (5%)

Counts

1 → 36

Calls

1 calls:

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

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

prune338.0ms (2.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	199	2	201
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	202	9	211

Error

4.3b

Counts

211 → 9

Alt Table

Status	Error	Program
▶	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.5b	(.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)))))))
	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 (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))))))))
	28.0b	(.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)))))
	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 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	10.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))) (cbrt.f64 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)))))
	10.5b	(.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.5b	(.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)))
	36.1b	(.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))))))

Compiler

Compiled 10170 to 3364 computations (66.9% saved)

localize14.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)
	0.8b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.8b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	18.7b	(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

series16.0ms (0.1%)

Counts

1 → 4

Calls

1 calls:

16.0ms

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

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

1.0ms

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

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

prune233.0ms (1.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	145	10	155

Error

4.3b

Counts

155 → 10

Alt Table

Status	Error	Program
✓	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.5b	(.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)))))))
	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 (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))))))))
	28.0b	(.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)))))
	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 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	37.1b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 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.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))) (cbrt.f64 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)))))
	10.5b	(.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.5b	(.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)))
	36.1b	(.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))))))

Compiler

Compiled 4906 to 1622 computations (66.9% 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)
	0.8b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.8b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	33.9b	(cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))

series624.0ms (4.6%)

Counts

2 → 64

Calls

2 calls:

512.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)
112.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))))

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

prune557.0ms (4.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	216	5	221
Fresh	2	6	8
Picked	1	0	1
Done	0	1	1
Total	219	12	231

Error

4.3b

Counts

231 → 12

Alt Table

Status	Error	Program
	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))) (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.5b	(.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)))))
	10.5b	(.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)))))))
	25.4b	(.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 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.im x.re)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 3/2) (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.im x.re)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3/2))))
	10.5b	(.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 (log1p.f64 (expm1.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)))))
	28.0b	(.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)))))
	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 (fma.f64 (log.f64 x.im) y.im (*.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))) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 x.im)))) 3)))
	37.1b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 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.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))) (cbrt.f64 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)))))
	36.1b	(.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))))

Compiler

Compiled 18016 to 7159 computations (60.3% saved)

regimes470.0ms (3.5%)

Accuracy

Total 0.5b remaining (14.6%)

Threshold costs 0.5b (14.6%)

Counts

74 → 1

Compiler

Compiled 12932 to 7245 computations (44% saved)

simplify3.0ms (0%)

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

end315.0ms (2.3%)

Compiler: Compiled 532 to 274 computations (48.5% saved)

Details

analyze2.3s (16.9%)

sample6.0s (44.5%)

simplify68.0ms (0.5%)

prune5.0ms (0%)

localize18.0ms (0.1%)

series706.0ms (5.3%)

rewrite18.0ms (0.1%)

simplify221.0ms (1.6%)

prune469.0ms (3.5%)

localize16.0ms (0.1%)

series675.0ms (5%)

rewrite4.0ms (0%)

simplify59.0ms (0.4%)

prune338.0ms (2.5%)

localize14.0ms (0.1%)

series16.0ms (0.1%)

rewrite1.0ms (0%)

simplify75.0ms (0.6%)

prune233.0ms (1.7%)

localize21.0ms (0.2%)

series624.0ms (4.6%)

rewrite5.0ms (0%)

simplify256.0ms (1.9%)

prune557.0ms (4.1%)

regimes470.0ms (3.5%)

simplify3.0ms (0%)

end315.0ms (2.3%)

Profiling