Details

Time bar (total: 4.1s)

analyze47.0ms (1.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
56.2%43.7%0.1%5
65.6%34.3%0.1%6
79.6%20.3%0.1%7
83.5%16.4%0.1%8
90.1%9.8%0.1%9
91.9%8%0.1%10
95.1%4.8%0.1%11
96%4%0.1%12
97.5%2.4%0.1%13
97.9%2%0.1%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.1s (25.7%)

Results
738.0ms8252×body128valid
1.0ms3×body1024valid
0.0ms1×body256valid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify274.0ms (6.7%)

Algorithm
1×egg-herbie
Rules
1222×fma-neg_binary64
983×fma-def_binary64
688×div-sub_binary64
423×sub-neg_binary64
412×distribute-rgt-in_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11813
23513
37413
415113
524513
664113
7112513
8215813
9272913
10303713
11299513
12304913
13306313
14356913
15355913
16355913
17355913
18355913
19355913
20365513
21370313
22378513
23359313

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series12.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

11.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

rewrite14.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
58×*-un-lft-identity_binary64
40×add-sqr-sqrt_binary64
30×times-frac_binary64
19×distribute-lft-out--_binary64
14×add-cube-cbrt_binary64
Counts
1 → 60
Calls

1 calls:

9.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

simplify91.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
702×fma-def_binary64
518×times-frac_binary64
339×fma-neg_binary64
291×distribute-rgt-in_binary64
228×cancel-sign-sub-inv_binary64
Counts
84 → 109
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02242433
16352369
221152256
348532256
450452256

prune67.0ms (1.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1072109
Fresh000
Picked101
Done000
Total1082110
Error
0b
Counts
110 → 2
Alt Table
StatusErrorProgram
0.1b
(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
▶0.0b
(-.f64 (/.f64 x (-.f64 2 (+.f64 x y))) (/.f64 y (-.f64 2 (+.f64 x y))))
Compiler

Compiled 2609 to 1340 computations (48.6% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series38.0ms (0.9%)

Counts
3 → 72
Calls

3 calls:

15.0ms
(-.f64 (/.f64 x (-.f64 2 (+.f64 x y))) (/.f64 y (-.f64 2 (+.f64 x y))))
12.0ms
(/.f64 x (-.f64 2 (+.f64 x y)))
11.0ms
(/.f64 y (-.f64 2 (+.f64 x y)))

rewrite242.0ms (5.9%)

Algorithm
1×rewrite-expression-head
Rules
1377×*-un-lft-identity_binary64
964×times-frac_binary64
859×add-sqr-sqrt_binary64
576×prod-diff_binary64
527×add-cube-cbrt_binary64
Counts
3 → 745
Calls

3 calls:

38.0ms
(-.f64 (/.f64 x (-.f64 2 (+.f64 x y))) (/.f64 y (-.f64 2 (+.f64 x y))))
6.0ms
(/.f64 x (-.f64 2 (+.f64 x y)))
5.0ms
(/.f64 y (-.f64 2 (+.f64 x y)))

simplify986.0ms (24.1%)

Algorithm
1×egg-herbie
Rules
353×fma-udef_binary64
257×unsub-neg_binary64
249×fma-def_binary64
232×fma-neg_binary64
213×associate-*r/_binary64
Counts
817 → 719
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
076969746
1196839458
2438238404
3499538404
4500038404

prune621.0ms (15.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New7190719
Fresh011
Picked011
Done000
Total7192721
Error
0b
Counts
721 → 2
Alt Table
StatusErrorProgram
▶0.1b
(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
✓0.0b
(-.f64 (/.f64 x (-.f64 2 (+.f64 x y))) (/.f64 y (-.f64 2 (+.f64 x y))))
Compiler

Compiled 39308 to 20263 computations (48.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series25.0ms (0.6%)

Counts
2 → 48
Calls

2 calls:

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

rewrite51.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
292×*-un-lft-identity_binary64
258×times-frac_binary64
214×add-sqr-sqrt_binary64
100×add-cube-cbrt_binary64
83×distribute-lft-out--_binary64
Counts
2 → 230
Calls

2 calls:

10.0ms
(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
7.0ms
(/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y))

simplify201.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
814×times-frac_binary64
253×fma-neg_binary64
207×fma-def_binary64
179×+-commutative_binary64
143×associate--r+_binary64
Counts
278 → 300
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03387906
19687346
234447309
349987309
449647309

prune166.0ms (4.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New3000300
Fresh000
Picked011
Done011
Total3002302
Error
0b
Counts
302 → 2
Alt Table
StatusErrorProgram
✓0.1b
(/.f64 1 (/.f64 (-.f64 2 (+.f64 x y)) (-.f64 x y)))
✓0.0b
(-.f64 (/.f64 x (-.f64 2 (+.f64 x y))) (/.f64 y (-.f64 2 (+.f64 x y))))
Compiler

Compiled 7712 to 3983 computations (48.4% saved)

regimes140.0ms (3.4%)

Accuracy

Total 0.0b remaining (32%)

Threshold costs 0.0b (32%)

Counts
53 → 1
Compiler

Compiled 2478 to 1737 computations (29.9% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
7×+-commutative_binary64
6×sub-neg_binary64
4×*-commutative_binary64
4×neg-sub0_binary64
4×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0922
11422
22722
33722
44322
54522
64522

end44.0ms (1.1%)

Compiler

Compiled 64 to 39 computations (39.1% saved)

Profiling

Loading profile data...