Details

analyze1.8s (15.3%)

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)

sample5.7s (48.9%)

Results

2.4s	2545×	body	1024	invalid
1.8s	7846×	body	128	valid
667.0ms	979×	body	512	invalid
307.0ms	196×	body	2048	invalid
160.0ms	179×	body	1024	valid
155.0ms	360×	body	256	invalid
120.0ms	532×	body	128	invalid
93.0ms	155×	body	512	valid
36.0ms	63×	body	256	valid
21.0ms	13×	body	2048	valid

Compiler

Compiled 84 to 40 computations (52.4% saved)

preprocess36.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

392×	`times-frac_binary64`
391×	`associate-/l*_binary64`
329×	`associate-/r*_binary64`
280×	`unswap-sqr_binary64`
224×	`associate-*l/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	92	280
1	223	266
2	443	266
3	736	266
4	1769	266
0	4	4

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 41 to 19 computations (53.7% saved)

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

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

6.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	8.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)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	29.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.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)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))

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

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
✓	0.5b	(exp.f64 (atan2.f64 x.im x.re))
✓	0.9b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	31.8b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series498.0ms (4.2%)

Counts

4 → 68

Calls

36 calls:

78.0ms	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)	x.im	inf
67.0ms	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)	x.re	inf
67.0ms	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)	x.re	-inf
66.0ms	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)	x.im	-inf
63.0ms	(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)	x.im	0

rewrite53.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

609×	`log-prod_binary64`
252×	`prod-diff_binary64`
232×	`expm1-udef_binary64`
232×	`log1p-udef_binary64`
219×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	40
1	254	40
2	3019	40

Stop Event

1×	node limit

Counts

4 → 86

simplify71.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

695×	`fma-def_binary64`
376×	`associate-r_binary64`
230×	`*-commutative_binary64`
226×	`times-frac_binary64`
214×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	310	3605
1	997	3323
2	4507	3315

Stop Event

1×	node limit

Counts

154 → 149

prune252.0ms (2.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	135	14	149
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	136	15	151

Error

4.2b

Counts

151 → 15

Alt Table

Status	Error	Program
	26.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)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (cbrt.f64 (pow.f64 (.f64 y.re (atan2.f64 x.im x.re)) 3)))))
▶	8.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 (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) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (fma.f64 y.re (.f64 (atan2.f64 x.im x.re) (cos.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))))) (sin.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))))))
	22.4b	(.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 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 3)))
	31.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)) (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re 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) (pow.f64 (exp.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))))
	22.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)) (sqrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2)))
	35.4b	(.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 (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))))) 2))
	43.2b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.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)))))
	9.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 (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))))) (pow.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))))) 2)))
	44.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 (.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)))))) (cos.f64 1)) (.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)))))) (sin.f64 1))))
	29.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))))
	31.4b	(.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 (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 (exp.f64 (sin.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 (sin.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) (+.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)))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	18.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) 1) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 8409 to 2886 computations (65.7% saved)

localize15.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)))
	0.9b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	2.4b	(*.f64 (atan2.f64 x.im x.re) y.im)
	31.8b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series239.0ms (2%)

Counts

2 → 64

Calls

21 calls:

43.0ms	(fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))	y.re	0
38.0ms	(fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))	y.im	-inf
36.0ms	(fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))	y.im	inf
36.0ms	(fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))	y.im	0
27.0ms	(fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))	y.re	-inf

rewrite42.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

531×	`log-prod_binary64`
227×	`prod-diff_binary64`
197×	`expm1-udef_binary64`
197×	`log1p-udef_binary64`
185×	`pow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	214	23
2	2525	23

Stop Event

1×	node limit

Counts

2 → 47

simplify53.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

378×	`fma-def_binary64`
306×	`sub-neg_binary64`
259×	`times-frac_binary64`
215×	`distribute-rgt-neg-in_binary64`
202×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	101	1584
1	325	1396
2	1006	1376
3	3784	1357

Stop Event

1×	node limit

Counts

111 → 94

