Details

Time bar (total: 7.4s)

analyze444.0ms (6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%50%25%4
25%37.5%37.5%5
25%31.2%43.8%6
25%28.1%46.9%7
25%26.5%48.5%8
25%25.8%49.2%9
25%25.4%49.6%10
25%25.2%49.8%11
25%25.1%49.9%12
25%25%50%13
25%25%50%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample5.0s (66.5%)

Results
2.0s4120×body2048invalid
1.2s8256×body128valid
919.0ms2173×body1024invalid
287.0ms1003×body512invalid
108.0ms515×body256invalid
65.0ms502×body128invalid
6.0ms12×body4096invalid
Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify306.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
871×fma-neg_binary64
804×unsub-neg_binary64
461×distribute-neg-in_binary64
434×sub-neg_binary64
338×distribute-rgt-out_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
11812
22212
33712
46412
511312
624712
750012
8156012
9251312
10321812
11360212
12380312
13397412
14407512
15439212
16483612
17489812
18490112

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
33.2b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶33.2b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
Compiler

Compiled 36 to 24 computations (33.3% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
✓31.9b
(sqrt.f64 (fma.f64 x x -1))

series16.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

9.0ms
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
6.0ms
(sqrt.f64 (fma.f64 x x -1))

rewrite9.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×*-un-lft-identity_binary64
5×add-sqr-sqrt_binary64
4×log-prod_binary64
4×add-cube-cbrt_binary64
4×pow1_binary64
Counts
2 → 32
Calls

2 calls:

5.0ms
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
2.0ms
(sqrt.f64 (fma.f64 x x -1))

simplify124.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
549×fma-neg_binary64
294×associate-/l/_binary64
291×sub-neg_binary64
254×distribute-neg-frac_binary64
221×fma-def_binary64
Counts
56 → 79
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0136988
1330928
2885889
33023888
44940888
54940888

prune47.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New77279
Fresh000
Picked011
Done000
Total77380
Error
0b
Counts
80 → 3
Alt Table
StatusErrorProgram
▶0.8b
(+.f64 (log.f64 2) (log.f64 x))
✓33.2b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
0.8b
(log.f64 (+.f64 x x))
Compiler

Compiled 1306 to 981 computations (24.9% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(+.f64 (log.f64 2) (log.f64 x))

series43.0ms (0.6%)

Counts
1 → 12
Calls

1 calls:

43.0ms
(+.f64 (log.f64 2) (log.f64 x))

rewrite5.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
8×*-un-lft-identity_binary64
6×log-prod_binary64
6×pow1_binary64
5×log-pow_binary64
4×distribute-lft-out_binary64
Counts
1 → 27
Calls

1 calls:

4.0ms
(+.f64 (log.f64 2) (log.f64 x))

simplify101.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
539×sub-neg_binary64
476×fma-def_binary64
458×distribute-neg-in_binary64
398×fma-neg_binary64
397×unsub-neg_binary64
Counts
39 → 38
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
054363
1120344
2274342
3660342
42248342
53872342
64273342
74971342

prune20.0ms (0.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New38038
Fresh011
Picked011
Done011
Total38341
Error
0b
Counts
41 → 3
Alt Table
StatusErrorProgram
✓0.8b
(+.f64 (log.f64 2) (log.f64 x))
✓33.2b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
▶0.8b
(log.f64 (+.f64 x x))
Compiler

Compiled 422 to 301 computations (28.7% saved)

localize3.0ms (0%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(log.f64 (+.f64 x x))

series24.0ms (0.3%)

Counts
1 → 12
Calls

1 calls:

24.0ms
(log.f64 (+.f64 x x))

rewrite4.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
12×log-prod_binary64
8×*-un-lft-identity_binary64
6×add-sqr-sqrt_binary64
6×add-cube-cbrt_binary64
3×distribute-lft-out_binary64
Counts
1 → 25
Calls

1 calls:

3.0ms
(log.f64 (+.f64 x x))

simplify100.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
569×fma-def_binary64
495×log-prod_binary64
360×distribute-rgt-in_binary64
332×unsub-neg_binary64
308×associate-*l*_binary64
Counts
37 → 33
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
059374
197331
2147331
3323329
4920329
53167329
64431329
74972329
84771329

prune567.0ms (7.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New33033
Fresh000
Picked011
Done022
Total33336
Error
0b
Counts
36 → 3
Alt Table
StatusErrorProgram
✓0.8b
(+.f64 (log.f64 2) (log.f64 x))
✓33.2b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
✓0.8b
(log.f64 (+.f64 x x))
Compiler

Compiled 330 to 151 computations (54.2% saved)

regimes22.0ms (0.3%)

Accuracy

Total 0.7b remaining (99.7%)

Threshold costs 0.7b (99.7%)

Counts
5 → 1
Compiler

Compiled 156 to 112 computations (28.2% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
2×+-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
0811
11211
21611
31811
41911
51811

end632.0ms (8.5%)

Compiler

Compiled 36 to 28 computations (22.2% saved)

Profiling

Loading profile data...