Details

Time bar (total: 1.9s)

analyze145.0ms (7.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
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%74.9%0.1%6
56.2%43.7%0.1%7
56.2%43.7%0.1%8
76.5%23.4%0.1%9
76.5%23.4%0.1%10
87.8%12.1%0.1%11
87.8%12.1%0.1%12
93.8%6.1%0.1%13
93.8%6.1%0.1%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.2s (61.8%)

Symmetry

(sort x y)

Results
1.2s8256×body128valid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify9.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
13×associate-/r*_binary64
5×*-commutative_binary64
4×associate-/l/_binary64
3×associate-*r*_binary64
3×associate-*l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11513
22813
33913
43713
53713

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
16.9b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶16.9b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 42 to 25 computations (40.5% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓16.1b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

series8.0ms (0.4%)

Counts
1 → 24
Calls

1 calls:

8.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

rewrite55.0ms (2.8%)

Algorithm
2×batch-egg-rewrite
Rules
517×log-prod_binary64
482×prod-diff_binary64
180×fma-def_binary64
167×expm1-udef_binary64
167×log1p-udef_binary64
Counts
1 → 47
Calls

1 calls:

54.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
118013
2253513
3540313
000
100

simplify10.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
3×*-commutative_binary64
2×+-commutative_binary64
2×associate-*r/_binary64
1×distribute-lft-out_binary64
Counts
71 → 51
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012204
121204
227204
324204

prune23.0ms (1.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New49251
Fresh000
Picked011
Done000
Total49352
Error
0b
Counts
52 → 3
Alt Table
StatusErrorProgram
▶8.6b
(*.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (*.f64 y 2)))
9.6b
(*.f64 (/.f64 (+.f64 x y) (+.f64 x x)) (/.f64 1 y))
✓16.9b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 814 to 236 computations (71% saved)

localize8.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (+.f64 x y) (*.f64 y 2))
✓8.1b
(*.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (*.f64 y 2)))

series14.0ms (0.7%)

Counts
2 → 48
Calls

2 calls:

8.0ms
(*.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (*.f64 y 2)))
6.0ms
(/.f64 (+.f64 x y) (*.f64 y 2))

rewrite127.0ms (6.5%)

Algorithm
2×batch-egg-rewrite
Rules
491×prod-diff_binary64
378×fma-udef_binary64
229×fma-def_binary64
214×fma-neg_binary64
193×expm1-udef_binary64
Counts
2 → 102
Calls

2 calls:

125.0ms
(/.f64 (+.f64 x y) (*.f64 y 2))
125.0ms
(*.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (*.f64 y 2)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
122223
2307423
3485323
4480623
5493423
000
100

simplify42.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
36×fma-def_binary64
29×associate-/l*_binary64
21×associate-/l/_binary64
21×times-frac_binary64
18×*-commutative_binary64
Counts
150 → 111
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016372
129372
241372
346372
451372
561372
662372
794372
895372
9103372
10116372
11142372
12169372
13180372
14174372
15163372

prune65.0ms (3.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1101111
Fresh101
Picked011
Done011
Total1113114
Error
0b
Counts
114 → 3
Alt Table
StatusErrorProgram
✓8.6b
(*.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (*.f64 y 2)))
▶9.6b
(/.f64 (/.f64 (+.f64 x y) x) (*.f64 y 2))
✓16.9b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 1533 to 850 computations (44.6% saved)

localize8.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓8.9b
(/.f64 (/.f64 (+.f64 x y) x) (*.f64 y 2))

series9.0ms (0.4%)

Counts
1 → 24
Calls

1 calls:

8.0ms
(/.f64 (/.f64 (+.f64 x y) x) (*.f64 y 2))

rewrite63.0ms (3.2%)

Algorithm
2×batch-egg-rewrite
Rules
500×prod-diff_binary64
197×log-div_binary64
185×fma-def_binary64
175×expm1-udef_binary64
175×log1p-udef_binary64
Counts
1 → 50
Calls

1 calls:

62.0ms
(/.f64 (/.f64 (+.f64 x y) x) (*.f64 y 2))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
118613
2279913
3505813
000
100

simplify14.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
3×*-commutative_binary64
2×+-commutative_binary64
2×associate-*r/_binary64
1×distribute-lft-out_binary64
Counts
74 → 54
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012204
121204
227204
324204

prune27.0ms (1.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New54054
Fresh000
Picked011
Done022
Total54357
Error
0b
Counts
57 → 3
Alt Table
StatusErrorProgram
✓8.6b
(*.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (*.f64 y 2)))
✓9.6b
(/.f64 (/.f64 (+.f64 x y) x) (*.f64 y 2))
✓16.9b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 792 to 378 computations (52.3% saved)

regimes52.0ms (2.7%)

Accuracy

Total -0.0b remaining (-19.7%)

Threshold costs -0.0b (-19.7%)

Counts
17 → 1
Compiler

Compiled 586 to 397 computations (32.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
1810
2810

end55.0ms (2.8%)

Remove

(sort x y)

Compiler

Compiled 71 to 51 computations (28.2% saved)

Profiling

Loading profile data...