Details

analyze2.2s (12%)

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.8s (32.1%)

Results

2.4s	2474×	body	1024	invalid
1.8s	7811×	body	128	valid
887.0ms	1029×	body	512	invalid
183.0ms	429×	body	256	invalid
182.0ms	195×	body	1024	valid
126.0ms	555×	body	128	invalid
80.0ms	132×	body	512	valid
56.0ms	39×	body	2048	invalid
40.0ms	101×	body	256	valid
25.0ms	17×	body	2048	valid

Compiler

Compiled 125 to 59 computations (52.8% saved)

simplify66.0ms (0.4%)

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

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

Counts

3 → 2

Alt Table

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

Status

Error

Program

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

▶

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

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
✓	0.9b	(*.f64 y.re (atan2.f64 x.im x.re))
✓	1.3b	(*.f64 (atan2.f64 x.im x.re) y.im)
✓	33.0b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series517.0ms (2.9%)

Counts

4 → 96

Calls

4 calls:

421.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
83.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
7.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)
6.0ms	(*.f64 y.re (atan2.f64 x.im x.re))

rewrite16.0ms (0.1%)

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:

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

simplify232.0ms (1.3%)

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	704	9231
1	2205	8440
2	4490	8380
3	4964	8380
4	4875	8380

prune401.0ms (2.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	262	9	271
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	264	9	273

Error

3.7b

Counts

273 → 9

Alt Table

Status	Error	Program
	10.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 (.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)))))))
	10.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))))
	10.1b	(.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.3b	(.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))))
	18.8b	(.f64 (/.f64 1 (exp.f64 (.f64 y.im (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)))))
	19.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))))))))
▶	10.1b	(.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)))))))
	39.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 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
	17.4b	(.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)))))

Compiler

Compiled 15275 to 4856 computations (68.2% saved)

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

series105.0ms (0.6%)

Counts

1 → 48

Calls

1 calls:

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

rewrite3.0ms (0%)

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:

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

simplify87.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

625×	`fma-def_binary64`
427×	`cancel-sign-sub-inv_binary64`
350×	`associate-r_binary64`
223×	`sub-neg_binary64`
221×	`*-commutative_binary64`

Counts

66 → 87

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	343	4016
1	1021	3712
2	3268	3700
3	4872	3700

prune360.0ms (2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	209	5	214
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	214	9	223

Error

3.7b

Counts

223 → 9

Alt Table

Status	Error	Program
	10.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 (.f64 (cbrt.f64 (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))))))) (cbrt.f64 (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)))))))) (cbrt.f64 (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)))))))))
	18.8b	(.f64 (/.f64 1 (exp.f64 (.f64 y.im (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)))))
	39.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 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
▶	10.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 (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.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 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)))))))))
	19.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))))))))
	10.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))))
	35.3b	(.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 y.im (log.f64 (/.f64 -1 x.im))))))))
	17.4b	(.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)))))

Compiler

Compiled 13081 to 4528 computations (65.4% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(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)))))))
	0.9b	(*.f64 y.re (atan2.f64 x.im x.re))
	1.3b	(*.f64 (atan2.f64 x.im x.re) y.im)
	33.0b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series703.0ms (3.9%)

Counts

1 → 32

Calls

1 calls:

703.0ms

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

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`log-prod_binary64`
6×	`log-pow_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`

Counts

1 → 23

Calls

1 calls:

3.0ms

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

simplify111.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

674×	`fma-def_binary64`
480×	`cancel-sign-sub-inv_binary64`
378×	`associate-r_binary64`
240×	`*-commutative_binary64`
237×	`sub-neg_binary64`

Counts

55 → 94

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	394	4363
1	1098	3995
2	3473	3973
3	4904	3973

prune1.0s (5.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	406	5	411
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	409	11	420

Error

3.6b

Counts

420 → 11

Alt Table

Status	Error	Program
	18.8b	(.f64 (/.f64 1 (exp.f64 (.f64 y.im (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)))))
	39.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 (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)))))))))
	10.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))))))) (+.f64 (.f64 2 (log.f64 (cbrt.f64 (sqrt.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 (sqrt.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)))))))))))
	39.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 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) (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)))))))))
▶	10.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 (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))))))) (.f64 (.f64 (cbrt.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)))))))) (cbrt.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))))))))) (cbrt.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)))))))))))
	10.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))))
	19.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 (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))))))) (-.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re)))))) (fma.f64 1/4 (.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 1/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.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 (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))))))))
	35.3b	(.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 y.im (log.f64 (/.f64 -1 x.im))))))))
	17.4b	(.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)))))

Compiler

