Details

Time bar (total: 2.4s)

analyze63.0ms (2.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%12.5%87.5%0
0%12.5%87.5%1
0%12.5%87.5%2
3.1%9.3%87.5%3
3.1%6.2%90.7%4
4.7%4.7%90.7%5
4.7%3.5%91.8%6
5.6%2.5%91.8%7
5.9%1.8%92.3%8
6.4%1.3%92.3%9
6.6%0.9%92.5%10
6.8%0.6%92.5%11
6.9%0.5%92.6%12
7%0.3%92.6%13
7.1%0.2%92.7%14
Compiler

Compiled 24 to 17 computations (29.2% saved)

sample902.0ms (37.6%)

Results
882.0ms8256×body128valid
8.0ms66×body128invalid
Compiler

Compiled 48 to 34 computations (29.2% saved)

preprocess36.0ms (1.5%)

Algorithm
2×egg-herbie
Rules
820×fma-neg_binary64
648×times-frac_binary64
255×associate-/l*_binary64
195×fma-def_binary64
182×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01432
13232
26828
315928
459228
5190628
6451128
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify41.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
913×fma-neg_binary64
812×fma-def_binary64
281×div-sub_binary64
243×cancel-sign-sub-inv_binary64
198×distribute-rgt-in_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0916
12016
23914
38514
428014
572614
6185814
7323614
8402714
9437314
10498414
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
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.1b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
0.5b
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
Compiler

Compiled 73 to 49 computations (32.9% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 m (-.f64 1 m))
✓0.0b
(/.f64 (*.f64 m (-.f64 1 m)) v)
✓0.1b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)

series21.0ms (0.9%)

Counts
3 → 56
Calls

15 calls:

2.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
v
0
2.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
v
-inf
2.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
v
-inf
2.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
v
inf
2.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
m
-inf

rewrite51.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
501×prod-diff_binary64
179×expm1-udef_binary64
178×log1p-udef_binary64
174×fma-neg_binary64
172×fma-def_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0933
120233
2289331
Stop Event
1×node limit
Counts
3 → 103

simplify31.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
459×fma-def_binary64
425×associate-/l*_binary64
379×fma-neg_binary64
295×cancel-sign-sub-inv_binary64
223×distribute-rgt-in_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
027638
167584
2143584
3368584
41388584
Stop Event
1×node limit
Counts
159 → 125

