Details

Time bar (total: 1.3s)

analyze142.0ms (11.2%)

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)

sample805.0ms (63.7%)

Symmetry

(sort x y)

Results
775.0ms8256×body128valid
0.0ms1×body128invalid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify6.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.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 42 to 25 computations (40.5% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.8%)

Counts
1 → 24
Calls

1 calls:

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

rewrite7.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
7×*-un-lft-identity_binary64
4×associate-/l*_binary64
4×times-frac_binary64
Counts
1 → 29
Calls

1 calls:

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

simplify60.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
701×fma-def_binary64
664×times-frac_binary64
522×associate-/r*_binary64
519×associate-*l*_binary64
500×distribute-rgt-in_binary64
Counts
53 → 45
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
080767
1222654
2839654
33818653
45409653

prune21.0ms (1.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New43245
Fresh000
Picked101
Done000
Total44246
Error
0b
Counts
46 → 2
Alt Table
StatusErrorProgram
31.5b
(/.f64 1/2 y)
▶0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 718 to 350 computations (51.3% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.8%)

Counts
1 → 24
Calls

1 calls:

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

rewrite12.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
18×*-un-lft-identity_binary64
15×times-frac_binary64
13×fma-def_binary64
10×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
Counts
1 → 32
Calls

1 calls:

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

simplify87.0ms (6.9%)

Algorithm
1×egg-herbie
Rules
539×distribute-rgt-out_binary64
539×times-frac_binary64
394×associate-/l/_binary64
321×fma-neg_binary64
298×distribute-rgt-in_binary64
Counts
56 → 40
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
049504
1127473
2402472
31379472
42965472
54451472
64835472
75030472

prune21.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New40040
Fresh011
Picked011
Done000
Total40242
Error
0b
Counts
42 → 2
Alt Table
StatusErrorProgram
▶31.5b
(/.f64 1/2 y)
✓0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 554 to 410 computations (26% saved)

localize2.0ms (0.1%)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0b
Counts
2 → 2
Alt Table
StatusErrorProgram
✓31.5b
(/.f64 1/2 y)
✓0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 14 to 11 computations (21.4% saved)

regimes24.0ms (1.9%)

Accuracy

Total 0.0b remaining (0.9%)

Threshold costs 0.0b (0.9%)

Counts
5 → 1
Compiler

Compiled 163 to 121 computations (25.8% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
1810
2810

end43.0ms (3.4%)

Remove

(sort x y)

Compiler

Compiled 50 to 39 computations (22% saved)

Profiling

Loading profile data...