Details

Time bar (total: 4.4s)

analyze473.0ms (10.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
50%50%0%3
62.5%37.5%0%4
68.7%31.2%0%5
71.8%28.1%0%6
73.4%26.5%0%7
74.2%25.8%0%8
74.6%25.4%0%9
74.8%25.2%0%10
74.9%25.1%0%11
74.9%25%0%12
74.9%25%0%13
75%25%0%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample3.5s (80.3%)

Results
1.8s2640×body1024valid
753.0ms1225×body2048valid
495.0ms1273×body512valid
272.0ms2419×body128valid
148.0ms643×body256valid
40.0ms56×body4096valid
Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify10.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
1×1-exp_binary64
1×hypot-1-def_binary64
1×fma-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0812
1139
2149
3139

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 30 to 21 computations (30% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(hypot.f64 1 x)
✓0.8b
(+.f64 x (hypot.f64 1 x))
✓2.2b
(log.f64 (+.f64 x (hypot.f64 1 x)))

series8.0ms (0.2%)

Counts
3 → 36
Calls

3 calls:

4.0ms
(log.f64 (+.f64 x (hypot.f64 1 x)))
2.0ms
(+.f64 x (hypot.f64 1 x))
2.0ms
(hypot.f64 1 x)

rewrite97.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
575×log1p-expm1-u_binary64
575×expm1-log1p-u_binary64
462×prod-diff_binary64
347×fma-udef_binary64
185×fma-def_binary64
Counts
3 → 88
Calls

3 calls:

96.0ms
(hypot.f64 1 x)
96.0ms
(+.f64 x (hypot.f64 1 x))
96.0ms
(log.f64 (+.f64 x (hypot.f64 1 x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0620
112020
2143620
3483120
4480420
5497620

simplify61.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
848×fma-neg_binary64
722×times-frac_binary64
447×cancel-sign-sub-inv_binary64
426×associate-/r*_binary64
340×sub-neg_binary64
Counts
124 → 152
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
098569
1305549
2805537
32329537
44446537
55590537

prune64.0ms (1.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1502152
Fresh000
Picked011
Done000
Total1503153
Error
0b
Counts
153 → 3
Alt Table
StatusErrorProgram
47.8b
(log.f64 (/.f64 -1/2 x))
▶32.9b
x
✓43.0b
(log.f64 (+.f64 x (hypot.f64 1 x)))
Compiler

Compiled 1954 to 1454 computations (25.6% saved)

localize0.0ms (0%)

prune2.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done011
Total033
Error
0b
Counts
3 → 3
Alt Table
StatusErrorProgram
▶47.8b
(log.f64 (/.f64 -1/2 x))
✓32.9b
x
✓43.0b
(log.f64 (+.f64 x (hypot.f64 1 x)))
Compiler

Compiled 19 to 14 computations (26.3% saved)

localize3.0ms (0.1%)

prune1.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0b
Counts
3 → 3
Alt Table
StatusErrorProgram
✓47.8b
(log.f64 (/.f64 -1/2 x))
✓32.9b
x
✓43.0b
(log.f64 (+.f64 x (hypot.f64 1 x)))
Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes50.0ms (1.1%)

Accuracy

Total 0.2b remaining (59.5%)

Threshold costs 0.2b (59.5%)

Counts
10 → 3
Compiler

Compiled 276 to 214 computations (22.5% saved)

bsearch46.0ms (1%)

Steps
ItersRangePoint
11
2.0486814314265074e-16
2127388.851463514
9.407003744512545e-6
10
-9890720.34059281
-8.173859812089593e-11
-1.2529106398449132
Compiler

Compiled 2 to 1 computations (50% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01628
11928
21828

end44.0ms (1%)

Compiler

Compiled 54 to 38 computations (29.6% saved)

Profiling

Loading profile data...