Details

analyze2.9s (11.6%)

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
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
7.6%	92.3%	0.2%	12
19.3%	80.5%	0.2%	13
21.4%	78.4%	0.2%	14

Compiler

Compiled 42 to 20 computations (52.4% saved)

sample16.3s (66%)

Results

12.4s	2695×	body	8192	exit
2.0s	7825×	body	128	valid
1.1s	1118×	body	1024	invalid
314.0ms	387×	body	512	invalid
169.0ms	179×	body	1024	valid
106.0ms	161×	body	512	valid
67.0ms	154×	body	256	invalid
34.0ms	74×	body	256	valid
33.0ms	134×	body	128	invalid
27.0ms	17×	body	2048	valid
17.0ms	13×	body	2048	invalid

Compiler

Compiled 83 to 39 computations (53% saved)

simplify71.0ms (0.3%)

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

4.4b

Counts

3 → 2

Alt Table

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

▶

6.4b

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

29.3b

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

series696.0ms (2.8%)

Counts

4 → 96

Calls

4 calls:

568.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
113.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:

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

simplify228.0ms (0.9%)

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 → 270

Iterations

Useful iterations: 2 (0.0ms)

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

prune532.0ms (2.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	262	8	270
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	264	8	272

Error

2.5b

Counts

272 → 8

Alt Table

Status	Error	Program
	35.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 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	6.4b	(.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)))))))
	6.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 (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)))
	18.2b	(.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))))))))
	6.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (log1p.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	6.2b	(.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))))
▶	3.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)))))
	16.9b	(.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)))))

Compiler

Compiled 15220 to 4829 computations (68.3% 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 (atan2.f64 x.im x.re) y.im)
	1.2b	(*.f64 y.re (atan2.f64 x.im x.re))
	30.2b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series684.0ms (2.8%)

Counts

1 → 36

Calls

1 calls:

684.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.2%)

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

prune341.0ms (1.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	198	2	200
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	200	8	208

Error

2.5b

Counts

208 → 8

Alt Table

Status	Error	Program
▶	2.9b	(.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))))
	35.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 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	50.2b	(.f64 (exp.f64 (-.f64 (-.f64 (+.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 x.re 2) y.re) (pow.f64 x.im 2))) (.f64 (log.f64 x.im) y.re)) (.f64 1/4 (/.f64 (.f64 (pow.f64 x.re 4) y.re) (pow.f64 x.im 4)))) (.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)))))
	18.2b	(.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))))))))
	6.4b	(.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)))))))
	6.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 (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)))
	6.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (log1p.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	16.9b	(.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)))))

Compiler

Compiled 10120 to 3353 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 (atan2.f64 x.im x.re) y.im)
	1.2b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	15.5b	(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)))

rewrite2.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.3%)

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

prune230.0ms (0.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	145	8	153

Error

2.5b

Counts

153 → 8

Alt Table

Status	Error	Program
✓	2.9b	(.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))))
	35.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 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	49.7b	(.f64 (exp.f64 (-.f64 (-.f64 (+.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 x.re 2) y.re) (pow.f64 x.im 2))) (.f64 (log.f64 x.im) y.re)) (.f64 1/4 (/.f64 (.f64 (pow.f64 x.re 4) y.re) (pow.f64 x.im 4)))) (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
▶	6.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (log1p.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	6.4b	(.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)))))))
	6.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 (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)))
	18.2b	(.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))))))))
	16.9b	(.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)))))

Compiler

Compiled 4806 to 1580 computations (67.1% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(log1p.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.8b	(*.f64 (atan2.f64 x.im x.re) y.im)
	1.2b	(*.f64 y.re (atan2.f64 x.im x.re))
	30.2b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series981.0ms (4%)

Counts

1 → 48

Calls

1 calls:

980.0ms

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

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

2×	`expm1-log1p-u_binary64`
1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 11

Calls

1 calls:

0.0ms

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

simplify120.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

822×	`associate-/l*_binary64`
603×	`associate-/r*_binary64`
327×	`fma-def_binary64`
244×	`*-commutative_binary64`
94×	`+-commutative_binary64`

Counts

59 → 77

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	559	8159
1	2105	7221
2	4753	7221

prune445.0ms (1.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	198	5	203
Fresh	5	1	6
Picked	1	0	1
Done	0	1	1
Total	204	7	211

Error

2.3b

Counts

211 → 7

Alt Table

Status	Error	Program
	6.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (log1p.f64 (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)))))
	35.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (log.f64 (+.f64 1 (cos.f64 (+.f64 (.f64 (log.f64 x.im) y.im) (.f64 y.re (atan2.f64 x.im x.re))))))))
✓	2.9b	(.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))))
	6.4b	(.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)))))))
	13.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (-.f64 (log1p.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re)))) (fma.f64 1/2 (/.f64 (.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 (+.f64 1 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re)))) 2)) (fma.f64 1/2 (/.f64 (.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 1 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))) (/.f64 (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 y.im (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))) (+.f64 1 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))))))))
	46.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (-.f64 (log1p.f64 (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 y.im (log.f64 (/.f64 -1 x.im)))))) (.f64 1/2 (.f64 (tan.f64 (/.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 y.im (log.f64 (/.f64 -1 x.im)))) 2)) (/.f64 (.f64 y.im (.f64 x.re x.re)) (*.f64 x.im x.im)))))))
	45.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (-.f64 (log1p.f64 (cos.f64 (fma.f64 (log.f64 x.im) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (.f64 1/2 (/.f64 (.f64 (.f64 x.re x.re) (.f64 y.im (sin.f64 (fma.f64 (log.f64 x.im) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (.f64 (+.f64 1 (cos.f64 (fma.f64 (log.f64 x.im) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (*.f64 x.im x.im)))))))

Compiler

Compiled 17919 to 7207 computations (59.8% saved)

regimes764.0ms (3.1%)

Accuracy

Total 1.0b remaining (25.7%)

Threshold costs 0b (0%)

Counts

116 → 1

Compiler

Compiled 22982 to 12695 computations (44.8% 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	15	31
1	24	31
2	34	31
3	40	31
4	44	31
5	45	31
6	45	31

end193.0ms (0.8%)

Compiler: Compiled 429 to 213 computations (50.3% saved)

Details

analyze2.9s (11.6%)

sample16.3s (66%)

simplify71.0ms (0.3%)

prune5.0ms (0%)

localize16.0ms (0.1%)

series696.0ms (2.8%)

rewrite18.0ms (0.1%)

simplify228.0ms (0.9%)

prune532.0ms (2.2%)

localize16.0ms (0.1%)

series684.0ms (2.8%)

rewrite4.0ms (0%)

simplify59.0ms (0.2%)

prune341.0ms (1.4%)

localize14.0ms (0.1%)

series16.0ms (0.1%)

rewrite2.0ms (0%)

simplify75.0ms (0.3%)

prune230.0ms (0.9%)

localize21.0ms (0.1%)

series981.0ms (4%)

rewrite1.0ms (0%)

simplify120.0ms (0.5%)

prune445.0ms (1.8%)

regimes764.0ms (3.1%)

simplify3.0ms (0%)

end193.0ms (0.8%)

Profiling