prune99.0ms (4.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1205125
Fresh101
Picked101
Done000
Total1225127
Error
0b
Counts
127 → 5
Alt Table
StatusErrorProgram
0.2b
(*.f64 (-.f64 (pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1) 1) m)
7.5b
(-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 (/.f64 (pow.f64 m 3) v) m))
16.1b
(/.f64 (*.f64 (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
0.2b
(*.f64 (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1) m)
▶0.1b
(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
Compiler

Compiled 2008 to 1233 computations (38.6% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
✓0.2b
(*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v))

series26.0ms (1.1%)

Counts
2 → 48
Calls

12 calls:

4.0ms
(*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v))
v
-inf
3.0ms
(*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v))
v
inf
3.0ms
(*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v))
v
0
2.0ms
(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
v
-inf
2.0ms
(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
v
0

rewrite81.0ms (3.4%)

Algorithm
1×batch-egg-rewrite
Rules
930×prod-diff_binary64
850×expm1-log1p-u_binary64
281×egg-rr
94×add-sqr-sqrt_binary64
89×log1p-expm1-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0829
118123
2270823
Stop Event
1×node limit
Counts
2 → 281

simplify38.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
578×fma-def_binary64
539×fma-neg_binary64
441×cancel-sign-sub-inv_binary64
268×distribute-rgt-in_binary64
231×distribute-lft-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
024614
161614
2151614
3440614
41671614
Stop Event
1×node limit
Counts
329 → 296

prune151.0ms (6.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2960296
Fresh044
Picked011
Done000
Total2965301
Error
0b
Counts
301 → 5
Alt Table
StatusErrorProgram
0.2b
(*.f64 (-.f64 (pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1) 1) m)
7.5b
(-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 (/.f64 (pow.f64 m 3) v) m))
16.1b
(/.f64 (*.f64 (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
▶0.2b
(*.f64 (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1) m)
✓0.1b
(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
Compiler

Compiled 7647 to 2339 computations (69.4% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (/.f64 m v) (-.f64 1 m))
✓0.1b
(*.f64 (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1) m)

series21.0ms (0.9%)

Counts
2 → 48
Calls

12 calls:

4.0ms
(*.f64 (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1) m)
v
inf
2.0ms
(*.f64 (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1) m)
v
0
2.0ms
(*.f64 (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1) m)
v
-inf
2.0ms
(*.f64 (/.f64 m v) (-.f64 1 m))
v
-inf
2.0ms
(*.f64 (/.f64 m v) (-.f64 1 m))
m
-inf

rewrite49.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
490×prod-diff_binary64
232×fma-def_binary64
177×expm1-udef_binary64
176×log1p-udef_binary64
163×fma-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0924
120224
2283924
Stop Event
1×node limit
Counts
2 → 103

simplify30.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
511×fma-neg_binary64
505×fma-def_binary64
346×cancel-sign-sub-inv_binary64
282×distribute-rgt-in_binary64
249×distribute-lft-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
030602
175548
2158548
3410518
41759518
Stop Event
1×node limit
Counts
151 → 121

prune92.0ms (3.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1210121
Fresh033
Picked011
Done011
Total1215126
Error
0b
Counts
126 → 5
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 (-.f64 (pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1) 1) m)
7.5b
(-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 (/.f64 (pow.f64 m 3) v) m))
16.1b
(/.f64 (*.f64 (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
✓0.2b
(*.f64 (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1) m)
✓0.1b
(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
Compiler

Compiled 2053 to 1060 computations (48.4% saved)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (/.f64 v (-.f64 1 m)) m)
✓0.1b
(*.f64 (-.f64 (pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1) 1) m)
✓0.3b
(pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1)

series95.0ms (4%)

Counts
3 → 72
Calls

18 calls:

17.0ms
(pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1)
v
-inf
15.0ms
(pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1)
v
inf
9.0ms
(*.f64 (-.f64 (pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1) 1) m)
v
-inf
9.0ms
(/.f64 (/.f64 v (-.f64 1 m)) m)
v
-inf
8.0ms
(*.f64 (-.f64 (pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1) 1) m)
v
inf

rewrite56.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
394×prod-diff_binary64
211×expm1-udef_binary64
210×log1p-udef_binary64
124×add-sqr-sqrt_binary64
117×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01142
124836
2350936
Stop Event
1×node limit
Counts
3 → 114

simplify43.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
365×fma-def_binary64
292×sub-neg_binary64
207×distribute-neg-frac_binary64
206×unswap-sqr_binary64
190×fma-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
055935
1140888
2338887
3958843
43649843
Stop Event
1×node limit
Counts
186 → 148

prune110.0ms (4.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1480148
Fresh022
Picked011
Done022
Total1485153
Error
0b
Counts
153 → 5
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 (-.f64 (pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1) 1) m)
7.5b
(-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 (/.f64 (pow.f64 m 3) v) m))
16.1b
(/.f64 (*.f64 (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
✓0.2b
(*.f64 (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1) m)
✓0.1b
(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
Compiler

Compiled 2525 to 1680 computations (33.5% saved)

regimes258.0ms (10.8%)

Accuracy

Total 0.1b remaining (81.7%)

Threshold costs 0.1b (81.7%)

Counts
94 → 1
Compiler

Compiled 4424 to 2600 computations (41.2% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
11816
22216
32416
42516
Stop Event
1×saturated

end70.0ms (2.9%)

Stop Event
1×fuel
Compiler

Compiled 106 to 71 computations (33% saved)

Profiling

Loading profile data...