Details

analyze403.0ms (12.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	56.2%	18.8%	6
25%	40.6%	34.4%	7
31.2%	31.2%	37.6%	8
39%	21.1%	39.9%	9
42.9%	16%	41.1%	10
47.2%	10.7%	42%	11
49.4%	8.1%	42.5%	12
51.6%	5.4%	43%	13
52.7%	4.1%	43.2%	14

Compiler

Compiled 10 to 5 computations (50% saved)

sample1.5s (45.3%)

Symmetry

(sort x y)

Results

1.4s	8256×	body	128	valid
15.0ms	98×	body	128	invalid

Compiler

Compiled 29 to 14 computations (51.7% saved)

simplify25.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

70×	`fma-def_binary64`
24×	`associate-+l+_binary64`
18×	`associate-+r+_binary64`
10×	`distribute-rgt-in_binary64`
8×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	12	10
2	26	10
3	46	10
4	81	10
5	101	10
6	117	10
7	130	10
8	132	10
9	132	10

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 (+.f64 x y) (+.f64 x y))

Compiler

Compiled 27 to 12 computations (55.6% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 x y))

series9.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

9.0ms

(*.f64 (+.f64 x y) (+.f64 x y))

rewrite67.0ms (2.1%)

Algorithm

2×	batch-egg-rewrite

Rules

682×	`prod-diff_binary64`
618×	`log1p-expm1-u_binary64`
618×	`expm1-log1p-u_binary64`
60×	`add-sqr-sqrt_binary64`
57×	`add-log-exp_binary64`

Counts

1 → 29

Calls

1 calls:

65.0ms

(*.f64 (+.f64 x y) (+.f64 x y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	115	7
2	1514	7
3	5027	7
0	0	0
1	0	0

simplify199.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

968×	`sqr-pow_binary64`
615×	`fma-def_binary64`
579×	`fabs-mul_binary64`
537×	`cube-prod_binary64`
464×	`*-commutative_binary64`

Counts

53 → 39

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	12	294
1	32	267
2	62	222
3	129	216
4	318	216
5	1005	216
6	1665	216
7	1886	216
8	2020	216
9	2235	216
10	2469	216
11	2722	216
12	2890	216
13	3334	216
14	3914	216
15	4267	216
16	4546	216
17	4648	216
18	4677	216
19	4689	216
20	5141	216

prune56.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	2	40

Error

Counts

40 → 2

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 x y))
▶	0.0b	(+.f64 (.f64 2 (.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))

Compiler

Compiled 535 to 204 computations (61.9% saved)

localize14.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 2 (.f64 y x))
✓	0.0b	(+.f64 (.f64 2 (.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))

series21.0ms (0.7%)

Counts

2 → 12

Calls

2 calls:

13.0ms	(+.f64 (.f64 2 (.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
8.0ms	(.f64 2 (.f64 y x))

rewrite112.0ms (3.4%)

Algorithm

2×	batch-egg-rewrite

Rules

576×	`fma-def_binary64`
535×	`log-prod_binary64`
299×	`fma-neg_binary64`
193×	`expm1-udef_binary64`
193×	`log1p-udef_binary64`

Counts

2 → 108

Calls

2 calls:

108.0ms	(.f64 2 (.f64 y x))
108.0ms	(+.f64 (.f64 2 (.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	228	21
2	2814	21
3	5702	21
0	0	0
1	0	0

simplify169.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

968×	`sqr-pow_binary64`
579×	`fabs-mul_binary64`
537×	`cube-prod_binary64`
474×	`fma-def_binary64`
464×	`*-commutative_binary64`

Counts

120 → 116

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	90
1	26	87
2	49	78
3	110	72
4	284	72
5	949	72
6	1558	72
7	1753	72
8	1887	72
9	2102	72
10	2336	72
11	2597	72
12	2773	72
13	3216	72
14	3796	72
15	4149	72
16	4428	72
17	4530	72
18	4559	72
19	4571	72
20	5023	72

prune226.0ms (6.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	116	2	118

Error

Counts

118 → 2

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 x y))
✓	0.0b	(+.f64 (.f64 2 (.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))

Compiler

Compiled 2038 to 1057 computations (48.1% saved)

regimes366.0ms (11.2%)

Accuracy

Total -0.0b remaining (-55.6%)

Threshold costs -0.0b (-55.6%)

Counts

39 → 1

Compiler

Compiled 1834 to 1175 computations (35.9% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	10	15
2	10	15

end102.0ms (3.1%)

Remove: (sort x y)
Compiler: Compiled 76 to 43 computations (43.4% saved)

Details

analyze403.0ms (12.4%)

sample1.5s (45.3%)

simplify25.0ms (0.8%)

prune4.0ms (0.1%)

localize6.0ms (0.2%)

series9.0ms (0.3%)

rewrite67.0ms (2.1%)

simplify199.0ms (6.1%)

prune56.0ms (1.7%)

localize14.0ms (0.4%)

series21.0ms (0.7%)

rewrite112.0ms (3.4%)

simplify169.0ms (5.2%)

prune226.0ms (6.9%)

regimes366.0ms (11.2%)

simplify4.0ms (0.1%)

end102.0ms (3.1%)

Profiling