Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
74.9%	25%	0.1%	3
87.4%	12.5%	0.1%	4
93.7%	6.2%	0.1%	5
96.8%	3.1%	0.1%	6
98.3%	1.6%	0.1%	7
99.1%	0.8%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample855.0ms (43.6%)

Results

827.0ms

8256×

body

128

valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

prune1.0ms (0.1%)

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

0.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.9b	(/.f64 (atan2.f64 im re) (log.f64 10))

Compiler

Compiled 24 to 18 computations (25% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.9b	(/.f64 (atan2.f64 im re) (log.f64 10))

series53.0ms (2.7%)

Counts

1 → 0

Calls

1 calls:

53.0ms

(/.f64 (atan2.f64 im re) (log.f64 10))

rewrite43.0ms (2.2%)

Algorithm

2×	batch-egg-rewrite

Rules

633×	`log1p-expm1-u_binary64`
633×	`expm1-log1p-u_binary64`
323×	`log-prod_binary64`
128×	`expm1-udef_binary64`
127×	`log1p-udef_binary64`

Counts

1 → 37

Calls

1 calls:

42.0ms

(/.f64 (atan2.f64 im re) (log.f64 10))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	140	9
2	1656	9
3	5014	9
0	0	0
1	0	0

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune29.0ms (1.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	32	5	37
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	5	38

Error

Counts

38 → 5

Alt Table

Status	Error	Program
▶	0.1b	(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 1/10)))
	1.0b	(pow.f64 (/.f64 (log.f64 10) (atan2.f64 im re)) -1)
	32.4b	(*.f64 (/.f64 (sqrt.f64 (atan2.f64 im re)) 1) (/.f64 (sqrt.f64 (atan2.f64 im re)) (log.f64 10)))
	2.0b	(*.f64 (/.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (sqrt.f64 (log.f64 10))) (/.f64 (cbrt.f64 (atan2.f64 im re)) (sqrt.f64 (log.f64 10))))
	0.9b	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

Compiler

Compiled 583 to 387 computations (33.6% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.9b	(/.f64 (atan2.f64 im re) (log.f64 1/10))
✓	1.0b	(log.f64 1/10)

series48.0ms (2.4%)

Counts

2 → 0

Calls

2 calls:

48.0ms	(/.f64 (atan2.f64 im re) (log.f64 1/10))
0.0ms	(log.f64 1/10)

rewrite43.0ms (2.2%)

Algorithm

2×	batch-egg-rewrite

Rules

634×	`log1p-expm1-u_binary64`
634×	`expm1-log1p-u_binary64`
323×	`log-prod_binary64`
128×	`expm1-udef_binary64`
127×	`log1p-udef_binary64`

Counts

2 → 55

Calls

2 calls:

42.0ms	(/.f64 (atan2.f64 im re) (log.f64 1/10))
42.0ms	(log.f64 1/10)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	140	12
2	1656	12
3	5019	12
0	0	0
1	0	0

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune29.0ms (1.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	54	1	55
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	55	5	60

Error

Counts

60 → 5

Alt Table

Status	Error	Program
✓	0.1b	(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 1/10)))
	1.0b	(pow.f64 (/.f64 (log.f64 10) (atan2.f64 im re)) -1)
▶	0.2b	(neg.f64 (pow.f64 (/.f64 (log.f64 1/10) (atan2.f64 im re)) -1))
	32.4b	(*.f64 (/.f64 (sqrt.f64 (atan2.f64 im re)) 1) (/.f64 (sqrt.f64 (atan2.f64 im re)) (log.f64 10)))
	0.9b	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

Compiler

Compiled 771 to 531 computations (31.1% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (/.f64 (log.f64 1/10) (atan2.f64 im re)) -1)
✓	0.9b	(/.f64 (log.f64 1/10) (atan2.f64 im re))
	1.0b	(log.f64 1/10)

series123.0ms (6.3%)

Counts

2 → 24

Calls

2 calls:

72.0ms	(pow.f64 (/.f64 (log.f64 1/10) (atan2.f64 im re)) -1)
51.0ms	(/.f64 (log.f64 1/10) (atan2.f64 im re))

