Details

Time bar (total: 1.0s)

analyze3.0ms

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

sample23.0ms

Algorithm
intervals
Results
10.0ms256×pre80true
6.0ms256×body80valid

simplify107.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
0479710
1479710

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 62.0b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
25×times-frac_binary64
13×add-cube-cbrt_binary64
12×difference-of-squares_binary64 distribute-lft-out--_binary64
associate-/r*_binary64 associate-/l*_binary64
flip3--_binary64 flip--_binary64
add-exp-log_binary64 add-cbrt-cube_binary64
associate-/l/_binary64 consolidate-/-/-b_binary64 associate-/r/_binary64 consolidate-/-/-b_binary64_1
add-log-exp_binary64 pow1_binary64 cbrt-undiv_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 insert-posit16
Counts
1 → 57
Calls
1 calls:
11.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))

series246.0ms

Counts
1 → 3
Calls
1 calls:
246.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
048523519
148523519
0289
1289
048523519
148523519
0289
1289
013
113

simplify112.0ms

Counts
60 → 60
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
055601059

prune27.0ms

Filtered
40 candidates to 60 candidates (-50.0%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New60060
Fresh000
Picked011
Done000
Total60161

Merged error: 62.0b

Counts
61 → 1

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01910
11910

end0.0ms

sample501.0ms

Algorithm
intervals
Results
187.0ms8000×body80valid
143.0ms8000×pre80true

Profiling

Loading profile data...