Details

analyze2.4s (15.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.9%	0.2%	13
50%	49.7%	0.2%	14

Compiler

Compiled 42 to 20 computations (52.4% saved)

sample6.5s (41.9%)

Results

2.8s	2649×	body	1024	invalid
2.1s	7837×	body	128	valid
606.0ms	916×	body	512	invalid
263.0ms	185×	body	2048	invalid
149.0ms	160×	body	1024	valid
148.0ms	329×	body	256	invalid
121.0ms	20×	body	2048	valid
115.0ms	470×	body	128	invalid
104.0ms	156×	body	512	valid
36.0ms	83×	body	256	valid

Compiler

Compiled 125 to 59 computations (52.8% saved)

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

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

6.7b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	10.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	33.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))) (sin.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.7b

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

33.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))) (sin.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)))
✓	1.3b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	2.4b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	33.8b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series673.0ms (4.3%)

Counts

4 → 96

Calls

4 calls:

547.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
111.0ms	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
8.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)))
4.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)
3.0ms	(*.f64 y.re (atan2.f64 x.im x.re))
1.0ms	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

simplify212.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

731×	`times-frac_binary64`
680×	`associate-/l*_binary64`
644×	`fma-def_binary64`
277×	`*-commutative_binary64`
143×	`cancel-sign-sub-inv_binary64`

Counts

193 → 273

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	699	9245
1	2181	8424
2	4520	8364
3	4956	8364
4	4880	8364

prune417.0ms (2.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	261	12	273
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	263	12	275

Error

3.2b

Counts

275 → 12

Alt Table

Status	Error	Program
	11.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 (.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	11.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (fma.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))
	10.7b	(.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))))) (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	10.7b	(.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 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	43.2b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	39.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
▶	3.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))) (sin.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))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 (.f64 (cbrt.f64 y.re) (cbrt.f64 y.re)) (*.f64 (cbrt.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))) (.f64 (sqrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sqrt.f64 (sin.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))) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	24.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	15.9b	(.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 15831 to 5034 computations (68.2% 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.3b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.4b	(*.f64 (atan2.f64 x.im x.re) y.im)
	33.8b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series727.0ms (4.7%)

Counts

1 → 36

Calls

1 calls:

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

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	204	11	215

Error

3.2b

Counts

215 → 11

Alt Table

Status	Error	Program
	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))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 (.f64 (cbrt.f64 y.re) (cbrt.f64 y.re)) (*.f64 (cbrt.f64 y.re) (atan2.f64 x.im x.re))))))
	17.6b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	11.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 (.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	11.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (fma.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))
	10.7b	(.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))))) (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
▶	10.7b	(.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 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	43.2b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	39.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (fma.f64 (log.f64 x.im) y.im (*.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))) (.f64 (sqrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sqrt.f64 (sin.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))) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	15.9b	(.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 10630 to 3490 computations (67.2% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(log1p.f64 (expm1.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))
	1.3b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.4b	(*.f64 (atan2.f64 x.im x.re) y.im)
	33.8b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series109.0ms (0.7%)

Counts

1 → 48

Calls

1 calls:

108.0ms

(log1p.f64 (expm1.f64 (sin.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

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

Calls

1 calls:

0.0ms

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

simplify83.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

606×	`fma-def_binary64`
529×	`cancel-sign-sub-inv_binary64`
356×	`associate-r_binary64`
226×	`times-frac_binary64`
224×	`*-commutative_binary64`

Counts

59 → 74

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	313	3791
1	969	3472
2	3259	3468
3	4896	3468

prune350.0ms (2.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	204	10	214

Error

3.2b

Counts

214 → 10

Alt Table

Status	Error	Program
	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))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 (.f64 (cbrt.f64 y.re) (cbrt.f64 y.re)) (*.f64 (cbrt.f64 y.re) (atan2.f64 x.im x.re))))))
	17.6b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	11.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (fma.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))
	11.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 (.f64 (cbrt.f64 (log1p.f64 (expm1.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))))) (cbrt.f64 (log1p.f64 (expm1.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))))) (cbrt.f64 (log1p.f64 (expm1.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
▶	10.7b	(.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))))) (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	43.2b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	39.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (fma.f64 (log.f64 x.im) y.im (*.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))) (.f64 (sqrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sqrt.f64 (sin.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))) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	15.9b	(.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 12882 to 4573 computations (64.5% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (cbrt.f64 (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))))
	1.3b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.4b	(*.f64 (atan2.f64 x.im x.re) y.im)
	33.8b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series1.2s (8%)

