Details

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

Results

2.7s	2461×	body	1024	invalid
2.1s	7824×	body	128	valid
769.0ms	961×	body	512	invalid
309.0ms	189×	body	2048	invalid
223.0ms	186×	body	1024	valid
165.0ms	348×	body	256	invalid
115.0ms	472×	body	128	invalid
97.0ms	140×	body	512	valid
42.0ms	91×	body	256	valid
25.0ms	15×	body	2048	valid

Compiler

Compiled 125 to 59 computations (52.8% saved)

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

5.5b

Counts

3 → 2

Alt Table

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

▶

8.0b

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

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

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

series626.0ms (4.5%)

Counts

4 → 96

Calls

4 calls:

504.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
107.0ms	(sin.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)

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

simplify203.0ms (1.5%)

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

prune491.0ms (3.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	260	13	273
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	262	13	275

Error

2.8b

Counts

275 → 13

Alt Table

Status	Error	Program
	8.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 (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)))))))
	8.0b	(.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)))) (sin.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))) (cbrt.f64 (.f64 (.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	35.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 y.re (sqrt.f64 (atan2.f64 x.im x.re))) (sqrt.f64 (atan2.f64 x.im x.re))))))
	9.0b	(.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)))))
	8.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 (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))))))
	23.6b	(.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))))
	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))) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	25.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 (cbrt.f64 (*.f64 (pow.f64 y.re 3) (pow.f64 (atan2.f64 x.im x.re) 3))))))
	41.0b	(.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)))))
	36.8b	(.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)))))))
▶	3.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))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	8.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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 (.f64 y.re (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (atan2.f64 x.im x.re))))))

Compiler

Compiled 15955 to 5078 computations (68.2% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
	0.7b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.1b	(*.f64 (atan2.f64 x.im x.re) y.im)
	31.2b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series690.0ms (4.9%)

Counts

1 → 36

Calls

1 calls:

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

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

prune389.0ms (2.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	198	5	203
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	204	12	216

Error

2.6b

Counts

216 → 12

Alt Table

Status	Error	Program
	8.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 (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)))))))
	18.8b	(.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))))
	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))) (cbrt.f64 (.f64 (.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (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 (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 (*.f64 y.re (sqrt.f64 (atan2.f64 x.im x.re))) (sqrt.f64 (atan2.f64 x.im x.re))))))
	9.0b	(.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)))))
	8.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 (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))))))
	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))) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
▶	3.5b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))) (cbrt.f64 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)))))
	39.0b	(.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 x.im) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	36.8b	(.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)))))))
	24.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))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (cbrt.f64 (.f64 (pow.f64 y.re 3) (pow.f64 (atan2.f64 x.im x.re) 3))))))
	8.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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 (.f64 y.re (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (atan2.f64 x.im x.re))))))

Compiler

Compiled 10762 to 3536 computations (67.1% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 y.im)
	0.7b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	1.9b	(.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im)))
	31.2b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series685.0ms (4.9%)

Counts

2 → 48

Calls

2 calls:

653.0ms	(.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im)))
32.0ms	(cbrt.f64 y.im)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-exp-log_binary64`
7×	`pow1_binary64`
5×	`add-sqr-sqrt_binary64`
5×	`add-cbrt-cube_binary64`
4×	`*-un-lft-identity_binary64`

Counts

2 → 34

Calls

2 calls:

6.0ms	(.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im)))
1.0ms	(cbrt.f64 y.im)

simplify57.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

528×	`*-commutative_binary64`
496×	`associate-+l+_binary64`
486×	`unswap-sqr_binary64`
438×	`associate-l_binary64`
389×	`associate-r_binary64`

Counts

82 → 53

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	63	984
1	122	865
2	331	787
3	1153	787
4	2135	783
5	5155	783

prune347.0ms (2.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	186	1	187
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	187	12	199

Error

2.5b

Counts

199 → 12

Alt Table

Status	Error	Program
▶	5.5b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (log1p.f64 (expm1.f64 (.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))))) (cbrt.f64 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)))))
	9.0b	(.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)))))
	8.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 (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)))))))
	18.8b	(.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))))
	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))) (cbrt.f64 (.f64 (.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (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 (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 (*.f64 y.re (sqrt.f64 (atan2.f64 x.im x.re))) (sqrt.f64 (atan2.f64 x.im x.re))))))
	8.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 (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))))))
	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))) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	39.0b	(.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 x.im) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	36.8b	(.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)))))))
	24.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))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (cbrt.f64 (.f64 (pow.f64 y.re 3) (pow.f64 (atan2.f64 x.im x.re) 3))))))
	8.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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 (.f64 y.re (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (atan2.f64 x.im x.re))))))

Compiler

Compiled 11015 to 3175 computations (71.2% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 y.im)
	0.7b	(*.f64 y.re (atan2.f64 x.im x.re))
	1.9b	(.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im)))
	31.2b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

prune347.0ms (2.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	185	2	187
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	187	12	199

Error

2.5b

Counts

199 → 12

Alt Table

Status	Error	Program
	6.0b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (log1p.f64 (expm1.f64 (.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))))) (cbrt.f64 y.im)))) (.f64 (.f64 (cbrt.f64 (sin.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (sin.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (sin.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re)))))))
	18.8b	(.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))))
	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))) (cbrt.f64 (.f64 (.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (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 (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 (*.f64 y.re (sqrt.f64 (atan2.f64 x.im x.re))) (sqrt.f64 (atan2.f64 x.im x.re))))))
	9.0b	(.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)))))
	8.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 (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))))))
	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))) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	34.7b	(.f64 (exp.f64 (-.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (.f64 (log1p.f64 (expm1.f64 (.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))))) (pow.f64 y.im 1/3)))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	39.0b	(.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 x.im) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	36.8b	(.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)))))))
	24.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))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (cbrt.f64 (.f64 (pow.f64 y.re 3) (pow.f64 (atan2.f64 x.im x.re) 3))))))
	8.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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 (.f64 y.re (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (atan2.f64 x.im x.re))))))

Compiler

Compiled 10938 to 3110 computations (71.6% saved)

regimes825.0ms (5.9%)

Accuracy

Total 0.4b remaining (10.4%)

Threshold costs 0.4b (10.4%)

Counts

131 → 1

Compiler

Compiled 23167 to 12025 computations (48.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
6×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`distribute-rgt-neg-in_binary64`
5×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	52
1	29	52
2	45	52
3	57	52
4	65	52
5	68	52
6	68	52

end261.0ms (1.9%)

Compiler: Compiled 547 to 257 computations (53% saved)

Details

analyze2.3s (16.2%)

sample6.5s (46.9%)

simplify65.0ms (0.5%)

prune5.0ms (0%)

localize19.0ms (0.1%)

series626.0ms (4.5%)

rewrite17.0ms (0.1%)

simplify203.0ms (1.5%)

prune491.0ms (3.5%)

localize18.0ms (0.1%)

series690.0ms (4.9%)

rewrite4.0ms (0%)

simplify53.0ms (0.4%)

prune389.0ms (2.8%)

localize20.0ms (0.1%)

series685.0ms (4.9%)

rewrite8.0ms (0.1%)

simplify57.0ms (0.4%)

prune347.0ms (2.5%)

localize25.0ms (0.2%)

prune347.0ms (2.5%)

regimes825.0ms (5.9%)

simplify4.0ms (0%)

end261.0ms (1.9%)

Profiling