Details

Time bar (total: 2.9s)

analyze2.0ms (0.1%)

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample775.0ms (26.8%)

Results
760.0ms8256×body128valid
Compiler

Compiled 34 to 22 computations (35.3% saved)

preprocess33.0ms (1.1%)

Algorithm
egg-herbie
Rules
922×fma-neg_binary64
610×times-frac_binary64
428×div-sub_binary64
255×distribute-rgt-in_binary64
236×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01440
13540
25740
310040
422140
549340
6110840
7299140
033
Stop Event
saturated
node limit
Compiler

Compiled 10 to 6 computations (40% saved)

simplify60.0ms (2.1%)

Algorithm
egg-herbie
Rules
649×fma-neg_binary64
496×div-sub_binary64
481×fma-def_binary64
322×times-frac_binary64
160×associate-/l/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11310
22110
33710
47210
512710
626510
754710
8135310
9275010
10366410
11402610
12415110
13417810
14418810
15419610
16419610
Stop Event
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
62.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
62.0b
(/.f64 (-.f64 x lo) (-.f64 hi lo))
Compiler

Compiled 37 to 21 computations (43.2% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
62.0b
(/.f64 (-.f64 x lo) (-.f64 hi lo))

series18.0ms (0.6%)

Counts
1 → 36
Calls

9 calls:

3.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))
hi
-inf
2.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))
hi
0
2.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))
hi
inf
2.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))
lo
0
2.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))
x
-inf

rewrite103.0ms (3.6%)

Algorithm
batch-egg-rewrite
Rules
952×prod-diff_binary64
233×egg-rr
166×expm1-udef_binary64
166×log1p-udef_binary64
90×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
116710
2265410
Stop Event
node limit
Counts
1 → 233

simplify49.0ms (1.7%)

Algorithm
egg-herbie
Rules
722×sub-neg_binary64
402×associate--l+_binary64
330×fma-def_binary64
327×associate--r+_binary64
299×associate-+l+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0781093
12361075
2863919
34691913
Stop Event
node limit
Counts
269 → 265

prune139.0ms (4.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2614265
Fresh000
Picked101
Done000
Total2624266
Error
51.3b
Counts
266 → 4
Alt Table
StatusErrorProgram
51.9b
(-.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 1 (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (/.f64 x lo))
57.6b
(+.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 (pow.f64 (/.f64 hi lo) 3) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (-.f64 1 (/.f64 x lo)))
51.9b
(+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo))))
51.9b
(+.f64 (*.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi))) (-.f64 (/.f64 (-.f64 x lo) hi) (fma.f64 (/.f64 lo hi) (/.f64 lo hi) (pow.f64 (/.f64 lo hi) 3))))
Compiler

Compiled 12683 to 3428 computations (73% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo))
0.2b
(+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo)))
0.5b
(*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo)))
0.5b
(+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo))))

series182.0ms (6.3%)

Counts
4 → 144
Calls

36 calls:

16.0ms
(+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo)))
x
-inf
11.0ms
(+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo))))
x
0
10.0ms
(-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo))
x
inf
10.0ms
(+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo))))
x
inf
10.0ms
(+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo))))
x
-inf

rewrite56.0ms (1.9%)

Algorithm
batch-egg-rewrite
Rules
190×egg-rr
151×add-sqr-sqrt_binary64
146×log1p-expm1-u_binary64
146×expm1-log1p-u_binary64
145×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01282
129373
Stop Event
node limit
Counts
4 → 190

simplify73.0ms (2.5%)

Algorithm
egg-herbie
Rules
551×fma-def_binary64
309×sub-neg_binary64
251×fma-neg_binary64
239×times-frac_binary64
181×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0422804
11152483
22792359
38872179
438122179
Stop Event
node limit
Counts
334 → 225

prune88.0ms (3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2214225
Fresh123
Picked101
Done000
Total2236229
Error
50.7b
Counts
229 → 6
Alt Table
StatusErrorProgram
57.6b
(+.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 (pow.f64 (/.f64 hi lo) 3) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (-.f64 1 (/.f64 x lo)))
57.5b
(+.f64 (/.f64 hi lo) (fma.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x) (/.f64 (neg.f64 x) lo)))
51.6b
(*.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x))
57.5b
(*.f64 (/.f64 hi lo) (-.f64 1 (/.f64 (-.f64 x hi) lo)))
51.6b
(*.f64 hi (/.f64 (/.f64 hi lo) lo))
51.9b
(+.f64 (*.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi))) (-.f64 (/.f64 (-.f64 x lo) hi) (fma.f64 (/.f64 lo hi) (/.f64 lo hi) (pow.f64 (/.f64 lo hi) 3))))
Compiler

