Details

analyze1.8s (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.8%	0.3%	13
50%	49.7%	0.4%	14

Compiler

Compiled 42 to 20 computations (52.4% saved)

sample5.5s (45.9%)

Results

2.3s	2460×	body	1024	invalid
1.8s	7800×	body	128	valid
615.0ms	1015×	body	512	invalid
196.0ms	460×	body	256	invalid
184.0ms	198×	body	1024	valid
125.0ms	556×	body	128	invalid
91.0ms	154×	body	512	valid
44.0ms	31×	body	2048	invalid
34.0ms	84×	body	256	valid
33.0ms	20×	body	2048	valid

Compiler

Compiled 125 to 59 computations (52.8% saved)

simplify25.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

892×	`unswap-sqr_binary64`
451×	`associate-/l*_binary64`
320×	`associate-/r*_binary64`
273×	`associate-*l/_binary64`
263×	`associate-*r/_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	40
1	39	38
2	76	38
3	126	38
4	286	38
5	1096	38
6	4141	38

Stop Event

1×	node limit

Counts

1 → 2

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

6.8b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	10.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.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)))))
	29.0b	(.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

▶

10.7b

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

29.0b

(*.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 97 computations (52.9% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(exp.f64 (atan2.f64 x.im x.re))
✓	0.7b	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
✓	1.2b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	32.5b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series480.0ms (4%)

Counts

4 → 68

Calls

4 calls:

392.0ms	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
79.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
6.0ms	(*.f64 y.re (atan2.f64 x.im x.re))
4.0ms	(exp.f64 (atan2.f64 x.im x.re))

rewrite55.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

609×	`log-prod_binary64`
253×	`prod-diff_binary64`
232×	`expm1-udef_binary64`
232×	`log1p-udef_binary64`
230×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	40
1	256	40
2	3055	40

Stop Event

1×	node limit

Counts

4 → 87

Calls

4 calls:

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

simplify66.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

714×	`fma-def_binary64`
370×	`associate-r_binary64`
225×	`*-commutative_binary64`
218×	`associate-l_binary64`
218×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	315	3589
1	1022	3343
2	4475	3327

Stop Event

1×	node limit

Counts

155 → 150

prune295.0ms (2.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	137	13	150
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	138	14	152

Error

4.5b

Counts

152 → 14

Alt Table

Status	Error	Program
	10.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	29.0b	(.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))))
	10.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2)))
	10.8b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.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))))) 3))
	10.8b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (.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 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2))))
	10.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.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)))))))))
	11.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (.f64 (cbrt.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)))))) (cbrt.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 (cbrt.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)))))))))
	24.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
	17.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) 1) (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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	13.2b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.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)))))
	11.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.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)))))
	11.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.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) (pow.f64 (exp.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))))

Compiler

Compiled 8466 to 2860 computations (66.2% saved)

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

series377.0ms (3.1%)

Counts

2 → 64

Calls

2 calls:

370.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
6.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)

rewrite44.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

566×	`log-prod_binary64`
291×	`prod-diff_binary64`
211×	`log-pow_binary64`
206×	`expm1-udef_binary64`
206×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	224	25
2	2841	25

Stop Event

1×	node limit

Counts

2 → 56

Calls

2 calls:

43.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
43.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)

simplify48.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

485×	`times-frac_binary64`
415×	`associate-/l*_binary64`
360×	`associate-r_binary64`
271×	`associate-/r*_binary64`
214×	`associate-l_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	300	3784
1	1205	3556

Stop Event

1×	node limit

Counts

120 → 125

prune416.0ms (3.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	219	5	224
Fresh	7	6	13
Picked	1	0	1
Done	0	0	0
Total	227	11	238

Error

3.2b

Counts

238 → 11

Alt Table

Status	Error	Program
	37.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.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))))
	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 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 y.im (.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (.f64 y.re (atan2.f64 x.im x.re)))))))
	11.6b	(.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))) (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (pow.f64 (exp.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)))))
	17.0b	(.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	20.0b	(.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) (neg.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)))))
	24.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
	13.2b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.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)))))
	11.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.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)))))
	11.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	10.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 3)))
▶	9.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)))

Compiler

Compiled 13821 to 4863 computations (64.8% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)
	1.2b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.5b	(*.f64 (atan2.f64 x.im x.re) y.im)
	32.5b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series156.0ms (1.3%)

Counts

1 → 32

Calls

1 calls:

156.0ms

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

rewrite43.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

565×	`log-prod_binary64`
253×	`prod-diff_binary64`
224×	`expm1-udef_binary64`
224×	`log1p-udef_binary64`
210×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	21
1	256	21
2	2921	21

Stop Event

1×	node limit

Counts

