Details

Time bar (total: 1.5s)

analyze2.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample1.0s (69.5%)

Alt Table
StatusErrorProgram
▶62.0b
(/.f64 (-.f64 x lo) (-.f64 hi lo))
Results
807.0ms8256×body128valid
Compiler

Compiled 64 to 40 computations (37.5% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓62.0b
(/.f64 (-.f64 x lo) (-.f64 hi lo))

series20.0ms (1.4%)

Counts
1 → 36
Calls

1 calls:

20.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite114.0ms (7.8%)

Algorithm
2×batch-egg-rewrite
Rules
952×prod-diff_binary64
728×fma-udef_binary64
226×fma-neg_binary64
166×expm1-udef_binary64
166×log1p-udef_binary64
Counts
1 → 68
Calls

1 calls:

112.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
116710
2253010
3473010
4451710
5510810
000
100

prune51.0ms (3.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1004104
Fresh000
Picked101
Done000
Total1014105
Error
51.8b
Counts
105 → 4
Alt Table
StatusErrorProgram
▶52.0b
(/.f64 (-.f64 x lo) hi)
52.0b
(*.f64 -1 (/.f64 (-.f64 x lo) lo))
57.7b
(-.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo))
52.0b
1
Compiler

Compiled 2298 to 799 computations (65.2% saved)

localize3.0ms (0.2%)

prune3.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done000
Total044
Error
51.8b
Counts
4 → 4
Alt Table
StatusErrorProgram
✓52.0b
(/.f64 (-.f64 x lo) hi)
52.0b
(*.f64 -1 (/.f64 (-.f64 x lo) lo))
57.7b
(-.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo))
▶52.0b
1
Compiler

Compiled 60 to 43 computations (28.3% saved)

localize0.0ms (0%)

prune4.0ms (0.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done011
Total044
Error
51.8b
Counts
4 → 4
Alt Table
StatusErrorProgram
✓52.0b
(/.f64 (-.f64 x lo) hi)
▶52.0b
(*.f64 -1 (/.f64 (-.f64 x lo) lo))
57.7b
(-.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo))
✓52.0b
1
Compiler

Compiled 56 to 39 computations (30.4% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 x lo) lo)

series5.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

5.0ms
(/.f64 (-.f64 x lo) lo)

rewrite44.0ms (3%)

Algorithm
2×batch-egg-rewrite
Rules
723×log1p-expm1-u_binary64
723×expm1-log1p-u_binary64
465×prod-diff_binary64
62×add-sqr-sqrt_binary64
58×add-log-exp_binary64
Counts
1 → 35
Calls

1 calls:

43.0ms
(/.f64 (-.f64 x lo) lo)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11187
217517
353017
000
100

prune28.0ms (1.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New53659
Fresh011
Picked101
Done022
Total54963
Error
51.8b
Counts
63 → 9
Alt Table
StatusErrorProgram
52.0b
(*.f64 -1 (cbrt.f64 (pow.f64 (/.f64 (-.f64 x lo) lo) 3)))
52.0b
(*.f64 -1 (*.f64 (/.f64 (sqrt.f64 (-.f64 x lo)) 1) (/.f64 (sqrt.f64 (-.f64 x lo)) lo)))
52.0b
(*.f64 -1 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) 1) (/.f64 (cbrt.f64 (-.f64 x lo)) lo)))
52.0b
(*.f64 -1 (*.f64 (sqrt.f64 (-.f64 x lo)) (*.f64 (sqrt.f64 (-.f64 x lo)) (/.f64 1 lo))))
52.0b
(*.f64 -1 (*.f64 (pow.f64 (cbrt.f64 (-.f64 x lo)) 2) (*.f64 (cbrt.f64 (-.f64 x lo)) (/.f64 1 lo))))
52.0b
(*.f64 -1 (*.f64 (-.f64 x lo) (/.f64 1 lo)))
✓52.0b
(/.f64 (-.f64 x lo) hi)
57.7b
(-.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo))
✓52.0b
1
Compiler

Compiled 697 to 365 computations (47.6% saved)

regimes68.0ms (4.6%)

Accuracy

Total 0.2b remaining (0.3%)

Threshold costs 0.2b (0.3%)

Counts
14 → 1
Compiler

Compiled 786 to 520 computations (33.8% saved)

simplify2.0ms (0.1%)

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
067
187
2137
3157
4167
5167

end96.0ms (6.5%)

Compiler

Compiled 141 to 94 computations (33.3% saved)

Profiling

Loading profile data...