Details

analyze2.8s (15.4%)

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)

sample10.0s (54.8%)

Results

4.4s	2509×	body	1024	invalid
3.2s	7821×	body	128	valid
1.1s	1006×	body	512	invalid
313.0ms	446×	body	256	invalid
293.0ms	181×	body	1024	valid
212.0ms	553×	body	128	invalid
159.0ms	152×	body	512	valid
97.0ms	44×	body	2048	invalid
64.0ms	86×	body	256	valid
42.0ms	16×	body	2048	valid

Compiler

Compiled 125 to 59 computations (52.8% saved)

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

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

Counts

3 → 2

Alt Table

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

Status

Error

Program

30.6b

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

▶

6.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 (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.5b	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
✓	1.3b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	1.4b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	29.4b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series1.1s (6%)

Counts

4 → 96

Calls

4 calls:

884.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
191.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
12.0ms	(*.f64 y.re (atan2.f64 x.im x.re))
12.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)

rewrite143.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

553×	`prod-diff_binary64`
276×	`log1p-udef_binary64`
154×	`add-sqr-sqrt_binary64`
143×	`add-log-exp_binary64`
142×	`log1p-expm1-u_binary64`

Counts

4 → 86

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	50
1	300	50
2	3609	50
3	5170	50
0	0	0
1	0	0

simplify300.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

703×	`times-frac_binary64`
654×	`fma-def_binary64`
621×	`associate-/l*_binary64`
413×	`associate-/r*_binary64`
255×	`*-commutative_binary64`

Counts

182 → 203

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	558	7014
1	1968	6366
2	4405	6306
3	4971	6306
4	4869	6306

prune681.0ms (3.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	192	11	203
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	194	11	205

Error

3.2b

Counts

205 → 11

Alt Table

Status	Error	Program
	19.8b	(.f64 (fma.f64 (/.f64 (log.f64 (hypot.f64 x.im x.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re)))) y.re (pow.f64 (exp.f64 y.im) (neg.f64 (atan2.f64 x.im x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	16.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))) (fma.f64 1/2 (.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 (.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 y.im (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))))))
	35.6b	(.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.2b	(.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)))
	6.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	6.9b	(.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 (+.f64 1 (expm1.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.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 y.re (atan2.f64 x.im x.re))))
▶	5.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	35.6b	(.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 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) 3) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	6.9b	(.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 (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 12688 to 4643 computations (63.4% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.3b	(*.f64 y.im (atan2.f64 x.im x.re))
	1.4b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	27.3b	(sqrt.f64 (pow.f64 (*.f64 y.im (atan2.f64 x.im x.re)) 2))
	29.4b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series29.0ms (0.2%)

Counts

2 → 48

Calls

2 calls:

15.0ms	(sqrt.f64 (pow.f64 (*.f64 y.im (atan2.f64 x.im x.re)) 2))
13.0ms	(*.f64 y.im (atan2.f64 x.im x.re))

rewrite76.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

642×	`log1p-expm1-u_binary64`
642×	`expm1-log1p-u_binary64`
353×	`log-prod_binary64`
137×	`expm1-udef_binary64`
137×	`log1p-udef_binary64`

Counts

2 → 60

Calls

2 calls:

74.0ms	(*.f64 y.im (atan2.f64 x.im x.re))
74.0ms	(sqrt.f64 (pow.f64 (*.f64 y.im (atan2.f64 x.im x.re)) 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	164	14
2	1705	14
3	5007	14
0	0	0
1	0	0

simplify49.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

38×	`fma-def_binary64`
9×	`sub-neg_binary64`
6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`distribute-lft-in_binary64`

Counts

108 → 42

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	344
1	13	344
2	25	344
3	26	344
4	30	344
5	48	344
6	59	344
7	64	344
8	76	344
9	73	344
10	59	344

prune537.0ms (2.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	127	4	131
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	132	10	142

Error

3.2b

Counts

142 → 10

Alt Table

Status	Error	Program
	19.8b	(.f64 (fma.f64 (/.f64 (log.f64 (hypot.f64 x.im x.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re)))) y.re (pow.f64 (exp.f64 y.im) (neg.f64 (atan2.f64 x.im x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	16.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))) (fma.f64 1/2 (.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 (.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 y.im (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))))))
	5.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	7.0b	(.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re))))) 3) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	6.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
