Details

Time bar (total: 3.1s)

analyze288.0ms (9.3%)

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.4s (44.9%)

Symmetry

(sort x y)

Results
1.3s8256×body128valid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify12.0ms (0.4%)

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

prune7.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 42 to 25 computations (40.5% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series14.0ms (0.5%)

Counts
1 → 24
Calls

1 calls:

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

rewrite69.0ms (2.2%)

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 → 46
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
118013
2253513
3540313
000
100

simplify19.0ms (0.6%)

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
70 → 50
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012204
121204
227204
324204

prune40.0ms (1.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New47350
Fresh000
Picked101
Done000
Total48351
Error
0b
Counts
51 → 3
Alt Table
StatusErrorProgram
9.4b
(*.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (*.f64 y 2)))
5.7b
(*.f64 (/.f64 (+.f64 x y) (+.f64 x x)) (/.f64 1 y))
▶0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 812 to 243 computations (70.1% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.4%)

Counts
1 → 24
Calls

1 calls:

13.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

rewrite95.0ms (3.1%)

Algorithm
2×batch-egg-rewrite
Rules
903×prod-diff_binary64
323×fma-def_binary64
194×fma-neg_binary64
158×expm1-udef_binary64
158×log1p-udef_binary64
Counts
1 → 68
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
116710
2239010
3476810
4493210
000
100

simplify20.0ms (0.6%)

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
92 → 72
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012204
121204
227204
324204

prune75.0ms (2.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New71172
Fresh112
Picked011
Done000
Total72375
Error
0b
Counts
75 → 3
Alt Table
StatusErrorProgram
▶5.6b
(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 1/2 y)) x) y)
5.7b
(*.f64 (/.f64 (+.f64 x y) (+.f64 x x)) (/.f64 1 y))
✓0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 1018 to 700 computations (31.2% saved)

localize11.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (fma.f64 1/2 x (*.f64 1/2 y)) x)
✓5.3b
(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 1/2 y)) x) y)

series28.0ms (0.9%)

Counts
2 → 48
Calls

2 calls:

17.0ms
(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 1/2 y)) x) y)
11.0ms
(/.f64 (fma.f64 1/2 x (*.f64 1/2 y)) x)

rewrite117.0ms (3.8%)

Algorithm
2×batch-egg-rewrite
Rules
475×log-prod_binary64
319×prod-diff_binary64
235×pow2_binary64
165×pow1/3_binary64
162×expm1-udef_binary64
Counts
2 → 85
Calls

2 calls:

114.0ms
(/.f64 (fma.f64 1/2 x (*.f64 1/2 y)) x)
114.0ms
(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 1/2 y)) x) y)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0825
117423
2234523
3499823
4541723
000
100

simplify67.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
133 → 93
Iterations

Useful iterations: 0 (0.0ms)

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

prune168.0ms (5.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New93093
Fresh011
Picked011
Done011
Total93396
Error
0b
Counts
96 → 3
Alt Table
StatusErrorProgram
✓5.6b
(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 1/2 y)) x) y)
▶5.7b
(*.f64 (/.f64 (+.f64 x y) (+.f64 x x)) (/.f64 1 y))
✓0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 1407 to 779 computations (44.6% saved)

localize12.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

series47.0ms (1.5%)

Counts
2 → 48
Calls

2 calls:

33.0ms
(/.f64 (+.f64 x y) (+.f64 x x))
14.0ms
(*.f64 (/.f64 (+.f64 x y) (+.f64 x x)) (/.f64 1 y))

rewrite146.0ms (4.7%)

Algorithm
2×batch-egg-rewrite
Rules
672×prod-diff_binary64
498×fma-udef_binary64
257×fma-neg_binary64
248×fma-def_binary64
169×expm1-udef_binary64
Counts
2 → 92
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0923
120923
2275023
3475323
4479923
5494523
000
100

simplify66.0ms (2.1%)

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
140 → 100
Iterations

Useful iterations: 0 (0.0ms)

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

prune180.0ms (5.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1000100
Fresh000
Picked011
Done022
Total1003103
Error
0b
Counts
103 → 3
Alt Table
StatusErrorProgram
✓5.6b
(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 1/2 y)) x) y)
✓5.7b
(*.f64 (/.f64 (+.f64 x y) (+.f64 x x)) (/.f64 1 y))
✓0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 1359 to 476 computations (65% saved)

regimes87.0ms (2.8%)

Accuracy

Total 0.0b remaining (67.8%)

Threshold costs 0.0b (67.8%)

Counts
14 → 1
Compiler

Compiled 463 to 325 computations (29.8% saved)

simplify6.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
1810
2810

end104.0ms (3.4%)

Remove

(sort x y)

Compiler

Compiled 70 to 51 computations (27.1% saved)

Profiling

Loading profile data...