Details

Time bar (total: 2.6s)

analyze7.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.1%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample1.3s (50.4%)

Alt Table
StatusErrorProgram
▶29.3b
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))
Results
1.1s8256×body128valid
Compiler

Compiled 47 to 37 computations (21.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓28.3b
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))

series3.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))

rewrite82.0ms (3.2%)

Algorithm
2×batch-egg-rewrite
Rules
894×prod-diff_binary64
437×log1p-expm1-u_binary64
437×expm1-log1p-u_binary64
333×unpow-prod-down_binary64
192×egg-rr
Counts
1 → 192
Calls

1 calls:

79.0ms
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
11294
211194
346594
456104
000
100

prune74.0ms (2.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2004204
Fresh000
Picked101
Done000
Total2014205
Error
0.0b
Counts
205 → 4
Alt Table
StatusErrorProgram
30.9b
(*.f64 (sqrt.f64 x) (pow.f64 (+.f64 x x) 1/2))
▶0.1b
(hypot.f64 x x)
32.7b
(*.f64 -1 (*.f64 (sqrt.f64 2) x))
30.4b
(*.f64 (sqrt.f64 2) x)
Compiler

Compiled 1836 to 1065 computations (42% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(hypot.f64 x x)

series4.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(hypot.f64 x x)

rewrite71.0ms (2.8%)

Algorithm
2×batch-egg-rewrite
Rules
438×log1p-udef_binary64
249×log1p-expm1-u_binary64
249×expm1-log1p-u_binary64
229×add-cbrt-cube_binary64
228×add-cube-cbrt_binary64
Counts
1 → 40
Calls

1 calls:

70.0ms
(hypot.f64 x x)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034
1604
26604
347454
454284
000
100

prune23.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New49352
Fresh033
Picked011
Done000
Total49756
Error
0.0b
Counts
56 → 7
Alt Table
StatusErrorProgram
▶0.5b
(pow.f64 (sqrt.f64 (hypot.f64 x x)) 2)
30.9b
(*.f64 (sqrt.f64 x) (pow.f64 (+.f64 x x) 1/2))
1.3b
(pow.f64 (cbrt.f64 (hypot.f64 x x)) 3)
✓0.1b
(hypot.f64 x x)
17.3b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (pow.f64 (hypot.f64 x x) 3/2) 1/2))
32.7b
(*.f64 -1 (*.f64 (sqrt.f64 2) x))
30.4b
(*.f64 (sqrt.f64 2) x)
Compiler

Compiled 522 to 272 computations (47.9% saved)

localize4.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(hypot.f64 x x)
✓0.1b
(sqrt.f64 (hypot.f64 x x))
✓0.5b
(pow.f64 (sqrt.f64 (hypot.f64 x x)) 2)

series32.0ms (1.2%)

Counts
3 → 12
Calls

3 calls:

16.0ms
(pow.f64 (sqrt.f64 (hypot.f64 x x)) 2)
13.0ms
(sqrt.f64 (hypot.f64 x x))
3.0ms
(hypot.f64 x x)

rewrite79.0ms (3.1%)

Algorithm
2×batch-egg-rewrite
Rules
688×log1p-udef_binary64
386×log1p-expm1-u_binary64
386×expm1-log1p-u_binary64
339×pow1_binary64
273×unpow-prod-down_binary64
Counts
3 → 135
Calls

3 calls:

76.0ms
(hypot.f64 x x)
76.0ms
(sqrt.f64 (hypot.f64 x x))
76.0ms
(pow.f64 (sqrt.f64 (hypot.f64 x x)) 2)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0614
110614
2103214
3450914
4554714
000
100

prune59.0ms (2.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1470147
Fresh055
Picked011
Done011
Total1477154
Error
0.0b
Counts
154 → 7
Alt Table
StatusErrorProgram
✓0.5b
(pow.f64 (sqrt.f64 (hypot.f64 x x)) 2)
30.9b
(*.f64 (sqrt.f64 x) (pow.f64 (+.f64 x x) 1/2))
▶1.3b
(pow.f64 (cbrt.f64 (hypot.f64 x x)) 3)
✓0.1b
(hypot.f64 x x)
17.3b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (pow.f64 (hypot.f64 x x) 3/2) 1/2))
32.7b
(*.f64 -1 (*.f64 (sqrt.f64 2) x))
30.4b
(*.f64 (sqrt.f64 2) x)
Compiler

Compiled 1670 to 944 computations (43.5% saved)

localize4.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(hypot.f64 x x)
✓0.6b
(cbrt.f64 (hypot.f64 x x))
✓0.7b
(pow.f64 (cbrt.f64 (hypot.f64 x x)) 3)

series555.0ms (21.7%)

Counts
3 → 36
Calls

3 calls:

314.0ms
(cbrt.f64 (hypot.f64 x x))
237.0ms
(pow.f64 (cbrt.f64 (hypot.f64 x x)) 3)
3.0ms
(hypot.f64 x x)

rewrite84.0ms (3.3%)

Algorithm
2×batch-egg-rewrite
Rules
736×log1p-udef_binary64
417×log1p-expm1-u_binary64
417×expm1-log1p-u_binary64
337×unpow-prod-down_binary64
203×log-prod_binary64
Counts
3 → 147
Calls

3 calls:

79.0ms
(hypot.f64 x x)
79.0ms
(cbrt.f64 (hypot.f64 x x))
79.0ms
(pow.f64 (cbrt.f64 (hypot.f64 x x)) 3)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0614
110814
2110714
3456014
4561314
000
100

prune69.0ms (2.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1830183
Fresh044
Picked011
Done022
Total1837190
Error
0.0b
Counts
190 → 7
Alt Table
StatusErrorProgram
✓0.5b
(pow.f64 (sqrt.f64 (hypot.f64 x x)) 2)
30.9b
(*.f64 (sqrt.f64 x) (pow.f64 (+.f64 x x) 1/2))
✓1.3b
(pow.f64 (cbrt.f64 (hypot.f64 x x)) 3)
✓0.1b
(hypot.f64 x x)
17.3b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (pow.f64 (hypot.f64 x x) 3/2) 1/2))
32.7b
(*.f64 -1 (*.f64 (sqrt.f64 2) x))
30.4b
(*.f64 (sqrt.f64 2) x)
Compiler

Compiled 2112 to 1291 computations (38.9% saved)

regimes42.0ms (1.6%)

Accuracy

Total 0.1b remaining (75.6%)

Threshold costs 0.1b (75.6%)

Counts
10 → 1
Compiler

Compiled 378 to 262 computations (30.7% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034
134

end72.0ms (2.8%)

Compiler

Compiled 61 to 41 computations (32.8% saved)

Profiling

Loading profile data...