▶	5.3b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (log.f64 (+.f64 1 (expm1.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.6b	(.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)))))
	5.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (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)))
	34.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 y.im (log.f64 (/.f64 -1 x.im))))))
	6.9b	(.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 (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 7613 to 3077 computations (59.6% saved)

localize49.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.3b	(*.f64 y.im (atan2.f64 x.im x.re))
	1.4b	(*.f64 y.re (atan2.f64 x.im x.re))
	27.3b	(sqrt.f64 (pow.f64 (*.f64 y.im (atan2.f64 x.im x.re)) 2))
	29.4b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

prune579.0ms (3.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	128	3	131
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	132	9	141

Error

3.2b

Counts

141 → 9

Alt Table

Status	Error	Program
	19.8b	(.f64 (fma.f64 (/.f64 (log.f64 (hypot.f64 x.im x.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re)))) y.re (pow.f64 (exp.f64 y.im) (neg.f64 (atan2.f64 x.im x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	16.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))) (fma.f64 1/2 (.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 (.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 y.im (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))))))
	6.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	34.8b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))))
	6.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (pow.f64 (cbrt.f64 y.im) 2) (.f64 (cbrt.f64 y.im) (atan2.f64 x.im x.re))))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))))))
	34.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 y.im (log.f64 (/.f64 -1 x.im)))))))))
	5.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (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)))
▶	5.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	6.9b	(.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 (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 8101 to 3547 computations (56.2% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.3b	(*.f64 y.im (atan2.f64 x.im x.re))
	1.4b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	15.6b	(cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))
	27.3b	(sqrt.f64 (pow.f64 (*.f64 y.im (atan2.f64 x.im x.re)) 2))

series29.0ms (0.2%)

Counts

1 → 4

Calls

1 calls:

29.0ms

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

rewrite107.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

578×	`log1p-expm1-u_binary64`
578×	`expm1-log1p-u_binary64`
330×	`log-prod_binary64`
305×	`fma-def_binary64`
232×	`prod-diff_binary64`

Counts

1 → 23

Calls

1 calls:

106.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	135	9
2	1530	9
3	4980	9
4	4931	9
5	5213	9
0	0	0
1	0	0

simplify110.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

708×	`distribute-rgt-neg-in_binary64`
573×	`distribute-lft-neg-in_binary64`
501×	`neg-mul-1_binary64`
460×	`fma-def_binary64`
391×	`cancel-sign-sub-inv_binary64`

Counts

27 → 30

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	29	110
1	78	106
2	224	102
3	939	100
4	2484	94
5	3857	91
6	4754	82
7	4976	82

prune349.0ms (1.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	87	9	96

Error

3.2b

Counts

96 → 9

Alt Table

Status	Error	Program
	19.8b	(.f64 (fma.f64 (/.f64 (log.f64 (hypot.f64 x.im x.re)) (exp.f64 (.f64 y.im (atan2.f64 x.im x.re)))) y.re (pow.f64 (exp.f64 y.im) (neg.f64 (atan2.f64 x.im x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	16.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))) (fma.f64 1/2 (.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))) (.f64 (.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 y.im (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))))))
	6.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	34.8b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))))
	6.9b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (pow.f64 (cbrt.f64 y.im) 2) (.f64 (cbrt.f64 y.im) (atan2.f64 x.im x.re))))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (.f64 y.re (atan2.f64 x.im x.re))))))))
	34.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 y.im (log.f64 (/.f64 -1 x.im)))))))))
	5.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (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)))
✓	5.6b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (sqrt.f64 (pow.f64 (.f64 y.im (atan2.f64 x.im x.re)) 2)))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
	6.9b	(.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 (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 2622 to 951 computations (63.7% saved)

regimes888.0ms (4.9%)

Accuracy

Total 0.5b remaining (13.4%)

Threshold costs 0.5b (13.4%)

Counts

110 → 1

Compiler

Compiled 17387 to 10245 computations (41.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-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	40
1	30	40
2	39	40
3	45	40
4	49	40
5	50	40
6	49	40

end212.0ms (1.2%)

Compiler: Compiled 387 to 218 computations (43.7% saved)

Iter	Nodes	Cost
0	9	344
1	13	344
2	25	344
3	26	344
4	30	344
5	48	344
6	59	344
7	64	344
8	76	344
9	73	344
10	59	344

Iter	Nodes	Cost
0	9	344
1	13	344
2	25	344
3	26	344
4	30	344
5	48	344
6	59	344
7	64	344
8	76	344
9	73	344
10	59	344

Details

analyze2.8s (15.4%)

sample10.0s (54.8%)

simplify88.0ms (0.5%)

prune10.0ms (0.1%)

localize34.0ms (0.2%)

series1.1s (6%)

rewrite143.0ms (0.8%)

simplify300.0ms (1.6%)

prune681.0ms (3.7%)

localize38.0ms (0.2%)

series29.0ms (0.2%)

rewrite76.0ms (0.4%)

simplify49.0ms (0.3%)

prune537.0ms (2.9%)

localize49.0ms (0.3%)

prune579.0ms (3.2%)

localize35.0ms (0.2%)

series29.0ms (0.2%)

rewrite107.0ms (0.6%)

simplify110.0ms (0.6%)

prune349.0ms (1.9%)

regimes888.0ms (4.9%)

simplify3.0ms (0%)

end212.0ms (1.2%)

Profiling

Iter	Nodes	Cost
0	9	344
1	13	344
2	25	344
3	26	344
4	30	344
5	48	344
6	59	344
7	64	344
8	76	344
9	73	344
10	59	344