Details

analyze2.3s (17.7%)

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)

sample162.0ms (1.2%)

Algorithm

1×

intervals

Results

68.0ms	244×	body	128	valid
44.0ms	64×	body	1024	invalid
14.0ms	33×	body	512	invalid
4.0ms	15×	body	256	invalid
3.0ms	5×	body	1024	valid
3.0ms	18×	body	128	invalid
2.0ms	3×	body	256	valid
2.0ms	2×	body	2048	invalid
2.0ms	4×	body	512	valid

Compiler

Compiled 87 to 43 computations (50.6% saved)

simplify75.0ms (0.6%)

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	22	52
1	41	50
2	72	50
3	120	50
4	265	50
5	998	50
6	3045	50
7	4087	50
8	4543	50
9	4868	50
10	4934	50

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.2b

Counts

3 → 2

Alt Table

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

▶

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

34.7b

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

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

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

series535.0ms (4.1%)

Counts

4 → 96

Calls

4 calls:

279.0ms	(fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))
213.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
22.0ms	(*.f64 y.re (atan2.f64 x.im x.re))
21.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)

simplify214.0ms (1.6%)

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	431	7154
1	1299	6555
2	4128	6535
3	4946	6535
4	4890	6535

prune246.0ms (1.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	257	8	265
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	258	9	267

Error

6.7b

Counts

267 → 9

Alt Table

Status	Error	Program
	24.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 (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)))))))
	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)))))
▶	9.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 (atan2.f64 x.im x.re) y.re))))
	24.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 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sqrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	9.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	9.8b	(.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.8b	(.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))))
	9.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 (.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)))))))
	34.7b	(.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 9135 to 3282 computations (64.1% 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 (atan2.f64 x.im x.re) y.re))
	1.6b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	1.9b	(*.f64 (atan2.f64 x.im x.re) y.re)
✓	34.5b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) y.re)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 40

Calls

3 calls:

3.0ms

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

1.0ms

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

0.0ms

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

series447.0ms (3.4%)

Counts

3 → 132

Calls

3 calls:

286.0ms

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

137.0ms

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

23.0ms

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

simplify183.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

532×	`cancel-sign-sub-inv_binary64`
395×	`associate-r_binary64`
301×	`sub-neg_binary64`
280×	`fma-def_binary64`
252×	`associate-l_binary64`

Counts

172 → 291

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	411	7452
1	1252	6883
2	4030	6871
3	5053	6871

prune349.0ms (2.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	341	0	341
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	341	9	350

Error

6.7b

Counts

350 → 9

Alt Table

Status	Error	Program
	24.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 (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)))))))
	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)))))
✓	9.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 (atan2.f64 x.im x.re) y.re))))
	24.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 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))) (sqrt.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
▶	9.4b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	9.8b	(.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.8b	(.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))))
	9.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 (.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)))))))
	34.7b	(.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 9349 to 3313 computations (64.6% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(log.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))
	1.6b	(*.f64 (atan2.f64 x.im x.re) y.im)
	1.9b	(*.f64 y.re (atan2.f64 x.im x.re))
	34.5b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`log-pow_binary64`
3×	`log-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`exp-prod_binary64`

Counts

1 → 18

Calls

1 calls:

5.0ms

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

series1.9s (14.7%)

Counts

1 → 32

Calls

1 calls:

1.9s	(log.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))

simplify128.0ms (1%)

Algorithm

1×	egg-herbie

Rules

764×	`fma-def_binary64`
464×	`cancel-sign-sub-inv_binary64`
384×	`associate-r_binary64`
260×	`sub-neg_binary64`
245×	`*-commutative_binary64`

Counts

50 → 97

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	386	4958
1	1101	4568
2	3618	4549
3	5234	4549

prune379.0ms (2.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	299	3	302
Fresh	2	5	7
Picked	1	0	1
Done	1	0	1
Total	303	8	311

Error

6.7b

Counts

311 → 8

Alt Table

Status	Error	Program
	24.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 (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)))))))
	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)))))
▶	9.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 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))))) (log.f64 (sqrt.f64 (exp.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.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 2 (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))))))))
	9.8b	(.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))))
	9.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 (.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)))))))
	34.7b	(.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))))
	37.8b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log.f64 (exp.f64 (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))))

Compiler

Compiled 13279 to 4882 computations (63.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.9b	(*.f64 y.re (atan2.f64 x.im x.re))
	1.9b	(*.f64 y.re (atan2.f64 x.im x.re))
	34.5b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
	34.5b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify15.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune364.0ms (2.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	628	2	630
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	629	9	638

Error

6.7b

Counts

638 → 9

Alt Table

Status	Error	Program
	24.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 (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)))))))
	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.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 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 x.im) y.im (.f64 y.re (atan2.f64 x.im x.re)))))))))
✓	9.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 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))))) (log.f64 (sqrt.f64 (exp.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.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 2 (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))))))))
	9.8b	(.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))))
	9.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 (.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)))))))
	34.7b	(.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))))
	37.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im))))))))

Compiler

Compiled 14943 to 4738 computations (68.3% saved)

regimes239.0ms (1.8%)

Accuracy

Total 0.5b remaining (7.6%)

Threshold costs 0.5b (7.6%)

Compiler

Compiled 6492 to 3355 computations (48.3% saved)

bsearch3.0ms (0%)

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

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`*-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	34	203
1	47	203
2	56	203
3	62	203
4	66	203
5	67	203
6	67	203

end1.0ms (0%)

Compiler: Compiled 106 to 30 computations (71.7% saved)

sample5.3s (41%)

Algorithm

1×

intervals

Results

1.8s	7567×	body	128	valid
1.7s	2378×	body	1024	invalid
447.0ms	987×	body	512	invalid
171.0ms	191×	body	1024	valid
158.0ms	447×	body	256	invalid
82.0ms	541×	body	128	invalid
66.0ms	140×	body	512	valid
59.0ms	49×	body	2048	invalid
25.0ms	89×	body	256	valid
15.0ms	13×	body	2048	valid

Compiler

Compiled 523 to 230 computations (56% saved)

Details

analyze2.3s (17.7%)

sample162.0ms (1.2%)

simplify75.0ms (0.6%)

prune5.0ms (0%)

localize16.0ms (0.1%)

rewrite9.0ms (0.1%)

series535.0ms (4.1%)

simplify214.0ms (1.6%)

prune246.0ms (1.9%)

localize17.0ms (0.1%)

rewrite9.0ms (0.1%)

series447.0ms (3.4%)

simplify183.0ms (1.4%)

prune349.0ms (2.7%)

localize20.0ms (0.1%)

rewrite7.0ms (0.1%)

series1.9s (14.7%)

simplify128.0ms (1%)

prune379.0ms (2.9%)

localize23.0ms (0.2%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify15.0ms (0.1%)

prune364.0ms (2.8%)

regimes239.0ms (1.8%)

bsearch3.0ms (0%)

simplify12.0ms (0.1%)

end1.0ms (0%)

sample5.3s (41%)

Profiling