Details

Time bar (total: 1.2s)

analyze26.0ms (2.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
74.9%25%0.1%5
74.9%25%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
93.7%6.2%0.1%9
93.7%6.2%0.1%10
96.8%3.1%0.1%11
96.8%3.1%0.1%12
98.3%1.6%0.1%13
98.3%1.6%0.1%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample618.0ms (53.4%)

Infinites
0% of outputs are infinite.
Results
571.0ms8254×body128valid
0.0ms2×body1024valid
Compiler

Compiled 29 to 20 computations (31% saved)

simplify6.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
1×1-exp_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11110
21010

prune1.0ms (0.1%)

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 y 1))
Compiler

Compiled 27 to 18 computations (33.3% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series11.0ms (0.9%)

Counts
1 → 24
Calls

1 calls:

11.0ms
(/.f64 (+.f64 x y) (+.f64 y 1))

rewrite13.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
31×*-un-lft-identity_binary64
16×times-frac_binary64
11×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
10×distribute-lft-out_binary64
Counts
1 → 42
Calls

1 calls:

11.0ms
(/.f64 (+.f64 x y) (+.f64 y 1))

simplify79.0ms (6.8%)

Algorithm
1×egg-herbie
Rules
944×fma-neg_binary64
615×cancel-sign-sub-inv_binary64
443×times-frac_binary64
384×distribute-rgt-in_binary64
346×sub-neg_binary64
Counts
66 → 78
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01091149
12801098
27901091
325471089
441741089
550651089

prune52.0ms (4.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New76278
Fresh000
Picked101
Done000
Total77279
Error
0b
Counts
79 → 2
Alt Table
StatusErrorProgram
30.1b
(-.f64 (+.f64 y x) (*.f64 y x))
▶0.0b
(+.f64 (/.f64 x (+.f64 1 y)) (/.f64 y (+.f64 1 y)))
Compiler

Compiled 1211 to 644 computations (46.8% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

series12.0ms (1.1%)

Counts
2 → 24
Calls

2 calls:

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

rewrite10.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64
24×times-frac_binary64
20×add-sqr-sqrt_binary64
20×add-cube-cbrt_binary64
8×associate-/r*_binary64
Counts
2 → 70
Calls

2 calls:

3.0ms
(/.f64 x (+.f64 1 y))
3.0ms
(/.f64 y (+.f64 1 y))

simplify100.0ms (8.7%)

Algorithm
1×egg-herbie
Rules
869×fma-neg_binary64
821×fma-def_binary64
419×associate-/l/_binary64
397×cancel-sign-sub-inv_binary64
226×associate-/r/_binary64
Counts
94 → 138
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01341256
12861187
26981179
317551176
442241172
549641172
649451172

prune77.0ms (6.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1380138
Fresh011
Picked011
Done000
Total1382140
Error
0b
Counts
140 → 2
Alt Table
StatusErrorProgram
▶30.1b
(-.f64 (+.f64 y x) (*.f64 y x))
✓0.0b
(+.f64 (/.f64 x (+.f64 1 y)) (/.f64 y (+.f64 1 y)))
Compiler

Compiled 2470 to 1577 computations (36.2% saved)

localize4.0ms (0.3%)

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
✓30.1b
(-.f64 (+.f64 y x) (*.f64 y x))
✓0.0b
(+.f64 (/.f64 x (+.f64 1 y)) (/.f64 y (+.f64 1 y)))
Compiler

Compiled 22 to 14 computations (36.4% saved)

regimes97.0ms (8.4%)

Accuracy

Total 0.0b remaining (20.3%)

Threshold costs 0.0b (20.3%)

Counts
34 → 1
Compiler

Compiled 1134 to 809 computations (28.7% saved)

simplify2.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0816
11216
21116

end38.0ms (3.3%)

Compiler

Compiled 48 to 32 computations (33.3% saved)

Profiling

Loading profile data...