Details

analyze2.1s (17.9%)

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)

sample142.0ms (1.2%)

Algorithm

1×

intervals

Results

52.0ms	74×	body	1024	invalid
37.0ms	244×	body	128	valid
15.0ms	34×	body	512	invalid
5.0ms	7×	body	1024	valid
4.0ms	14×	body	256	invalid
3.0ms	21×	body	128	invalid
2.0ms	2×	body	2048	invalid
1.0ms	3×	body	512	valid
1.0ms	1×	body	2048	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 87 to 43 computations (50.6% saved)

simplify82.0ms (0.7%)

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	52
1	41	50
2	72	50
3	120	50
4	265	50
5	998	50
6	3045	50
7	4087	50
8	4543	50
9	4868	50
10	4934	50

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

5.7b

Counts

2 → 2

Alt Table

Status	Error	Program
	32.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))) (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))))
▶	8.5b	(.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))

Status

Error

Program

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

▶

8.5b

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

Compiler

Compiled 169 to 83 computations (50.9% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite297.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

2.9b

Rules

31×	`add-cube-cbrt_binary64`
30×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
20×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`

Counts

4 → 153

Calls

4 calls:

71.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)
15.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
12.0ms	(*.f64 y.re (atan2.f64 x.im x.re))
10.0ms	(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 4267 to 574 computations (86.5% saved)

series205.0ms (1.7%)

Error

2.7b

Counts

4 → 50

Calls

4 calls:

84.0ms	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im)))
57.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
19.0ms	(*.f64 y.re (atan2.f64 x.im x.re))
17.0ms	(*.f64 (atan2.f64 x.im x.re) y.im)

Compiler

Compiled 4483 to 2345 computations (47.7% saved)

simplify162.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

435×	`fma-def_binary64`
371×	`fma-neg_binary64`
260×	`cancel-sign-sub-inv_binary64`
254×	`unswap-sqr_binary64`
208×	`associate-r_binary64`

Counts

203 → 118

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	4676
1	670	4203
2	2054	4123
3	4760	4123
4	4968	4123

prune171.0ms (1.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	111	7	118
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	113	7	120

Error

2.8b

Counts

120 → 7

Alt Table

Status	Error	Program
	34.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 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 y.im (log.f64 (/.f64 -1 x.im))))))
	8.5b	(.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 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))))))
	8.5b	(.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 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))))))
▶	3.0b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.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)))))
	8.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 (exp.f64 (log1p.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))))) 1))
	8.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 (.f64 (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))))))
	8.5b	(.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)))

Compiler

Compiled 3423 to 700 computations (79.6% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 y.re (log.f64 (hypot.f64 x.im x.re)))
1.5b	(*.f64 y.re (atan2.f64 x.im x.re))
2.0b	(*.f64 y.im (atan2.f64 x.im x.re))
35.4b	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

rewrite214.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

2.8b

Rules

38×	`pow1_binary64`
28×	`add-sqr-sqrt_binary64`
27×	`add-cube-cbrt_binary64`
20×	`add-exp-log_binary64`
18×	`add-cbrt-cube_binary64`

Counts

4 → 151

Calls

4 calls:

19.0ms	(*.f64 y.re (atan2.f64 x.im x.re))
15.0ms	(*.f64 y.re (log.f64 (hypot.f64 x.im x.re)))
13.0ms	(*.f64 y.im (atan2.f64 x.im x.re))
12.0ms	(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 4261 to 643 computations (84.9% saved)

series176.0ms (1.5%)

Error

2.5b

Counts

4 → 47

Calls

4 calls:

57.0ms	(*.f64 y.re (log.f64 (hypot.f64 x.im x.re)))
56.0ms	(cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
19.0ms	(*.f64 y.im (atan2.f64 x.im x.re))
17.0ms	(*.f64 y.re (atan2.f64 x.im x.re))

Compiler

Compiled 3935 to 2129 computations (45.9% saved)

simplify176.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

451×	`fma-def_binary64`
306×	`fma-neg_binary64`
246×	`times-frac_binary64`
242×	`associate-l_binary64`
231×	`associate-r_binary64`

Counts

198 → 93

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	3926
1	595	3481
2	1822	3284
3	4646	3266
4	4951	3266
5	4940	3266

prune98.0ms (0.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	91	2	93
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	93	7	100

Error

2.6b

Counts

100 → 7

Alt Table

Status	Error	Program
	34.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 (.f64 y.re (atan2.f64 x.im x.re)) (.f64 y.im (log.f64 (/.f64 -1 x.im))))))
	8.5b	(.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 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))))))
	3.0b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (expm1.f64 (log1p.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.8b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (cos.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re)))))
	8.5b	(.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 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))))))
	8.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 (.f64 (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.re (atan2.f64 x.im x.re)))))))
	8.5b	(.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)))

Compiler

Compiled 2637 to 635 computations (75.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 y.re (log.f64 (hypot.f64 x.im x.re)))
0.3b	(*.f64 y.im (log.f64 (hypot.f64 x.im x.re)))
2.0b	(*.f64 y.im (atan2.f64 x.im x.re))
25.0b	(cos.f64 (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))

rewrite318.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

2.5b

Rules

41×	`add-cube-cbrt_binary64`
39×	`pow1_binary64`
28×	`add-sqr-sqrt_binary64`
23×	`log-prod_binary64`
20×	`add-exp-log_binary64`

Counts

4 → 159

Calls

4 calls:

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

Compiler

Compiled 4221 to 650 computations (84.6% saved)

series241.0ms (2%)

Error

2.5b

Counts

4 → 45

Calls

4 calls:

111.0ms	(*.f64 y.re (log.f64 (hypot.f64 x.im x.re)))
44.0ms	(cos.f64 (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))
40.0ms	(*.f64 y.im (log.f64 (hypot.f64 x.im x.re)))
16.0ms	(*.f64 y.im (atan2.f64 x.im x.re))

Compiler

Compiled 3387 to 2066 computations (39% saved)

simplify174.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

575×	`fma-def_binary64`
373×	`fma-neg_binary64`
317×	`associate-r_binary64`
311×	`associate-l_binary64`
309×	`prod-exp_binary64`

Counts

204 → 125

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	256	4357
1	652	3638
2	2139	3365
3	4591	3344
4	5392	3344

prune137.0ms (1.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	118	7	125
Fresh	5	1	6
Picked	1	0	1
Done	0	0	0
Total	124	8	132

Error

2.5b

Counts

132 → 8

Alt Table

Status	Error	Program
	18.0b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))))
	2.9b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (-.f64 (.f64 (cos.f64 (.f64 2 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))) (cos.f64 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))) (.f64 (sin.f64 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im))))) (sin.f64 (.f64 2 (*.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))))))
	31.8b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (cos.f64 (.f64 y.im (log.f64 (/.f64 -1 x.im)))))
	2.9b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (cos.f64 (.f64 (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im)) (.f64 (log.f64 (hypot.f64 x.re x.im)) (cbrt.f64 y.im)))))
	2.9b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (+.f64 (fma.f64 (cos.f64 (.f64 2 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))) (cos.f64 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im))))) (.f64 (sin.f64 (.f64 2 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))) (neg.f64 (sin.f64 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))))) 0))
	8.5b	(.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)))
▶	2.8b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))) (cbrt.f64 (cos.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))) (cbrt.f64 (cos.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))))
	3.1b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)) (cbrt.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))) (cbrt.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))))

Compiler

Compiled 3243 to 922 computations (71.6% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.0b	(*.f64 y.im (atan2.f64 x.im x.re))
25.0b	(cos.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))
25.0b	(cos.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))
25.0b	(cos.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))

rewrite335.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

2.5b

Rules

23×	`pow1_binary64`
20×	`add-sqr-sqrt_binary64`
20×	`add-cube-cbrt_binary64`
14×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 120

Calls

4 calls:

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

Compiler

Compiled 4049 to 469 computations (88.4% saved)

series248.0ms (2.1%)

Error

2.5b

Counts

4 → 45

Calls

4 calls:

76.0ms	(cos.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))
52.0ms	(cos.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))
48.0ms	(cos.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))
19.0ms	(*.f64 y.im (atan2.f64 x.im x.re))

Compiler

Compiled 5874 to 2869 computations (51.2% saved)

simplify119.0ms (1%)

Algorithm

1×	egg-herbie

Rules

596×	`prod-exp_binary64`
443×	`associate-l_binary64`
413×	`associate-r_binary64`
357×	`distribute-rgt-neg-in_binary64`
326×	`distribute-lft-neg-in_binary64`

Counts

165 → 87

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	115	2381
1	231	2184
2	615	2118
3	2194	2112
4	4642	2112
5	5597	2112

prune185.0ms (1.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	84	3	87
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	85	10	95

Error

2.5b

Counts

95 → 10

Alt Table

Status	Error	Program
	2.8b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re)))) (cos.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re)))))) (cbrt.f64 (cos.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re))))))) (cbrt.f64 (cos.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))) (cbrt.f64 (cos.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))))
	8.5b	(.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)))
	18.0b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))))
	2.9b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (-.f64 (.f64 (cos.f64 (.f64 2 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))) (cos.f64 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))) (.f64 (sin.f64 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im))))) (sin.f64 (.f64 2 (*.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))))))
	31.8b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (cos.f64 (.f64 y.im (log.f64 (/.f64 -1 x.im)))))
	2.9b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (cos.f64 (.f64 (.f64 (cbrt.f64 y.im) (cbrt.f64 y.im)) (.f64 (log.f64 (hypot.f64 x.re x.im)) (cbrt.f64 y.im)))))
	2.9b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (+.f64 (fma.f64 (cos.f64 (.f64 2 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))) (cos.f64 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im))))) (.f64 (sin.f64 (.f64 2 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))) (neg.f64 (sin.f64 (.f64 y.im (log.f64 (cbrt.f64 (hypot.f64 x.re x.im)))))))) 0))
	31.8b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 y.im (log.f64 (/.f64 -1 x.im))))) (cbrt.f64 (cos.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))) (cbrt.f64 (cos.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))))
	2.8b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 y.im (log.f64 (hypot.f64 x.im x.re)))) 3))) (cbrt.f64 (cos.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))) (cbrt.f64 (cos.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))))
	3.1b	(.f64 (exp.f64 (-.f64 (.f64 y.re (log.f64 (hypot.f64 x.im x.re))) (.f64 y.im (atan2.f64 x.im x.re)))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)) (cbrt.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im))) (cbrt.f64 (.f64 (log.f64 (hypot.f64 x.re x.im)) y.im)))))

Compiler

Compiled 3357 to 597 computations (82.2% saved)

regimes1.7s (14.2%)

Accuracy

Total 0.6b remaining (14.9%)

Threshold costs 0.6b (14.9%)

Compiler

Compiled 44952 to 23385 computations (48% saved)

simplify5.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	22	47
1	32	47
2	42	47
3	48	47
4	52	47
5	53	47
6	53	47

end1.0ms (0%)

Compiler: Compiled 28 to 19 computations (32.1% saved)

sample4.5s (37.9%)

Algorithm

1×

intervals

Results

1.7s	2383×	body	1024	invalid
1.1s	7570×	body	128	valid
448.0ms	1001×	body	512	invalid
137.0ms	201×	body	1024	valid
131.0ms	443×	body	256	invalid
79.0ms	526×	body	128	invalid
57.0ms	125×	body	512	valid
36.0ms	31×	body	2048	invalid
28.0ms	98×	body	256	valid
6.0ms	6×	body	2048	valid

Compiler

Compiled 501 to 267 computations (46.7% saved)

Details

analyze2.1s (17.9%)

sample142.0ms (1.2%)

simplify82.0ms (0.7%)

prune5.0ms (0%)

localize17.0ms (0.1%)

rewrite297.0ms (2.5%)

series205.0ms (1.7%)

simplify162.0ms (1.4%)

prune171.0ms (1.4%)

localize21.0ms (0.2%)

rewrite214.0ms (1.8%)

series176.0ms (1.5%)

simplify176.0ms (1.5%)

prune98.0ms (0.8%)

localize14.0ms (0.1%)

rewrite318.0ms (2.7%)

series241.0ms (2%)

simplify174.0ms (1.5%)

prune137.0ms (1.2%)

localize23.0ms (0.2%)

rewrite335.0ms (2.8%)

series248.0ms (2.1%)

simplify119.0ms (1%)

prune185.0ms (1.6%)

regimes1.7s (14.2%)

simplify5.0ms (0%)

end1.0ms (0%)

sample4.5s (37.9%)

Profiling