Details

Time bar (total: 3.0s)

analyze518.0ms (17.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
0%99.9%0.1%5
9.4%90.5%0.1%6
14%85.8%0.1%7
22.6%77.2%0.1%8
37.8%60.5%1.7%9
40%56%4%10
47.3%48.7%4%11
56.8%36.2%7%12
58.6%32.4%9%13
63.4%27.5%9%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample933.0ms (31%)

Results
826.0ms8256×body128valid
72.0ms752×body128invalid
Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess42.0ms (1.4%)

Algorithm
2×egg-herbie
Rules
786×div-sub_binary64
434×fma-def_binary64
235×distribute-neg-frac_binary64
235×times-frac_binary64
201×unsub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01640
13540
28340
320940
444940
5110040
6356240
033
Stop Event
1×saturated
1×node limit
Compiler

Compiled 10 to 6 computations (40% saved)

simplify20.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
816×fma-def_binary64
463×associate-/l*_binary64
368×associate-*l/_binary64
316×associate-/r*_binary64
286×associate-/l/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11210
22710
36210
413410
524210
644310
7126510
Stop Event
1×node limit
Counts
1 → 2

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶4.2b
(-.f64 x (/.f64 z (/.f64 y x)))
12.4b
(/.f64 (*.f64 x (-.f64 y z)) y)
Compiler

Compiled 57 to 33 computations (42.1% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series26.0ms (0.9%)

Counts
2 → 72
Calls

18 calls:

4.0ms
(-.f64 x (/.f64 z (/.f64 y x)))
z
0
2.0ms
(/.f64 z (/.f64 y x))
z
-inf
2.0ms
(/.f64 z (/.f64 y x))
x
-inf
2.0ms
(-.f64 x (/.f64 z (/.f64 y x)))
x
-inf
2.0ms
(-.f64 x (/.f64 z (/.f64 y x)))
x
inf

rewrite90.0ms (3%)

Algorithm
1×batch-egg-rewrite
Rules
697×prod-diff_binary64
243×egg-rr
239×fma-def_binary64
158×expm1-udef_binary64
158×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
116317
2258817
Stop Event
1×node limit
Counts
2 → 243

simplify63.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
379×fma-def_binary64
215×fma-neg_binary64
70×distribute-rgt-in_binary64
64×cancel-sign-sub-inv_binary64
63×distribute-lft-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016582
136582
288582
3158582
4338582
5754582
61376582
71613582
81623582
91637582
101642582
Stop Event
1×saturated
Counts
315 → 251

prune154.0ms (5.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2492251
Fresh011
Picked011
Done000
Total2494253
Error
0b
Counts
253 → 4
Alt Table
StatusErrorProgram
3.8b
(-.f64 x (*.f64 (/.f64 1 y) (/.f64 z (/.f64 1 x))))
✓4.2b
(-.f64 x (/.f64 z (/.f64 y x)))
▶3.1b
(*.f64 (-.f64 1 (/.f64 z y)) x)
12.4b
(/.f64 (*.f64 x (-.f64 y z)) y)
Compiler

Compiled 6795 to 2262 computations (66.7% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series17.0ms (0.6%)

Counts
2 → 30
Calls

15 calls:

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

rewrite47.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
837×log1p-expm1-u_binary64
837×expm1-log1p-u_binary64
343×prod-diff_binary64
85×add-sqr-sqrt_binary64
79×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
116817
2220317
Stop Event
1×node limit
Counts
2 → 51

simplify66.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
399×fma-def_binary64
223×fma-neg_binary64
74×cancel-sign-sub-inv_binary64
53×distribute-rgt-in_binary64
48×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012231
126231
246231
382231
4135231
5271231
6474231
7701231
81098231
91512231
101526231
111540231
121545231
Stop Event
1×saturated
Counts
81 → 59

prune43.0ms (1.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New59059
Fresh022
Picked011
Done011
Total59463
Error
0b
Counts
63 → 4
Alt Table
StatusErrorProgram
▶3.8b
(-.f64 x (*.f64 (/.f64 1 y) (/.f64 z (/.f64 1 x))))
✓4.2b
(-.f64 x (/.f64 z (/.f64 y x)))
✓3.1b
(*.f64 (-.f64 1 (/.f64 z y)) x)
12.4b
(/.f64 (*.f64 x (-.f64 y z)) y)
Compiler

Compiled 768 to 418 computations (45.6% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (*.f64 (/.f64 1 y) (/.f64 z (/.f64 1 x))))
✓0.2b
(/.f64 z (/.f64 1 x))
✓4.7b
(*.f64 (/.f64 1 y) (/.f64 z (/.f64 1 x)))

series31.0ms (1%)

Counts
3 → 96
Calls

24 calls:

5.0ms
(*.f64 (/.f64 1 y) (/.f64 z (/.f64 1 x)))
x
-inf
2.0ms
(*.f64 (/.f64 1 y) (/.f64 z (/.f64 1 x)))
z
0
2.0ms
(*.f64 (/.f64 1 y) (/.f64 z (/.f64 1 x)))
y
-inf
2.0ms
(-.f64 x (*.f64 (/.f64 1 y) (/.f64 z (/.f64 1 x))))
x
-inf
2.0ms
(-.f64 x (*.f64 (/.f64 1 y) (/.f64 z (/.f64 1 x))))
x
inf

rewrite112.0ms (3.7%)

Algorithm
1×batch-egg-rewrite
Rules
813×prod-diff_binary64
312×egg-rr
115×add-sqr-sqrt_binary64
109×log1p-expm1-u_binary64
109×expm1-log1p-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01030
122921
2334521
Stop Event
1×node limit
Counts
3 → 312

simplify65.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
379×fma-def_binary64
215×fma-neg_binary64
70×distribute-rgt-in_binary64
64×cancel-sign-sub-inv_binary64
63×distribute-lft-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016678
136678
288678
3158678
4338678
5754678
61376678
71613678
81623678
91637678
101642678
Stop Event
1×saturated
Counts
408 → 320

prune201.0ms (6.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New3191320
Fresh101
Picked101
Done022
Total3213324
Error
0b
Counts
324 → 3
Alt Table
StatusErrorProgram
✓4.2b
(-.f64 x (/.f64 z (/.f64 y x)))
✓3.1b
(*.f64 (-.f64 1 (/.f64 z y)) x)
▶3.8b
(-.f64 x (*.f64 (/.f64 1 y) (*.f64 z x)))
Compiler

Compiled 9576 to 3921 computations (59.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series28.0ms (0.9%)

Counts
2 → 72
Calls

18 calls:

6.0ms
(*.f64 (/.f64 1 y) (*.f64 z x))
x
inf
2.0ms
(*.f64 (/.f64 1 y) (*.f64 z x))
x
0
2.0ms
(*.f64 (/.f64 1 y) (*.f64 z x))
x
-inf
2.0ms
(*.f64 (/.f64 1 y) (*.f64 z x))
z
-inf
2.0ms
(-.f64 x (*.f64 (/.f64 1 y) (*.f64 z x)))
x
-inf

rewrite91.0ms (3%)

Algorithm
1×batch-egg-rewrite
Rules
830×prod-diff_binary64
262×fma-def_binary64
251×egg-rr
172×expm1-udef_binary64
172×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0917
119417
2267317
Stop Event
1×node limit
Counts
2 → 251

simplify59.0ms (2%)

Algorithm
1×egg-herbie
Rules
379×fma-def_binary64
215×fma-neg_binary64
70×distribute-rgt-in_binary64
64×cancel-sign-sub-inv_binary64
63×distribute-lft-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016582
136582
288582
3158582
4338582
5754582
61376582
71613582
81623582
91637582
101642582
Stop Event
1×saturated
Counts
323 → 259

prune164.0ms (5.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2590259
Fresh000
Picked011
Done022
Total2593262
Error
0b
Counts
262 → 3
Alt Table
StatusErrorProgram
✓4.2b
(-.f64 x (/.f64 z (/.f64 y x)))
✓3.1b
(*.f64 (-.f64 1 (/.f64 z y)) x)
✓3.8b
(-.f64 x (*.f64 (/.f64 1 y) (*.f64 z x)))
Compiler

Compiled 7707 to 2922 computations (62.1% saved)

regimes117.0ms (3.9%)

Accuracy

Total 1.5b remaining (98.7%)

Threshold costs 0b (0%)

Counts
19 → 3
Compiler

Compiled 804 to 534 computations (33.6% saved)

bsearch26.0ms (0.9%)

Algorithm
2×binary-search
Calls

2 calls:

16.0ms
y
10.0ms
y
Steps
ItersPointRange
5.8766865566272e+33
∈ [
5.0184340810064895e+33
, 
2.5880183946753393e+34
]
-3.764995542857667e-12
∈ [
-4.019528110567531e-9
, 
-1.5044852252163907e-16
]
Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02142
13142
24742
36342
47242
57542
Stop Event
1×saturated

end56.0ms (1.9%)

Stop Event
1×done
Compiler

Compiled 96 to 59 computations (38.5% saved)

Profiling

Loading profile data...