Details

Time bar (total: 1.8s)

analyze63.0ms (3.6%)

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
37.5%62.4%0.1%5
43.7%56.2%0.1%6
74.9%25%0.1%7
81.2%18.7%0.1%8
87.4%12.5%0.1%9
90.5%9.4%0.1%10
93.7%6.2%0.1%11
95.2%4.7%0.1%12
96.8%3.1%0.1%13
97.6%2.3%0.1%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample853.0ms (48.6%)

Results
840.0ms8256×body128valid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess40.0ms (2.3%)

Algorithm
2×egg-herbie
Rules
868×fma-neg_binary64
664×div-sub_binary64
422×times-frac_binary64
246×distribute-rgt-in_binary64
196×distribute-lft-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
12420
23720
36420
413120
526420
653720
7155720
8344820
9472420
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify49.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
538×fma-neg_binary64
369×fma-def_binary64
316×div-sub_binary64
272×times-frac_binary64
116×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11510
22210
33710
47010
512010
622710
744610
8106810
9219810
10283310
11311610
12312610
13312610
Stop Event
1×saturated
Counts
1 → 2

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 34 to 22 computations (35.3% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.5%)

Counts
1 → 24
Calls

6 calls:

2.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
x
-inf
2.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
x
inf
2.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
x
0
1.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
y
-inf
1.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
y
inf

rewrite119.0ms (6.8%)

Algorithm
1×batch-egg-rewrite
Rules
725×prod-diff_binary64
238×fma-def_binary64
221×egg-rr
150×expm1-udef_binary64
149×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
116110
2240610
Stop Event
1×node limit
Counts
1 → 221

simplify32.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
493×+-commutative_binary64
479×associate-+l-_binary64
438×cancel-sign-sub-inv_binary64
410×fma-neg_binary64
350×associate--r+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
046419
1140413
2452406
31890396
Stop Event
1×node limit
Counts
245 → 238

prune241.0ms (13.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2371238
Fresh000
Picked011
Done000
Total2372239
Error
0b
Counts
239 → 2
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (-.f64 1 y))
▶0.0b
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
Compiler

Compiled 10764 to 7254 computations (32.6% saved)

localize9.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.6%)

Counts
1 → 15
Calls

6 calls:

2.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
x
inf
2.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
x
0
2.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
x
-inf
1.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
y
-inf
1.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
y
inf

rewrite88.0ms (5%)

Algorithm
1×batch-egg-rewrite
Rules
433×fma-def_binary64
241×log-div_binary64
236×fma-neg_binary64
176×expm1-udef_binary64
175×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
118910
2305210
Stop Event
1×node limit
Counts
1 → 169

simplify25.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
501×+-commutative_binary64
478×associate-+l-_binary64
438×cancel-sign-sub-inv_binary64
410×fma-neg_binary64
348×associate--r+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
045275
1138269
2449262
31879252
Stop Event
1×node limit
Counts
184 → 186

prune127.0ms (7.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1860186
Fresh000
Picked011
Done011
Total1862188
Error
0b
Counts
188 → 2
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (-.f64 1 y))
✓0.0b
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
Compiler

Compiled 4121 to 2648 computations (35.7% saved)

regimes44.0ms (2.5%)

Accuracy

Total 0.0b remaining (41.7%)

Threshold costs 0.0b (41.7%)

Counts
14 → 1
Compiler

Compiled 417 to 296 computations (29% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11210
21710
31910
42010
Stop Event
1×saturated

end39.0ms (2.2%)

Stop Event
1×done
Compiler

Compiled 40 to 27 computations (32.5% saved)

Profiling

Loading profile data...