Details

analyze2.1s (15.5%)

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)

sample5.8s (42.8%)

Results

2.3s	2373×	body	1024	invalid
1.9s	7813×	body	128	valid
698.0ms	1021×	body	512	invalid
197.0ms	530×	body	128	invalid
184.0ms	160×	body	512	valid
177.0ms	433×	body	256	invalid
168.0ms	173×	body	1024	valid
39.0ms	95×	body	256	valid
31.0ms	23×	body	2048	invalid
25.0ms	15×	body	2048	valid

Compiler

Compiled 125 to 59 computations (52.8% saved)

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

9.5b

Counts

3 → 2

Alt Table

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

▶

11.7b

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

36.1b

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

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))
✓	1.4b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	1.7b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	34.8b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series452.0ms (3.3%)

Counts

4 → 96

Calls

4 calls:

336.0ms	(fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))
100.0ms	(cos.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 y.re (atan2.f64 x.im x.re))
7.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 60

Calls

4 calls:

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

simplify141.0ms (1%)

Algorithm

1×	egg-herbie

Rules

949×	`fma-def_binary64`
432×	`associate-r_binary64`
294×	`associate-l_binary64`
265×	`*-commutative_binary64`
239×	`times-frac_binary64`

Counts

156 → 186

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	429	5759
1	1297	5196
2	4126	5176
3	4944	5176
4	4888	5176

prune229.0ms (1.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	178	8	186
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	179	9	188

Error

8.6b

Counts

188 → 9

Alt Table

Status	Error	Program
	11.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 (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)))
	27.3b	(.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 (expm1.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	12.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 y.re (atan2.f64 x.im x.re))))
	37.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 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	39.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)))))
	11.7b	(.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 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.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 (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))))
▶	11.7b	(.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)))))
	11.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 (.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 9554 to 3208 computations (66.4% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 y.im)
	1.4b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	1.6b	(.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im)))
	34.8b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series623.0ms (4.6%)

Counts

2 → 48

Calls

2 calls:

593.0ms	(.f64 (atan2.f64 x.im x.re) (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im)))
29.0ms	(cbrt.f64 y.im)

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

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

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

prune334.0ms (2.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	183	9	192

Error

8.4b

Counts

192 → 9

Alt Table

Status	Error	Program
	30.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) (pow.f64 y.im 2/3))) (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 (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))))
	39.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)))) (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	11.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 (.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)))))))
▶	11.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 (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)))
	27.3b	(.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 (expm1.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	12.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 y.re (atan2.f64 x.im x.re))))
	37.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 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	11.7b	(.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 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))

Compiler

Compiled 10183 to 2980 computations (70.7% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(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.4b	(*.f64 y.re (atan2.f64 x.im x.re))
	1.7b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	34.8b	(cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))

series540.0ms (3.9%)

Counts

2 → 64

Calls

2 calls:

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

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

simplify222.0ms (1.6%)

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

prune437.0ms (3.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	215	3	218
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	217	10	227

Error

8.4b

Counts

227 → 10

Alt Table

Status	Error	Program
	30.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) (pow.f64 y.im 2/3))) (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 (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))))
	39.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.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 x.im)))) 3)))
	39.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)))) (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	11.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 (.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)))))))
	12.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 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))
	27.3b	(.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 (expm1.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
▶	11.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 (pow.f64 (cbrt.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)) 3)))
	37.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 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	11.7b	(.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 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))

Compiler

Compiled 18204 to 7257 computations (60.1% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(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)
	1.4b	(*.f64 y.re (atan2.f64 x.im x.re))
	1.7b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	34.8b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.im x.re)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series630.0ms (4.6%)

Counts

2 → 64

Calls

2 calls:

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

rewrite4.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 (log.f64 (hypot.f64 x.im x.re)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3)
1.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.im x.re)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

simplify230.0ms (1.7%)

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

prune534.0ms (3.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	217	1	218
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	218	10	228

Error

8.4b

Counts

228 → 10

Alt Table

Status	Error	Program
	30.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) (pow.f64 y.im 2/3))) (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 (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))))
	39.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)))) (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	11.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 (.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)))))))
	12.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 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))
	27.3b	(.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 (expm1.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
✓	11.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 (pow.f64 (cbrt.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)) 3)))
	37.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 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	11.7b	(.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 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.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 (/.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 (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 x.im)))) 3)) 3)))

Compiler

Compiled 18484 to 7727 computations (58.2% saved)

regimes859.0ms (6.3%)

Accuracy

Total 0.6b remaining (9.3%)

Threshold costs 0.6b (9.3%)

Counts

127 → 2

Compiler

Compiled 22942 to 12750 computations (44.4% saved)

bsearch7.0ms (0.1%)

Compiler: Compiled 41 to 19 computations (53.7% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
6×	`+-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	36	201
1	49	201
2	58	201
3	64	201
4	68	201
5	69	201
6	69	201

end221.0ms (1.6%)

Compiler: Compiled 646 to 254 computations (60.7% saved)

Details

analyze2.1s (15.5%)

sample5.8s (42.8%)

simplify70.0ms (0.5%)

prune5.0ms (0%)

localize17.0ms (0.1%)

series452.0ms (3.3%)

rewrite11.0ms (0.1%)

simplify141.0ms (1%)

prune229.0ms (1.7%)

localize20.0ms (0.1%)

series623.0ms (4.6%)

rewrite7.0ms (0.1%)

simplify59.0ms (0.4%)

prune334.0ms (2.4%)

localize20.0ms (0.1%)

series540.0ms (3.9%)

rewrite4.0ms (0%)

simplify222.0ms (1.6%)

prune437.0ms (3.2%)

localize22.0ms (0.2%)

series630.0ms (4.6%)

rewrite4.0ms (0%)

simplify230.0ms (1.7%)

prune534.0ms (3.9%)

regimes859.0ms (6.3%)

bsearch7.0ms (0.1%)

simplify7.0ms (0%)

end221.0ms (1.6%)

Profiling