Details

analyze2.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 10 to 5 computations (50% saved)

sample490.0ms (50.2%)

Infinites

44.2% of outputs are infinite.

Symmetry

(sort x y)

Results

439.0ms

8256×

body

128

valid

Compiler

Compiled 29 to 14 computations (51.7% saved)

simplify9.0ms (0.9%)

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

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

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

5.0ms

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

rewrite9.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64`
8×	`pow1_binary64`
7×	`add-sqr-sqrt_binary64`
6×	`distribute-lft-out_binary64`
6×	`swap-sqr_binary64`

Counts

1 → 42

Calls

1 calls:

7.0ms

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

simplify51.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

728×	`associate-+l+_binary64`
594×	`unswap-sqr_binary64`
430×	`distribute-rgt-in_binary64`
422×	`distribute-lft-in_binary64`
327×	`fma-def_binary64`

Counts

66 → 64

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	994
1	200	853
2	739	757
3	2462	692
4	5240	692

prune37.0ms (3.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	62	3	65

Error

Counts

65 → 3

Alt Table

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

Compiler

Compiled 936 to 285 computations (69.6% saved)

localize5.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

series14.0ms (1.5%)

Counts

2 → 48

Calls

2 calls:

9.0ms	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 x y)))
5.0ms	(*.f64 x (+.f64 x y))

rewrite11.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`associate-*r/_binary64`
6×	`*-un-lft-identity_binary64`
6×	`flip-+_binary64`
6×	`flip3-+_binary64`
6×	`add-sqr-sqrt_binary64`

Counts

2 → 48

Calls

2 calls:

5.0ms	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 x y)))
4.0ms	(*.f64 x (+.f64 x y))

simplify80.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

929×	`fma-def_binary64`
728×	`fma-neg_binary64`
361×	`*-commutative_binary64`
337×	`cancel-sign-sub-inv_binary64`
334×	`associate-+r+_binary64`

Counts

96 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	100	1227
1	333	1128
2	1340	1010
3	3551	1010
4	4949	1010
5	5011	1010

prune44.0ms (4.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	90	3	93

Error

Counts

93 → 3

Alt Table

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

Compiler

Compiled 1639 to 376 computations (77.1% saved)

localize4.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0.9%)

Counts

1 → 24

Calls

1 calls:

9.0ms

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

rewrite5.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 24

Calls

1 calls:

4.0ms

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

simplify54.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

512×	`distribute-rgt-out_binary64`
512×	`unswap-sqr_binary64`
428×	`associate-l_binary64`
341×	`associate-+l+_binary64`
319×	`associate-r_binary64`

Counts

48 → 45

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	50	565
1	151	441
2	542	441
3	1810	441
4	3419	441
5	5056	441

prune22.0ms (2.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	45	3	48

Error

Counts

48 → 3

Alt Table

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

Compiler

Compiled 606 to 360 computations (40.6% saved)

regimes70.0ms (7.2%)

Accuracy

Total 0.0b remaining (62.7%)

Threshold costs 0.0b (62.7%)

Counts

19 → 1

Compiler

Compiled 708 to 458 computations (35.3% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	6	10
2	6	10

end47.0ms (4.8%)

Remove: (sort x y)
Compiler: Compiled 67 to 32 computations (52.2% saved)

Details

analyze2.0ms (0.2%)

sample490.0ms (50.2%)

simplify9.0ms (0.9%)

prune1.0ms (0.1%)

localize3.0ms (0.3%)

series5.0ms (0.5%)

rewrite9.0ms (0.9%)

simplify51.0ms (5.3%)

prune37.0ms (3.8%)

localize5.0ms (0.5%)

series14.0ms (1.5%)

rewrite11.0ms (1.1%)

simplify80.0ms (8.2%)

prune44.0ms (4.5%)

localize4.0ms (0.5%)

series9.0ms (0.9%)

rewrite5.0ms (0.5%)

simplify54.0ms (5.6%)

prune22.0ms (2.2%)

regimes70.0ms (7.2%)

simplify2.0ms (0.2%)

end47.0ms (4.8%)

Profiling