Details

analyze3.6s (25.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)

sample236.0ms (1.7%)

Algorithm

1×

intervals

Results

89.0ms	67×	body	1024	invalid
66.0ms	242×	body	128	valid
28.0ms	33×	body	512	invalid
5.0ms	4×	body	1024	valid
5.0ms	9×	body	256	invalid
4.0ms	17×	body	128	invalid
4.0ms	5×	body	512	valid
3.0ms	5×	body	256	valid
2.0ms	1×	body	2048	invalid

Compiler

Compiled 87 to 43 computations (50.6% saved)

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

prune10.0ms (0.1%)

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

Counts

3 → 2

Alt Table

Status	Error	Program
	33.2b	(.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))))
▶	7.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 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))

Status

Error

Program

33.2b

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

▶

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

Compiler

Compiled 206 to 96 computations (53.4% saved)

localize34.0ms (0.2%)

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

rewrite34.0ms (0.2%)

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:

8.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
7.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)
5.0ms	(*.f64 y.re (atan2.f64 x.im x.re))
2.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series1.3s (9.6%)

Counts

4 → 96

Calls

4 calls:

1.0s	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
227.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
41.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)
36.0ms	(*.f64 y.re (atan2.f64 x.im x.re))

simplify355.0ms (2.5%)

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	706	11415
1	2207	10582
2	4492	10522
3	4966	10522
4	4877	10522

prune460.0ms (3.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	336	8	344
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	338	8	346

Error

3.1b

Counts

346 → 8

Alt Table

Status	Error	Program
▶	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))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	35.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 (fma.f64 (log.f64 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))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	7.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.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	7.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 (.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)))))))
	8.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))))
	20.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 (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)))))))
	7.0b	(.f64 (/.f64 (/.f64 (pow.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))))) (cbrt.f64 (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)))))

Compiler

Compiled 15170 to 5013 computations (67% saved)

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

series607.0ms (4.3%)

Counts

1 → 36

Calls

1 calls:

607.0ms

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

simplify75.0ms (0.5%)

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	121	1576
1	337	1366
2	830	1366
3	2820	1330
4	5393	1330

prune302.0ms (2.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	264	1	265
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	266	7	273

Error

3.1b

Counts

273 → 7

Alt Table

Status	Error	Program
▶	4.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))) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	20.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 (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)))))))
	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))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	7.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.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	35.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 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	7.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 (.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)))))))
	7.0b	(.f64 (/.f64 (/.f64 (pow.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))))) (cbrt.f64 (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)))))

Compiler

Compiled 9927 to 3402 computations (65.7% saved)

localize15.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.5b	(*.f64 y.re (atan2.f64 x.im x.re))
	1.2b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	14.7b	(cos.f64 (*.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 → 9

Calls

1 calls:

1.0ms

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

series42.0ms (0.3%)

Counts

1 → 4

Calls

1 calls:

42.0ms

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

simplify87.0ms (0.6%)

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	42	296
1	93	267
2	237	263
3	947	261
4	2502	255
5	3877	252
6	4776	243
7	4999	243

prune201.0ms (1.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	280	0	280
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	280	7	287

Error

3.1b

Counts

287 → 7

Alt Table

Status	Error	Program
✓	4.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))) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	20.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 (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)))))))
	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))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
▶	7.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.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	35.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 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	7.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 (.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)))))))
	7.0b	(.f64 (/.f64 (/.f64 (pow.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))))) (cbrt.f64 (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)))))

Compiler

Compiled 4684 to 1563 computations (66.6% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

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

series564.0ms (4%)

Counts

2 → 64

Calls

2 calls:

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

simplify338.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

899×	`fma-def_binary64`
621×	`times-frac_binary64`
345×	`*-commutative_binary64`
166×	`associate-r_binary64`
160×	`cancel-sign-sub-inv_binary64`

Counts

99 → 188

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	774	13150
1	2541	12248
2	4560	12232
3	4927	12232
4	4846	12232

prune392.0ms (2.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	492	4	496
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	495	8	503

Error

3.1b

Counts

503 → 8

Alt Table

Status	Error	Program
	7.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 (log.f64 (exp.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)))))
	7.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 (.f64 (.f64 (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.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.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 (fma.f64 (log.f64 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))) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))) 3)))
	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))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	7.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 (log.f64 (hypot.f64 x.im x.re)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3)) 3)))
✓	4.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))) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	7.0b	(.f64 (/.f64 (/.f64 (pow.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))))) (cbrt.f64 (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)))))

Compiler

Compiled 17369 to 7205 computations (58.5% saved)

regimes678.0ms (4.8%)

Accuracy

Total 0.4b remaining (13%)

Threshold costs 0.4b (13%)

Compiler

Compiled 18572 to 10180 computations (45.2% saved)

simplify5.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	18	52
1	27	52
2	37	52
3	43	52
4	47	52
5	48	52
6	48	52

end1.0ms (0%)

Compiler: Compiled 30 to 15 computations (50% saved)

sample4.5s (32.1%)

Algorithm

1×

intervals

Results

1.7s	2457×	body	1024	invalid
1.1s	7600×	body	128	valid
437.0ms	952×	body	512	invalid
131.0ms	422×	body	256	invalid
120.0ms	177×	body	1024	valid
81.0ms	512×	body	128	invalid
63.0ms	41×	body	2048	invalid
55.0ms	128×	body	512	valid
27.0ms	75×	body	256	valid
23.0ms	20×	body	2048	valid

Compiler

Compiled 366 to 190 computations (48.1% saved)

Details

analyze3.6s (25.5%)

sample236.0ms (1.7%)

simplify87.0ms (0.6%)

prune10.0ms (0.1%)

localize34.0ms (0.2%)

rewrite34.0ms (0.2%)

series1.3s (9.6%)

simplify355.0ms (2.5%)

prune460.0ms (3.3%)

localize18.0ms (0.1%)

rewrite4.0ms (0%)

series607.0ms (4.3%)

simplify75.0ms (0.5%)

prune302.0ms (2.2%)

localize15.0ms (0.1%)

rewrite1.0ms (0%)

series42.0ms (0.3%)

simplify87.0ms (0.6%)

prune201.0ms (1.4%)

localize22.0ms (0.2%)

rewrite5.0ms (0%)

series564.0ms (4%)

simplify338.0ms (2.4%)

prune392.0ms (2.8%)

regimes678.0ms (4.8%)

simplify5.0ms (0%)

end1.0ms (0%)

sample4.5s (32.1%)

Profiling