Compiled 6723 to 2008 computations (70.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(/.f64 (/.f64 hi lo) lo)
1.0b
(*.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x))

series58.0ms (2%)

Counts
2 → 60
Calls

15 calls:

8.0ms
(/.f64 (/.f64 hi lo) lo)
hi
-inf
6.0ms
(/.f64 (/.f64 hi lo) lo)
hi
inf
6.0ms
(*.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x))
x
0
6.0ms
(/.f64 (/.f64 hi lo) lo)
hi
0
5.0ms
(*.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x))
hi
inf

rewrite50.0ms (1.7%)

Algorithm
batch-egg-rewrite
Rules
395×prod-diff_binary64
198×fma-def_binary64
195×log-div_binary64
174×expm1-udef_binary64
174×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0820
118220
2283720
Stop Event
node limit
Counts
2 → 99

simplify32.0ms (1.1%)

Algorithm
egg-herbie
Rules
705×associate-/l/_binary64
678×associate-*l/_binary64
458×associate-/r/_binary64
251×fma-def_binary64
203×times-frac_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
017894
138624
298624
3325624
41672624
Stop Event
node limit
Counts
159 → 108

prune60.0ms (2.1%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New9513108
Fresh145
Picked101
Done000
Total9717114
Error
50.7b
Counts
114 → 17
Alt Table
StatusErrorProgram
51.6b
(cbrt.f64 (pow.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x))) 3))
57.5b
(*.f64 (/.f64 hi lo) (-.f64 1 (/.f64 (-.f64 x hi) lo)))
54.6b
(*.f64 (pow.f64 (*.f64 lo (/.f64 lo hi)) -1) (-.f64 hi x))
51.6b
(pow.f64 (cbrt.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x)))) 3)
51.6b
(*.f64 (pow.f64 (/.f64 (sqrt.f64 hi) lo) 2) (-.f64 hi x))
54.7b
(/.f64 (/.f64 (*.f64 (/.f64 hi lo) (-.f64 hi x)) (pow.f64 (cbrt.f64 lo) 2)) (cbrt.f64 lo))
51.6b
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 hi) 2) lo) (/.f64 (cbrt.f64 hi) lo)) (-.f64 hi x))
51.9b
(+.f64 (*.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi))) (-.f64 (/.f64 (-.f64 x lo) hi) (fma.f64 (/.f64 lo hi) (/.f64 lo hi) (pow.f64 (/.f64 lo hi) 3))))
51.6b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (*.f64 (cbrt.f64 (/.f64 hi lo)) (/.f64 1 lo))) (-.f64 hi x))
51.6b
(*.f64 (*.f64 (/.f64 hi lo) (/.f64 1 lo)) (-.f64 hi x))
57.6b
(+.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 (pow.f64 (/.f64 hi lo) 3) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (-.f64 1 (/.f64 x lo)))
54.7b
(fma.f64 (*.f64 (/.f64 hi lo) hi) (/.f64 1 lo) (*.f64 (neg.f64 x) (/.f64 hi (*.f64 lo lo))))
51.6b
(fma.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (*.f64 (neg.f64 x) (/.f64 hi (*.f64 lo lo))))
57.5b
(+.f64 (/.f64 hi lo) (fma.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x) (/.f64 (neg.f64 x) lo)))
51.6b
(expm1.f64 (log1p.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x)))))
51.6b
(*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (/.f64 hi lo) (cbrt.f64 lo))) (-.f64 hi x))
51.6b
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x))
Compiler

Compiled 2274 to 866 computations (61.9% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo))
0.5b
(cbrt.f64 (/.f64 hi lo))
0.5b
(pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)
1.0b
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x))

series303.0ms (10.5%)

Counts
4 → 60
Calls

27 calls:

53.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo))
hi
-inf
52.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x))
lo
-inf
49.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo))
lo
-inf
34.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x))
hi
-inf
19.0ms
(pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)
hi
-inf