prune330.0ms (2.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	185	7	192
Fresh	6	8	14
Picked	1	0	1
Done	0	0	0
Total	192	15	207

Error

4.2b

Counts

207 → 15

Alt Table

Status	Error	Program
	22.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 (expm1.f64 (log1p.f64 (fma.f64 (atan2.f64 x.im x.re) y.re (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))))))
	36.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)) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	31.1b	(.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 (.f64 (cbrt.f64 (exp.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 (exp.f64 (sin.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 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))))))
	22.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)) (sqrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2)))
▶	9.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (pow.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))))) 3))
	43.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 (atan2.f64 x.im x.re) y.re (*.f64 y.im (log.f64 x.im)))))
	42.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 (/.f64 (+.f64 (pow.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) 3) (pow.f64 (.f64 (atan2.f64 x.im x.re) y.re) 3)) (fma.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (-.f64 (pow.f64 (.f64 (atan2.f64 x.im x.re) y.re) 2) (.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (.f64 (atan2.f64 x.im x.re) y.re)))))))
	44.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 (.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)))))) (cos.f64 1)) (.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)))))) (sin.f64 1))))
	22.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 (pow.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)))
	29.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))))
	31.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)) (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))))))
	33.7b	(.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 (pow.f64 (sqrt.f64 (fma.f64 (atan2.f64 x.im x.re) y.re (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))) 2)))
	9.8b	(.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)))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	18.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) 1) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))
	26.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)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (cbrt.f64 (pow.f64 (.f64 y.re (atan2.f64 x.im x.re)) 3)))))

Compiler

Compiled 10207 to 3548 computations (65.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(pow.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))))) 3)
	0.9b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.4b	(*.f64 (atan2.f64 x.im x.re) y.im)
	31.8b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series531.0ms (4.5%)

Counts

1 → 48

Calls

12 calls:

60.0ms	(pow.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))))) 3)	x.re	inf
59.0ms	(pow.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))))) 3)	x.im	inf
58.0ms	(pow.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))))) 3)	x.re	0
58.0ms	(pow.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))))) 3)	x.im	-inf
57.0ms	(pow.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))))) 3)	x.re	-inf

rewrite45.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

578×	`log-prod_binary64`
252×	`prod-diff_binary64`
227×	`expm1-udef_binary64`
227×	`log1p-udef_binary64`
203×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	18
1	281	18
2	3004	18

Stop Event

1×	node limit

Counts

1 → 30

simplify70.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

632×	`fma-def_binary64`
367×	`associate-r_binary64`
230×	`*-commutative_binary64`
226×	`times-frac_binary64`
214×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	307	3786
1	988	3462
2	4453	3458

Stop Event

1×	node limit

Counts

78 → 86

prune392.0ms (3.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	199	4	203
Fresh	4	10	14
Picked	0	1	1
Done	0	0	0
Total	203	15	218

Error

4.2b

Counts

218 → 15

Alt Table

Status	Error	Program
	22.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 (expm1.f64 (log1p.f64 (fma.f64 (atan2.f64 x.im x.re) y.re (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))))))
	36.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)) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	31.1b	(.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 (.f64 (cbrt.f64 (exp.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 (exp.f64 (sin.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 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))))))
	22.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)) (sqrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2)))
✓	9.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (pow.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))))) 3))
	43.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 (atan2.f64 x.im x.re) y.re (*.f64 y.im (log.f64 x.im)))))
	9.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))))) 2) (.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))))) (pow.f64 (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))) 2))))
	42.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 (/.f64 (+.f64 (pow.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) 3) (pow.f64 (.f64 (atan2.f64 x.im x.re) y.re) 3)) (fma.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (-.f64 (pow.f64 (.f64 (atan2.f64 x.im x.re) y.re) 2) (.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (.f64 (atan2.f64 x.im x.re) y.re)))))))
	45.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (pow.f64 (cbrt.f64 (-.f64 (.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)))))) (cos.f64 1)) (.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)))))) (sin.f64 1)))) 3))
	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 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))))) 2) 3) (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))))))
	33.7b	(.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 (pow.f64 (sqrt.f64 (fma.f64 (atan2.f64 x.im x.re) y.re (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))) 2)))
