Details

Time bar (total: 3.3s)

analyze216.0ms (6.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
25%74.9%0.1%5
31.2%68.7%0.1%6
67.1%32.8%0.1%7
71%28.9%0.1%8
82.3%17.6%0.1%9
84.9%15%0.1%10
90.8%9.1%0.1%11
92.2%7.7%0.1%12
95.3%4.6%0.1%13
96%3.9%0.1%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample1.1s (33.8%)

Results
673.0ms6459×body128valid
188.0ms645×body1024valid
166.0ms711×body512valid
67.0ms436×body256valid
2.0ms5×body2048valid
Compiler

Compiled 28 to 22 computations (21.4% saved)

preprocess41.0ms (1.2%)

Algorithm
2×egg-herbie
Rules
1040×fma-neg_binary64
720×times-frac_binary64
361×associate-/l*_binary64
246×div-sub_binary64
203×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01432
13232
27932
320328
464828
5198128
6467228
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify31.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
777×fma-def_binary64
611×fma-neg_binary64
471×div-sub_binary64
314×distribute-rgt-in_binary64
295×distribute-lft-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0916
11916
24316
311114
432614
589314
6237814
7363814
Stop Event
1×node limit
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
14.8b
Counts
3 → 2
Alt Table
StatusErrorProgram
24.1b
(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
▶14.8b
(fma.f64 (-.f64 1 x) (/.f64 y (-.f64 -1 y)) 1)
Compiler

Compiled 73 to 55 computations (24.7% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series11.0ms (0.3%)

Counts
2 → 36
Calls

9 calls:

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

rewrite60.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
443×log-prod_binary64
234×prod-diff_binary64
173×expm1-udef_binary64
172×log1p-udef_binary64
150×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0921
119521
2260021
Stop Event
1×node limit
Counts
2 → 64

simplify34.0ms (1%)

Algorithm
1×egg-herbie
Rules
547×associate-+l-_binary64
449×cancel-sign-sub-inv_binary64
416×fma-neg_binary64
397×sub-neg_binary64
385×associate--r+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
059624
1177613
2555587
32124547
Stop Event
1×node limit
Counts
100 → 98

prune62.0ms (1.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New96298
Fresh101
Picked011
Done000
Total973100
Error
0.0b
Counts
100 → 3
Alt Table
StatusErrorProgram
39.3b
(/.f64 (*.f64 y x) (+.f64 1 y))
✓14.8b
(fma.f64 (-.f64 1 x) (/.f64 y (-.f64 -1 y)) 1)
▶30.7b
(-.f64 (+.f64 (/.f64 1 y) (+.f64 (/.f64 1 (pow.f64 y 3)) (+.f64 (/.f64 x (pow.f64 y 2)) x))) (+.f64 (/.f64 x y) (+.f64 (/.f64 x (pow.f64 y 3)) (/.f64 1 (pow.f64 y 2)))))
Compiler

Compiled 1614 to 1157 computations (28.3% saved)

localize17.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓6.2b
(+.f64 (/.f64 1 (pow.f64 y 3)) (+.f64 (/.f64 x (pow.f64 y 2)) x))
✓6.5b
(/.f64 x (pow.f64 y 2))
✓7.1b
(+.f64 (/.f64 x (pow.f64 y 3)) (/.f64 1 (pow.f64 y 2)))
✓8.8b
(-.f64 (+.f64 (/.f64 1 y) (+.f64 (/.f64 1 (pow.f64 y 3)) (+.f64 (/.f64 x (pow.f64 y 2)) x))) (+.f64 (/.f64 x y) (+.f64 (/.f64 x (pow.f64 y 3)) (/.f64 1 (pow.f64 y 2)))))

series136.0ms (4.1%)

Counts
4 → 43
Calls

24 calls:

17.0ms
(-.f64 (+.f64 (/.f64 1 y) (+.f64 (/.f64 1 (pow.f64 y 3)) (+.f64 (/.f64 x (pow.f64 y 2)) x))) (+.f64 (/.f64 x y) (+.f64 (/.f64 x (pow.f64 y 3)) (/.f64 1 (pow.f64 y 2)))))
x
inf
16.0ms
(/.f64 x (pow.f64 y 2))
x
0
16.0ms
(-.f64 (+.f64 (/.f64 1 y) (+.f64 (/.f64 1 (pow.f64 y 3)) (+.f64 (/.f64 x (pow.f64 y 2)) x))) (+.f64 (/.f64 x y) (+.f64 (/.f64 x (pow.f64 y 3)) (/.f64 1 (pow.f64 y 2)))))
x
-inf
15.0ms
(-.f64 (+.f64 (/.f64 1 y) (+.f64 (/.f64 1 (pow.f64 y 3)) (+.f64 (/.f64 x (pow.f64 y 2)) x))) (+.f64 (/.f64 x y) (+.f64 (/.f64 x (pow.f64 y 3)) (/.f64 1 (pow.f64 y 2)))))
x
0
12.0ms
(+.f64 (/.f64 1 (pow.f64 y 3)) (+.f64 (/.f64 x (pow.f64 y 2)) x))
x
inf

rewrite65.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
246×log1p-expm1-u_binary64
246×expm1-log1p-u_binary64
240×add-cbrt-cube_binary64
226×add-cube-cbrt_binary64
226×add-log-exp_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02079
150971
Stop Event
1×node limit
Counts
4 → 97

simplify35.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
579×associate--l+_binary64
527×associate-+l-_binary64
485×fma-def_binary64
332×+-commutative_binary64
293×sub-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
041859
1125859
2418793
31560703
Stop Event
1×node limit
Counts
140 → 125

prune132.0ms (4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1250125
Fresh011
Picked011
Done011
Total1253128
Error
0.0b
Counts
128 → 3
Alt Table
StatusErrorProgram
▶39.3b
(/.f64 (*.f64 y x) (+.f64 1 y))
✓14.8b
(fma.f64 (-.f64 1 x) (/.f64 y (-.f64 -1 y)) 1)
✓30.7b
(-.f64 (+.f64 (/.f64 1 y) (+.f64 (/.f64 1 (pow.f64 y 3)) (+.f64 (/.f64 x (pow.f64 y 2)) x))) (+.f64 (/.f64 x y) (+.f64 (/.f64 x (pow.f64 y 3)) (/.f64 1 (pow.f64 y 2)))))
Compiler

Compiled 4562 to 2969 computations (34.9% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series11.0ms (0.3%)

Counts
1 → 12
Calls

6 calls:

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

rewrite45.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
805×log1p-expm1-u_binary64
805×expm1-log1p-u_binary64
105×prod-diff_binary64
74×add-sqr-sqrt_binary64
69×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
115010
2209610
Stop Event
1×node limit
Counts
1 → 45

simplify32.0ms (1%)

Algorithm
1×egg-herbie
Rules
408×fma-def_binary64
287×distribute-rgt-neg-in_binary64
255×distribute-lft-neg-in_binary64
253×fma-neg_binary64
248×sub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
026156
180148
2238143
3752143
43252143
Stop Event
1×node limit
Counts
57 → 58

prune36.0ms (1.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New58058
Fresh000
Picked011
Done022
Total58361
Error
0.0b
Counts
61 → 3
Alt Table
StatusErrorProgram
✓39.3b
(/.f64 (*.f64 y x) (+.f64 1 y))
✓14.8b
(fma.f64 (-.f64 1 x) (/.f64 y (-.f64 -1 y)) 1)
✓30.7b
(-.f64 (+.f64 (/.f64 1 y) (+.f64 (/.f64 1 (pow.f64 y 3)) (+.f64 (/.f64 x (pow.f64 y 2)) x))) (+.f64 (/.f64 x y) (+.f64 (/.f64 x (pow.f64 y 3)) (/.f64 1 (pow.f64 y 2)))))
Compiler

Compiled 754 to 449 computations (40.5% saved)

regimes1.1s (32%)

Accuracy

Total 0.0b remaining (62%)

Threshold costs 0.0b (62%)

Counts
93 → 3
Compiler

Compiled 10351 to 7261 computations (29.9% saved)

bsearch41.0ms (1.3%)

Algorithm
2×binary-search
Calls

2 calls:

20.0ms
y
18.0ms
y
Steps
ItersPointRange
11397.938900905672
∈ [
1.611236061086722e-7
, 
43987460.189517915
]
-1490796221.341475
∈ [
-142357187610959.47
, 
-1473348602.6363902
]
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify8.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
035124
147124
260124
378124
497124
5106124
6109124
Stop Event
1×saturated

end101.0ms (3.1%)

Stop Event
1×done
Compiler

Compiled 230 to 158 computations (31.3% saved)

Profiling

Loading profile data...