Counts

1 → 32

Calls

1 calls:

1.2s	(/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (cbrt.f64 (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`times-frac_binary64`
44×	`*-un-lft-identity_binary64`
44×	`add-sqr-sqrt_binary64`
44×	`add-cube-cbrt_binary64`
42×	`unpow-prod-down_binary64`

Counts

1 → 92

Calls

1 calls:

6.0ms

(/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (cbrt.f64 (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))))

simplify189.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

833×	`fma-def_binary64`
323×	`unswap-sqr_binary64`
309×	`cancel-sign-sub-inv_binary64`
280×	`fma-neg_binary64`
239×	`associate-r_binary64`

Counts

124 → 174

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	294	5747
1	701	5538
2	2577	5377
3	4699	5375
4	4976	5375
5	4963	5375

prune655.0ms (4.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	363	2	365
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	365	10	375

Error

3.2b

Counts

375 → 10

Alt Table

Status	Error	Program
	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))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 (.f64 (cbrt.f64 y.re) (cbrt.f64 y.re)) (*.f64 (cbrt.f64 y.re) (atan2.f64 x.im x.re))))))
	10.7b	(.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))))) (/.f64 (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im)))) (cbrt.f64 (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im)))))) (cbrt.f64 (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im)))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	17.6b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	11.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (fma.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))
	11.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 (.f64 (cbrt.f64 (log1p.f64 (expm1.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))))) (cbrt.f64 (log1p.f64 (expm1.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))))) (cbrt.f64 (log1p.f64 (expm1.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
	39.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (fma.f64 (log.f64 x.im) y.im (*.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))) (.f64 (sqrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sqrt.f64 (sin.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))) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	43.2b	(.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))))) (/.f64 (pow.f64 (sqrt.f64 (hypot.f64 x.re x.im)) y.re) (cbrt.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))))) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 y.im (log.f64 (/.f64 -1 x.im))))))
	15.9b	(.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 26364 to 4569 computations (82.7% saved)

regimes1.2s (7.6%)

Accuracy

Total 0.4b remaining (11.8%)

Threshold costs 0.4b (11.8%)

Counts

168 → 1

Compiler

Compiled 43747 to 18465 computations (57.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	16	40
1	25	40
2	35	40
3	41	40
4	45	40
5	46	40
6	46	40

end217.0ms (1.4%)

Compiler: Compiled 473 to 210 computations (55.6% saved)

Details

analyze2.4s (15.2%)

sample6.5s (41.9%)

simplify71.0ms (0.5%)

prune6.0ms (0%)

localize18.0ms (0.1%)

series673.0ms (4.3%)

rewrite17.0ms (0.1%)

simplify212.0ms (1.4%)

prune417.0ms (2.7%)

localize17.0ms (0.1%)

series727.0ms (4.7%)

rewrite4.0ms (0%)

simplify59.0ms (0.4%)

prune338.0ms (2.2%)

localize24.0ms (0.2%)

series109.0ms (0.7%)

rewrite1.0ms (0%)

simplify83.0ms (0.5%)

prune350.0ms (2.3%)

localize24.0ms (0.2%)

series1.2s (8%)

rewrite18.0ms (0.1%)

simplify189.0ms (1.2%)

prune655.0ms (4.2%)

regimes1.2s (7.6%)

simplify3.0ms (0%)

end217.0ms (1.4%)

Profiling