rewrite63.0ms (2.2%)

Algorithm
batch-egg-rewrite
Rules
410×prod-diff_binary64
238×log1p-udef_binary64
147×egg-rr
137×add-sqr-sqrt_binary64
131×log1p-expm1-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01435
131035
2393335
Stop Event
node limit
Counts
4 → 147

simplify33.0ms (1.1%)

Algorithm
egg-herbie
Rules
705×associate-/l/_binary64
678×associate-*l/_binary64
458×associate-/r/_binary64
251×fma-def_binary64
203×times-frac_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
017894
138624
298624
3325624
41672624
Stop Event
node limit
Counts
207 → 155

prune94.0ms (3.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New1818189
Fresh21416
Picked101
Done000
Total18422206
Error
50.7b
Counts
206 → 22
Alt Table
StatusErrorProgram
51.6b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (*.f64 (cbrt.f64 (/.f64 hi lo)) (/.f64 1 lo))) (-.f64 hi x))
51.6b
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 hi lo))) 3) lo)) (-.f64 hi x))
57.6b
(+.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 (pow.f64 (/.f64 hi lo) 3) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (-.f64 1 (/.f64 x lo)))
51.6b
(*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 4))) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x))
54.7b
(fma.f64 (*.f64 (/.f64 hi lo) hi) (/.f64 1 lo) (*.f64 (neg.f64 x) (/.f64 hi (*.f64 lo lo))))
51.6b
(/.f64 (*.f64 (/.f64 (cbrt.f64 (/.f64 hi lo)) lo) (-.f64 hi x)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) -2))
51.6b
(*.f64 (*.f64 (/.f64 (pow.f64 (/.f64 1 (cbrt.f64 (/.f64 lo hi))) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x))
57.5b
(+.f64 (/.f64 hi lo) (fma.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x) (/.f64 (neg.f64 x) lo)))
51.6b
(expm1.f64 (log1p.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x)))))
51.6b
(*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 hi) (/.f64 1 (cbrt.f64 lo))) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x))
54.6b
(*.f64 (pow.f64 (*.f64 lo (/.f64 lo hi)) -1) (-.f64 hi x))
51.6b
(pow.f64 (cbrt.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x)))) 3)
51.6b
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 hi lo))) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2))) lo)) (-.f64 hi x))
51.6b
(*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (/.f64 hi lo) (cbrt.f64 lo))) (-.f64 hi x))
51.6b
(*.f64 (*.f64 (/.f64 (pow.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (/.f64 hi lo)))) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x))
51.6b
(*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 hi) 2) lo) (/.f64 (cbrt.f64 hi) lo)) (-.f64 hi x))
51.9b
(+.f64 (*.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi))) (-.f64 (/.f64 (-.f64 x lo) hi) (fma.f64 (/.f64 lo hi) (/.f64 lo hi) (pow.f64 (/.f64 lo hi) 3))))
51.6b
(*.f64 (*.f64 (/.f64 hi lo) (/.f64 1 lo)) (-.f64 hi x))
51.6b
(fma.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (*.f64 (neg.f64 x) (/.f64 hi (*.f64 lo lo))))
57.5b
(*.f64 (/.f64 hi lo) (-.f64 1 (/.f64 (-.f64 x hi) lo)))
54.7b
(/.f64 (/.f64 (*.f64 (/.f64 hi lo) (-.f64 hi x)) (pow.f64 (cbrt.f64 lo) 2)) (cbrt.f64 lo))
51.6b
(*.f64 (*.f64 (/.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 hi lo))) 3) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x))
Compiler

Compiled 4095 to 1624 computations (60.3% saved)

regimes283.0ms (9.8%)

Accuracy

Total 0.9b remaining (1.7%)

Threshold costs 0.9b (1.7%)

Counts
74 → 1
Compiler

Compiled 5930 to 3608 computations (39.2% saved)

simplify2.0ms (0.1%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
+-commutative_binary64
sub-neg_binary64
/-rgt-identity_binary64
neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01729
12429
22829
33029
43129
Stop Event
saturated

end307.0ms (10.6%)

Stop Event
fuel
Compiler

Compiled 542 to 327 computations (39.7% saved)

Profiling

Loading profile data...