1 → 23

Calls

1 calls:

43.0ms

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

simplify67.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

674×	`associate-r_binary64`
411×	`associate-l_binary64`
342×	`times-frac_binary64`
323×	`fma-def_binary64`
299×	`associate-/l*_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	444	5611
1	1499	5134

Stop Event

1×	node limit

Counts

55 → 83

prune472.0ms (3.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	200	3	203
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	201	13	214

Error

3.2b

Counts

214 → 13

Alt Table

Status	Error	Program
	11.6b	(.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))) (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (pow.f64 (exp.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)))))
	10.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2))) (cbrt.f64 (exp.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2)))))))
	37.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.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))))
▶	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 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 y.im (.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (.f64 y.re (atan2.f64 x.im x.re)))))))
	17.0b	(.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	20.0b	(.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) (neg.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 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (pow.f64 (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))) 2)))
	24.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
	38.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 x.im) y.im))) 2)))
	13.2b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.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)))))
	11.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.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)))))
	11.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	10.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 3)))

Compiler

Compiled 16685 to 6524 computations (60.9% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.5b	(.f64 y.im (.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))
	2.5b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	18.3b	(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))
✓	18.4b	(sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

series857.0ms (7.1%)

Counts

3 → 56

Calls

3 calls:

829.0ms	(.f64 y.im (.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))
14.0ms	(sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))
13.0ms	(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

rewrite50.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

654×	`log-prod_binary64`
276×	`prod-diff_binary64`
233×	`expm1-udef_binary64`
233×	`log1p-udef_binary64`
221×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	38
1	253	38
2	3036	38

Stop Event

1×	node limit

Counts

3 → 62

Calls

3 calls:

49.0ms	(.f64 y.im (.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))
49.0ms	(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))
49.0ms	(sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

simplify71.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

635×	`fma-def_binary64`
492×	`times-frac_binary64`
446×	`cancel-sign-sub-inv_binary64`
307×	`associate-/l*_binary64`
230×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	2580
1	540	2320
2	1919	2258

Stop Event

1×	node limit

Counts

118 → 126

prune298.0ms (2.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	147	13	160

Error

3.2b

Counts

160 → 13

Alt Table

Status	Error	Program
	11.6b	(.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))) (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (hypot.f64 x.im x.re) y.re) (pow.f64 (exp.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)))))
	10.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2))) (cbrt.f64 (exp.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2)))))))
	20.0b	(.f64 (exp.f64 (.f64 (atan2.f64 x.im x.re) (neg.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)))))
	8.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 (atan2.f64 x.im x.re) y.im) 2)))) (-.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 y.im (.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (.f64 y.re (atan2.f64 x.im x.re)))))))
	37.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.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))))
✓	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 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 y.im (.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (.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))) (sqrt.f64 (pow.f64 (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 (log.f64 (/.f64 -1 x.im)) y.im))) 2)))
	24.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
	38.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 x.im) y.im))) 2)))
	13.2b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.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)))))
	11.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.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)))))
	11.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))
	10.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 3)))

Compiler

Compiled 7410 to 1966 computations (73.5% saved)

regimes467.0ms (3.9%)

Accuracy

Total 2.0b remaining (39.1%)

Threshold costs 0b (0%)

Counts

56 → 2

Compiler

Compiled 9887 to 5270 computations (46.7% saved)

bsearch4.0ms (0%)

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

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`*-commutative_binary64`
11×	`+-commutative_binary64`
9×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	177
1	60	177
2	81	177
3	97	177
4	107	177
5	112	177
6	114	177

Stop Event

1×

saturated

end300.0ms (2.5%)

Compiler: Compiled 766 to 338 computations (55.9% saved)

Details

analyze1.8s (15.2%)

sample5.5s (45.9%)

simplify25.0ms (0.2%)

prune5.0ms (0%)

localize16.0ms (0.1%)

series480.0ms (4%)

rewrite55.0ms (0.5%)

simplify66.0ms (0.5%)

prune295.0ms (2.5%)

localize16.0ms (0.1%)

series377.0ms (3.1%)

rewrite44.0ms (0.4%)

simplify48.0ms (0.4%)

prune416.0ms (3.5%)

localize19.0ms (0.2%)

series156.0ms (1.3%)

rewrite43.0ms (0.4%)

simplify67.0ms (0.6%)

prune472.0ms (3.9%)

localize20.0ms (0.2%)

series857.0ms (7.1%)

rewrite50.0ms (0.4%)

simplify71.0ms (0.6%)

prune298.0ms (2.5%)

regimes467.0ms (3.9%)

bsearch4.0ms (0%)

simplify6.0ms (0.1%)

end300.0ms (2.5%)

Profiling