▶	9.2b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (pow.f64 (cbrt.f64 (pow.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))))) 3)) 3))
	29.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))))
	9.8b	(.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)))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	18.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) 1) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 13602 to 5076 computations (62.7% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.7b	(pow.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))))) 3)
	0.9b	(*.f64 y.re (atan2.f64 x.im x.re))
	2.4b	(*.f64 (atan2.f64 x.im x.re) y.im)
	31.8b	(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

prune385.0ms (3.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	0	13	13
Picked	1	0	1
Done	0	1	1
Total	203	15	218

Error

4.2b

Counts

218 → 15

Alt Table

Status	Error	Program
	22.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 (expm1.f64 (log1p.f64 (fma.f64 (atan2.f64 x.im x.re) y.re (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))))))
	36.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)) (sin.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
	31.1b	(.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 (.f64 (cbrt.f64 (exp.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 (exp.f64 (sin.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 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))))))
	22.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)) (sqrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))) 2)))
✓	9.1b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (pow.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))))) 3))
	43.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 (atan2.f64 x.im x.re) y.re (*.f64 y.im (log.f64 x.im)))))
	9.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))))) 2) (.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))))) (pow.f64 (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))) 2))))
	42.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 (/.f64 (+.f64 (pow.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) 3) (pow.f64 (.f64 (atan2.f64 x.im x.re) y.re) 3)) (fma.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (-.f64 (pow.f64 (.f64 (atan2.f64 x.im x.re) y.re) 2) (.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))) (.f64 (atan2.f64 x.im x.re) y.re)))))))
	45.0b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (pow.f64 (cbrt.f64 (-.f64 (.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)))))) (cos.f64 1)) (.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)))))) (sin.f64 1)))) 3))
	9.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.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))))) 3)) 3)) 3))
	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 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))))) 2) 3) (cbrt.f64 (sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))))))
	33.7b	(.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 (pow.f64 (sqrt.f64 (fma.f64 (atan2.f64 x.im x.re) y.re (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))) 2)))
	29.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))))
	9.8b	(.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)))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	18.7b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) 1) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re)))))

Compiler

Compiled 13612 to 5393 computations (60.4% saved)

regimes751.0ms (6.4%)

Accuracy

Total 1.9b remaining (30.5%)

Threshold costs 0b (0%)

Counts

107 → 2

Compiler

Compiled 18597 to 9920 computations (46.7% saved)

bsearch6.0ms (0%)

Algorithm

1×	left-value

Calls

1 calls:

0.0ms

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

Steps

Iters	Point		Range
6.455128268000368e-124	∈ [	6.455128268000368e-124	,	2.1018542731911693e-111	]

Compiler

Compiled 41 to 19 computations (53.7% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
7×	`+-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	159
1	51	159
2	62	159
3	68	159
4	72	159
5	73	159

Stop Event

1×

saturated

end338.0ms (2.9%)

Stop Event

1×

fuel

Compiler

Compiled 849 to 367 computations (56.8% saved)

Details

analyze1.8s (15.3%)

sample5.7s (48.9%)

preprocess36.0ms (0.3%)

simplify24.0ms (0.2%)

prune6.0ms (0.1%)

localize15.0ms (0.1%)

series498.0ms (4.2%)

rewrite53.0ms (0.5%)

simplify71.0ms (0.6%)

prune252.0ms (2.1%)

localize15.0ms (0.1%)

series239.0ms (2%)

rewrite42.0ms (0.4%)

simplify53.0ms (0.4%)

prune330.0ms (2.8%)

localize17.0ms (0.1%)

series531.0ms (4.5%)

rewrite45.0ms (0.4%)

simplify70.0ms (0.6%)

prune392.0ms (3.3%)

localize22.0ms (0.2%)

prune385.0ms (3.3%)

regimes751.0ms (6.4%)

bsearch6.0ms (0%)

simplify5.0ms (0%)

end338.0ms (2.9%)

Profiling