Compiled 33192 to 9473 computations (71.5% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(.f64 (cbrt.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)))))))) (cbrt.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)))))))))
	0.9b	(*.f64 y.re (atan2.f64 x.im x.re))
	1.3b	(*.f64 (atan2.f64 x.im x.re) y.im)
	33.0b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series1.7s (9.2%)

Counts

1 → 48

Calls

1 calls:

1.7s

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

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`cbrt-prod_binary64`
26×	`log-pow_binary64`
21×	`add-sqr-sqrt_binary64`
18×	`pow1_binary64`
16×	`sqrt-pow1_binary64`

Counts

1 → 62

Calls

1 calls:

12.0ms

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

simplify217.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

705×	`fma-def_binary64`
364×	`associate-/l*_binary64`
360×	`times-frac_binary64`
335×	`*-commutative_binary64`
243×	`associate-/r*_binary64`

Counts

110 → 150

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	800	13104
1	2286	11674
2	4540	11298
3	4753	11298

prune1.6s (9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	558	7	565
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	563	13	576

Error

3.6b

Counts

576 → 13

Alt Table

Status	Error	Program
	35.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 (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))))))) (.f64 (pow.f64 (pow.f64 (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)))))) 2) 1/3) (cbrt.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)))))))))))
	18.8b	(.f64 (/.f64 1 (exp.f64 (.f64 y.im (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)))))
	10.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 (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))))))) (.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.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))))))) 2)))) (cbrt.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)))))))))))
	10.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 (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))))))) (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 (sqrt.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))))))))) 4) (.f64 (cbrt.f64 (cbrt.f64 (log.f64 (sqrt.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))))))))) (cbrt.f64 (cbrt.f64 (log.f64 (sqrt.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))))))))))) (cbrt.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)))))))))))
	19.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 (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))))))) (.f64 (-.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re)))))) 2)) (fma.f64 1/3 (.f64 (.f64 (log.f64 (hypot.f64 x.im x.re)) (.f64 y.im (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (/.f64 1 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re))))))))) (fma.f64 1/6 (.f64 (cbrt.f64 (/.f64 1 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re)))))))) (.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 1/36 (.f64 (.f64 (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2) (.f64 (.f64 y.im y.im) (pow.f64 (sin.f64 (.f64 y.re (atan2.f64 x.im x.re))) 2))) (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re)))))) 4)))))))) (cbrt.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)))))))))))
	35.3b	(.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 y.im (log.f64 (/.f64 -1 x.im))))))))
	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))) (+.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))))))) (.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 y.re (atan2.f64 x.im x.re)))))) 2)) (cbrt.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)))))))))))
	17.4b	(.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)))))
	39.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 (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)))))))))
	39.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 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))
	10.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))))
	39.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 (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))))))) (.f64 (.f64 (cbrt.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)))))))) (cbrt.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))))))))) (cbrt.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)))))))))))
	35.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 (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))))))) (.f64 (.f64 (cbrt.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)))))))) (cbrt.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))))))))) (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (-.f64 (.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (/.f64 -1 x.im))))))))))))

Compiler

Compiled 68987 to 16261 computations (76.4% saved)

regimes2.5s (13.8%)

Accuracy

Total 2.9b remaining (48.4%)

Threshold costs 0b (0%)

Counts

196 → 2

Compiler

Compiled 49317 to 23105 computations (53.2% saved)

bsearch14.0ms (0.1%)

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

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`*-commutative_binary64`
10×	`+-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	187
1	59	187
2	76	187
3	88	187
4	96	187
5	98	187
6	98	187

end358.0ms (2%)

Compiler: Compiled 1054 to 429 computations (59.3% saved)

Details

analyze2.2s (12%)

sample5.8s (32.1%)

simplify66.0ms (0.4%)

prune5.0ms (0%)

localize17.0ms (0.1%)

series517.0ms (2.9%)

rewrite16.0ms (0.1%)

simplify232.0ms (1.3%)

prune401.0ms (2.2%)

localize18.0ms (0.1%)

series105.0ms (0.6%)

rewrite3.0ms (0%)

simplify87.0ms (0.5%)

prune360.0ms (2%)

localize21.0ms (0.1%)

series703.0ms (3.9%)

rewrite4.0ms (0%)

simplify111.0ms (0.6%)

prune1.0s (5.6%)

localize26.0ms (0.1%)

series1.7s (9.2%)

rewrite24.0ms (0.1%)

simplify217.0ms (1.2%)

prune1.6s (9%)

regimes2.5s (13.8%)

bsearch14.0ms (0.1%)

simplify7.0ms (0%)

end358.0ms (2%)

Profiling