Details

Time bar (total: 1.6s)

analyze50.0ms (3%)

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
25%74.9%0.1%4
37.5%62.4%0.1%5
62.4%37.5%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
93.7%6.2%0.1%9
93.7%6.2%0.1%10
96.8%3.1%0.1%11
96.8%3.1%0.1%12
98.3%1.6%0.1%13
98.3%1.6%0.1%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample983.0ms (59.7%)

Results
895.0ms8256×body128valid
Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify49.0ms (3%)

Algorithm
1×egg-herbie
Rules
694×fma-def_binary64
621×fma-neg_binary64
448×times-frac_binary64
307×div-sub_binary64
143×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0712
11812
23812
38212
418212
533112
681810
7222110
8312910
9383710
10395810
11400110
12401110
13401110
Stop Event
1×saturated
Counts
1 → 2

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.1b
(/.f64 (+.f64 f n) (-.f64 n f))
Compiler

Compiled 35 to 18 computations (48.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 (+.f64 f n) (-.f64 n f))

series8.0ms (0.5%)

Counts
1 → 24
Calls

1 calls:

8.0ms
(/.f64 (+.f64 f n) (-.f64 n f))

rewrite41.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
884×expm1-log1p-u_binary64
758×prod-diff_binary64
77×add-sqr-sqrt_binary64
74×log1p-expm1-u_binary64
73×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
114410
2229110
Stop Event
1×node limit
Counts
1 → 35
Calls

1 calls:

40.0ms
(/.f64 (+.f64 f n) (-.f64 n f))

simplify23.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
822×associate-/l*_binary64
504×associate-/r*_binary64
384×associate-/r/_binary64
251×cancel-sign-sub-inv_binary64
194×associate-/l/_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
035426
1112393
2383342
31549324
Stop Event
1×node limit
Counts
59 → 49

prune60.0ms (3.6%)

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.1b
(/.f64 (+.f64 f n) (-.f64 n f))
34.2b
(fma.f64 (/.f64 n f) -2 -1)
▶29.1b
(+.f64 1 (*.f64 (/.f64 2 n) (+.f64 f (*.f64 (/.f64 f n) f))))
Compiler

Compiled 694 to 293 computations (57.8% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 f (*.f64 (/.f64 f n) f))
✓0.1b
(*.f64 (/.f64 f n) f)
✓1.8b
(*.f64 (/.f64 2 n) (+.f64 f (*.f64 (/.f64 f n) f)))

series37.0ms (2.3%)

Counts
3 → 72
Calls

3 calls:

19.0ms
(*.f64 (/.f64 2 n) (+.f64 f (*.f64 (/.f64 f n) f)))
10.0ms
(*.f64 (/.f64 f n) f)
8.0ms
(+.f64 f (*.f64 (/.f64 f n) f))

rewrite62.0ms (3.8%)

Algorithm
1×batch-egg-rewrite
Rules
340×fma-def_binary64
192×expm1-udef_binary64
192×log1p-udef_binary64
188×log-div_binary64
179×fma-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0933
121229
2322529
Stop Event
1×node limit
Counts
3 → 171
Calls

3 calls:

54.0ms
(+.f64 f (*.f64 (/.f64 f n) f))
54.0ms
(*.f64 (/.f64 f n) f)
54.0ms
(*.f64 (/.f64 2 n) (+.f64 f (*.f64 (/.f64 f n) f)))

simplify31.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
763×associate-/l*_binary64
525×associate-/l/_binary64
454×associate-/r*_binary64
411×associate-*l/_binary64
348×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
013774
132774
265720
3163648
4851648
Stop Event
1×node limit
Counts
243 → 180

prune92.0ms (5.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1800180
Fresh011
Picked011
Done011
Total1803183
Error
0b
Counts
183 → 3
Alt Table
StatusErrorProgram
✓0.1b
(/.f64 (+.f64 f n) (-.f64 n f))
▶34.2b
(fma.f64 (/.f64 n f) -2 -1)
✓29.1b
(+.f64 1 (*.f64 (/.f64 2 n) (+.f64 f (*.f64 (/.f64 f n) f))))
Compiler

Compiled 3561 to 1776 computations (50.1% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 (/.f64 n f) -2 -1)

series6.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

5.0ms
(fma.f64 (/.f64 n f) -2 -1)

rewrite38.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
634×log1p-expm1-u_binary64
634×expm1-log1p-u_binary64
305×log-prod_binary64
123×expm1-udef_binary64
123×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
11418
216748
Stop Event
1×node limit
Counts
1 → 26
Calls

1 calls:

38.0ms
(fma.f64 (/.f64 n f) -2 -1)

simplify17.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
111×fma-def_binary64
55×fma-neg_binary64
22×sub-neg_binary64
14×*-commutative_binary64
14×associate-/l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
012240
126204
254168
389168
4129168
5191168
6234168
7271168
8301168
9351168
10396168
11420168
Stop Event
1×saturated
Counts
50 → 31

prune13.0ms (0.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New31031
Fresh000
Picked011
Done022
Total31334
Error
0b
Counts
34 → 3
Alt Table
StatusErrorProgram
✓0.1b
(/.f64 (+.f64 f n) (-.f64 n f))
✓34.2b
(fma.f64 (/.f64 n f) -2 -1)
✓29.1b
(+.f64 1 (*.f64 (/.f64 2 n) (+.f64 f (*.f64 (/.f64 f n) f))))
Compiler

Compiled 367 to 236 computations (35.7% saved)

regimes73.0ms (4.4%)

Accuracy

Total 0.0b remaining (68.6%)

Threshold costs 0.0b (68.6%)

Counts
29 → 1
Compiler

Compiled 1043 to 719 computations (31.1% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0915
11215
21715
31915
42015
Stop Event
1×saturated

end45.0ms (2.7%)

Compiler

Compiled 56 to 37 computations (33.9% saved)

Profiling

Loading profile data...