Details

Time bar (total: 1.4s)

analyze1.0ms

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

sample19.0ms

Algorithm
intervals
Results
6.0ms50×body1280valid
3.0ms38×body640valid
3.0ms139×body80valid
1.0ms16×body320valid
1.0ms13×body160valid

simplify307.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
07211
17211

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 27.6b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.3b
(cbrt.f64 (+.f64 x 1))
0.6b
(cbrt.f64 x)
2.8b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite206.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod_binary64_2372
14×*-un-lft-identity_binary64_2405
13×add-sqr-sqrt_binary64_2390
add-cube-cbrt_binary64_2376 add-log-exp_binary64_2370
difference-of-squares_binary64_2434
pow1_binary64_2347 distribute-lft-out--_binary64_2450 add-exp-log_binary64_2369 add-cbrt-cube_binary64_2377
pow1/3_binary64_2339 distribute-lft-out_binary64_2449 cbrt-div_binary64_2373
flip3-+_binary64_2403 flip--_binary64_2431 flip-+_binary64_2430 sub-neg_binary64_2409 flip3--_binary64_2404 diff-log_binary64_2316
Counts
3 → 43
Calls
3 calls:
4.0ms
(cbrt.f64 (+.f64 x 1))
1.0ms
(cbrt.f64 x)
200.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series706.0ms

Counts
3 → 9
Calls
3 calls:
203.0ms
(cbrt.f64 (+.f64 x 1))
201.0ms
(cbrt.f64 x)
302.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0602010
1602010
06391989
16391989
0602010
1602010
06391989
16391989
050102034
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
049331962
149331962
0361941
1361941
0481926
1481926
0361941
1361941
0481926
1481926
049481989
149481989

simplify145.0ms

Counts
52 → 52
Iterations

Useful iterations: 0 (120.0ms)

IterNodesCost
050546517

prune10.0ms

Filtered
46 candidates to 52 candidates (-13.0%)

Profiling

Loading profile data...