Details

Time bar (total: 1.3s)

analyze4.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample641.0ms (48.2%)

Results
628.0ms8256×body128valid
Compiler

Compiled 14 to 12 computations (14.3% saved)

preprocess16.0ms (1.2%)

Algorithm
2×egg-herbie
Rules
1×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
1104
011
Stop Event
1×saturated
1×saturated
Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify6.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
1104
Stop Event
1×saturated
Counts
1 → 2

prune2.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(+.f64 x 1/3)
Compiler

Compiled 17 to 13 computations (23.5% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x 1/3)

series1.0ms (0.1%)

Counts
1 → 12
Calls

3 calls:

0.0ms
(+.f64 x 1/3)
x
-inf
0.0ms
(+.f64 x 1/3)
x
inf
0.0ms
(+.f64 x 1/3)
x
0

rewrite32.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
446×log1p-expm1-u_binary64
446×expm1-log1p-u_binary64
384×pow1_binary64
216×unpow-prod-down_binary64
178×log-prod_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
1914
211404
Stop Event
1×node limit
Counts
1 → 46

simplify10.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0439
1539
Stop Event
1×saturated
Counts
58 → 49

prune30.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New47249
Fresh000
Picked011
Done000
Total47350
Error
0b
Counts
50 → 3
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 x 1/3)
18.4b
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2)
▶17.5b
(-.f64 (/.f64 (*.f64 x x) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3)))
Compiler

Compiled 481 to 372 computations (22.7% saved)

localize6.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x -1/3)
✓0.0b
(-.f64 (/.f64 (*.f64 x x) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3)))
✓0.2b
(/.f64 1/9 (+.f64 x -1/3))
✓16.4b
(/.f64 (*.f64 x x) (+.f64 x -1/3))

series12.0ms (0.9%)

Counts
4 → 48
Calls

12 calls:

4.0ms
(-.f64 (/.f64 (*.f64 x x) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3)))
x
0
1.0ms
(/.f64 (*.f64 x x) (+.f64 x -1/3))
x
0
1.0ms
(-.f64 (/.f64 (*.f64 x x) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3)))
x
inf
1.0ms
(-.f64 (/.f64 (*.f64 x x) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3)))
x
-inf
1.0ms
(/.f64 1/9 (+.f64 x -1/3))
x
-inf

rewrite84.0ms (6.3%)

Algorithm
1×batch-egg-rewrite
Rules
435×fma-def_binary64
279×egg-rr
266×fma-neg_binary64
192×expm1-udef_binary64
192×log1p-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0934
122125
2337425
Stop Event
1×node limit
Counts
4 → 279

simplify31.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
798×fma-neg_binary64
451×cancel-sign-sub-inv_binary64
361×associate-*l*_binary64
258×associate-*r*_binary64
249×fma-def_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
061404
1174396
2490389
31675385
Stop Event
1×node limit
Counts
327 → 310

prune223.0ms (16.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New3470347
Fresh011
Picked011
Done011
Total3473350
Error
0b
Counts
350 → 3
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 x 1/3)
▶18.4b
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2)
✓17.5b
(-.f64 (/.f64 (*.f64 x x) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3)))
Compiler

Compiled 6921 to 5025 computations (27.4% saved)

localize3.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(+.f64 x 1/3)
✓0.1b
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2)

series19.0ms (1.4%)

Counts
1 → 4
Calls

3 calls:

10.0ms
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2)
x
0
4.0ms
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2)
x
-inf
4.0ms
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2)
x
inf

rewrite37.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
583×log1p-expm1-u_binary64
583×expm1-log1p-u_binary64
236×log-prod_binary64
111×expm1-udef_binary64
111×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
11554
215804
Stop Event
1×node limit
Counts
1 → 39

simplify50.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
852×fabs-mul_binary64
557×sqr-pow_binary64
362×unswap-sqr_binary64
354×cube-prod_binary64
220×pow-sqr_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0733
11313
22313
32913
43913
56313
615113
756013
8130613
9156113
10177813
11198913
12229313
13270913
14324813
15389413
16471713
Stop Event
1×node limit
Counts
43 → 42

prune54.0ms (4.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New91091
Fresh000
Picked011
Done022
Total91394
Error
0b
Counts
94 → 3
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 x 1/3)
✓18.4b
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2)
✓17.5b
(-.f64 (/.f64 (*.f64 x x) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3)))
Compiler

Compiled 981 to 783 computations (20.2% saved)

regimes25.0ms (1.9%)

Accuracy

Total 0.0b remaining (37.3%)

Threshold costs 0.0b (37.3%)

Counts
9 → 1
Compiler

Compiled 164 to 133 computations (18.9% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
154
Stop Event
1×saturated

end41.0ms (3.1%)

Stop Event
1×done
Compiler

Compiled 33 to 25 computations (24.2% saved)

Profiling

Loading profile data...