Details

analyze208.0ms (3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
74.9%	21.9%	3.2%	6
74.9%	20.3%	4.8%	7
74.9%	18%	7.1%	8
74.9%	16.8%	8.3%	9
74.9%	15.4%	9.7%	10
74.9%	14.7%	10.3%	11
74.9%	14%	11.1%	12
74.9%	13.6%	11.4%	13
74.9%	13.3%	11.8%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.5s (36%)

Results

828.0ms	1369×	body	1024	valid
718.0ms	5834×	body	128	valid
390.0ms	717×	body	1024	invalid
239.0ms	718×	body	512	valid
110.0ms	351×	body	512	invalid
75.0ms	333×	body	256	valid
38.0ms	167×	body	256	invalid
35.0ms	273×	body	128	invalid
4.0ms	2×	body	2048	valid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

prune4.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.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(sin.f64 im)
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

series16.0ms (0.2%)

Counts

2 → 12

Calls

2 calls:

14.0ms	(*.f64 (exp.f64 re) (sin.f64 im))
3.0ms	(sin.f64 im)

rewrite82.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

483×	`log1p-expm1-u_binary64`
483×	`expm1-log1p-u_binary64`
330×	`unpow-prod-down_binary64`
280×	`log-prod_binary64`
150×	`pow2_binary64`

Counts

2 → 46

Calls

2 calls:

80.0ms	(sin.f64 im)
80.0ms	(*.f64 (exp.f64 re) (sin.f64 im))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	113	11
2	1285	11
3	4984	11
0	0	0
1	0	0

simplify130.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

994×	`fma-neg_binary64`
690×	`cancel-sign-sub-inv_binary64`
352×	`distribute-rgt-neg-in_binary64`
350×	`*-commutative_binary64`
282×	`sub-neg_binary64`

Counts

58 → 68

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	48	220
1	151	212
2	428	179
3	1236	167
4	2228	163
5	4056	163
6	4634	163
7	4982	163
8	4994	163
9	4858	163

prune69.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	66	2	68
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	66	3	69

Error

Counts

69 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
	22.9b	(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im)))))
▶	19.7b	(fma.f64 (sin.f64 im) re (sin.f64 im))

Compiler

Compiled 820 to 392 computations (52.2% saved)

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(sin.f64 im)
✓	0.0b	(fma.f64 (sin.f64 im) re (sin.f64 im))

series17.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

17.0ms

(fma.f64 (sin.f64 im) re (sin.f64 im))

rewrite100.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

438×	`log1p-expm1-u_binary64`
438×	`expm1-log1p-u_binary64`
248×	`unpow-prod-down_binary64`
237×	`prod-diff_binary64`
229×	`log-prod_binary64`

Counts

1 → 39

Calls

1 calls:

98.0ms

(fma.f64 (sin.f64 im) re (sin.f64 im))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	9
1	98	9
2	1131	9
3	4744	9
4	4971	9
0	0	0
1	0	0

simplify80.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

836×	`sub-neg_binary64`
682×	`fma-neg_binary64`
592×	`associate--r+_binary64`
439×	`associate-l_binary64`
354×	`fma-def_binary64`

Counts

63 → 51

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	41	293
1	133	276
2	443	260
3	1728	252
4	4411	252
5	5084	252

prune101.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	123	3	126

Error

Counts

126 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
▶	22.9b	(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im)))))
✓	19.7b	(fma.f64 (sin.f64 im) re (sin.f64 im))

Compiler

Compiled 1617 to 683 computations (57.8% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (exp.f64 re))
✓	0.0b	(sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im)))
✓	0.1b	(pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im))
✓	2.6b	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im))))

series2.8s (40.6%)

Counts

4 → 76

Calls

4 calls:

1.6s	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im))))
617.0ms	(sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im)))
602.0ms	(pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im))
4.0ms	(exp.f64 (exp.f64 re))

rewrite117.0ms (1.7%)

Algorithm

2×	batch-egg-rewrite

Rules

706×	`log1p-expm1-u_binary64`
706×	`expm1-log1p-u_binary64`
149×	`expm1-udef_binary64`
149×	`log1p-udef_binary64`
92×	`egg-rr`

Counts

4 → 92

Calls

4 calls:

114.0ms	(exp.f64 (exp.f64 re))
114.0ms	(sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im)))
114.0ms	(pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im))
114.0ms	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	41
1	168	38
2	1878	38
3	4968	38
4	4967	38
0	0	0
1	0	0

simplify111.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

474×	`associate-+l+_binary64`
465×	`*-commutative_binary64`
395×	`cancel-sign-sub-inv_binary64`
387×	`distribute-rgt-out_binary64`
384×	`associate-+r+_binary64`

Counts

168 → 147

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	137	1474
1	451	1414
2	1513	1314
3	3356	1285
4	4976	1285

prune269.0ms (3.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	294	0	294
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	294	3	297

Error

Counts

297 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	22.9b	(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (sin.f64 im)))))
✓	19.7b	(fma.f64 (sin.f64 im) re (sin.f64 im))

Compiler

Compiled 7422 to 2369 computations (68.1% saved)

regimes162.0ms (2.3%)

Accuracy

Total 0.0b remaining (48.4%)

Threshold costs 0.0b (48.4%)

Counts

18 → 1

Compiler

Compiled 1042 to 700 computations (32.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

end93.0ms (1.3%)

Compiler: Compiled 48 to 28 computations (41.7% saved)

Details

analyze208.0ms (3%)

sample2.5s (36%)

simplify10.0ms (0.1%)

prune4.0ms (0.1%)

localize8.0ms (0.1%)

series16.0ms (0.2%)

rewrite82.0ms (1.2%)

simplify130.0ms (1.9%)

prune69.0ms (1%)

localize14.0ms (0.2%)

series17.0ms (0.2%)

rewrite100.0ms (1.5%)

simplify80.0ms (1.2%)

prune101.0ms (1.5%)

localize20.0ms (0.3%)

series2.8s (40.6%)

rewrite117.0ms (1.7%)

simplify111.0ms (1.6%)

prune269.0ms (3.9%)

regimes162.0ms (2.3%)

simplify3.0ms (0%)

end93.0ms (1.3%)

Profiling