rewrite46.0ms (2.3%)

Algorithm

2×	batch-egg-rewrite

Rules

782×	`log1p-expm1-u_binary64`
782×	`expm1-log1p-u_binary64`
154×	`log1p-udef_binary64`
90×	`add-sqr-sqrt_binary64`
84×	`add-log-exp_binary64`

Counts

2 → 77

Calls

2 calls:

44.0ms	(pow.f64 (/.f64 (log.f64 1/10) (atan2.f64 im re)) -1)
44.0ms	(/.f64 (log.f64 1/10) (atan2.f64 im re))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	182	18
2	2044	18
3	5013	18
0	0	0
1	0	0

simplify12.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

101 → 77

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	216
1	7	216

prune54.0ms (2.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	95	5	100

Error

Counts

100 → 5

Alt Table

Status	Error	Program
✓	0.1b	(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 1/10)))
	1.0b	(pow.f64 (/.f64 (log.f64 10) (atan2.f64 im re)) -1)
✓	0.2b	(neg.f64 (pow.f64 (/.f64 (log.f64 1/10) (atan2.f64 im re)) -1))
	32.4b	(*.f64 (/.f64 (sqrt.f64 (atan2.f64 im re)) 1) (/.f64 (sqrt.f64 (atan2.f64 im re)) (log.f64 10)))
▶	0.9b	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

Compiler

Compiled 1366 to 963 computations (29.5% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
✓	0.8b	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

series103.0ms (5.3%)

Counts

2 → 48

Calls

2 calls:

53.0ms	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
50.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

rewrite55.0ms (2.8%)

Algorithm

2×	batch-egg-rewrite

Rules

503×	`log-prod_binary64`
259×	`pow2_binary64`
186×	`pow1/3_binary64`
181×	`expm1-udef_binary64`
180×	`log1p-udef_binary64`

Counts

2 → 110

Calls

2 calls:

53.0ms	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
53.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	220	20
2	2539	20
3	4899	20
0	0	0
1	0	0

simplify14.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Counts

158 → 111

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	552
1	14	552
2	13	552

prune56.0ms (2.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	112	4	116

Error

Counts

116 → 4

Alt Table

Status	Error	Program
✓	0.1b	(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 1/10)))
	1.0b	(pow.f64 (/.f64 (log.f64 10) (atan2.f64 im re)) -1)
✓	0.2b	(neg.f64 (pow.f64 (/.f64 (log.f64 1/10) (atan2.f64 im re)) -1))
	0.9b	(/.f64 (pow.f64 (log.f64 10) -1/2) (/.f64 (sqrt.f64 (log.f64 10)) (atan2.f64 im re)))

Compiler

Compiled 1773 to 1341 computations (24.4% saved)

regimes250.0ms (12.8%)

Accuracy

Total 0.1b remaining (89.1%)

Threshold costs 0.1b (89.1%)

Counts

30 → 1

Compiler

Compiled 1845 to 1408 computations (23.7% saved)

simplify34.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	14	11
2	18	11
3	21	11
4	22	11
5	22	11

end68.0ms (3.5%)

Compiler: Compiled 62 to 50 computations (19.4% saved)

Details

analyze4.0ms (0.2%)

sample855.0ms (43.6%)

simplify5.0ms (0.3%)

prune1.0ms (0.1%)

localize5.0ms (0.2%)

series53.0ms (2.7%)

rewrite43.0ms (2.2%)

simplify5.0ms (0.3%)

prune29.0ms (1.5%)

localize6.0ms (0.3%)

series48.0ms (2.4%)

rewrite43.0ms (2.2%)

simplify6.0ms (0.3%)

prune29.0ms (1.5%)

localize7.0ms (0.3%)

series123.0ms (6.3%)

rewrite46.0ms (2.3%)

simplify12.0ms (0.6%)

prune54.0ms (2.7%)

localize7.0ms (0.4%)

series103.0ms (5.3%)

rewrite55.0ms (2.8%)

simplify14.0ms (0.7%)

prune56.0ms (2.9%)

regimes250.0ms (12.8%)

simplify34.0ms (1.7%)

end68.0ms (3.5%)

Profiling