Details

Time bar (total: 6.7s)

analyze67.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
25%50%25.1%6
25%31.2%43.8%7
31.2%25%43.8%8
39%17.2%43.8%9
42.9%13.3%43.8%10
47.2%9%43.8%11
49.4%6.8%43.8%12
51.6%4.6%43.8%13
52.7%3.5%43.8%14

sample14.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify26.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
04013
14013

prune3.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (*.f64 y (*.f64 y 3)))
0.2b
(*.f64 y (*.f64 y 3))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×add-log-exp_binary64
3×pow-prod-down_binary64 *-un-lft-identity_binary64 cbrt-unprod_binary64 add-cube-cbrt_binary64 associate-*l*_binary64 prod-exp_binary64 add-sqr-sqrt_binary64
2×insert-posit16
1×flip3-+_binary64 associate-*r*_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64 *-commutative_binary64
Counts
2 → 31
Calls
2 calls:
6.0ms
(+.f64 (*.f64 x x) (*.f64 y (*.f64 y 3)))
6.0ms
(*.f64 y (*.f64 y 3))

series476.0ms

Counts
2 → 6
Calls
2 calls:
209.0ms
(+.f64 (*.f64 x x) (*.f64 y (*.f64 y 3)))
267.0ms
(*.f64 y (*.f64 y 3))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0294321
1294321
03345
13345
0294321
1294321
03345
13345
0476215
1476215
0315309
1315309
0169
1169
0315309
1315309
0169
1169
013
113

simplify150.0ms

Counts
37 → 37
Iterations

Useful iterations: 0 (130.0ms)

IterNodesCost
04916394
14916394

prune25.0ms

Filtered
26 candidates to 37 candidates (-42.3%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New33437
Fresh101
Picked011
Done000
Total34539

Merged error: 0.0b

Counts
39 → 5

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (*.f64 (*.f64 y y) 3))
0.2b
(*.f64 (*.f64 y y) 3)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×add-log-exp_binary64 add-sqr-sqrt_binary64
3×pow-prod-down_binary64 *-un-lft-identity_binary64 cbrt-unprod_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 prod-exp_binary64
2×insert-posit16
1×flip3-+_binary64 associate-*l*_binary64 unswap-sqr_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64 *-commutative_binary64
Counts
2 → 32
Calls
2 calls:
5.0ms
(+.f64 (*.f64 x x) (*.f64 (*.f64 y y) 3))
7.0ms
(*.f64 (*.f64 y y) 3)

series459.0ms

Counts
2 → 6
Calls
2 calls:
214.0ms
(+.f64 (*.f64 x x) (*.f64 (*.f64 y y) 3))
246.0ms
(*.f64 (*.f64 y y) 3)
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0264357
1264357
03436
13436
0264357
1264357
03436
13436
04133
14133
0294321
1294321
099
199
0294321
1294321
099
199
013
113

simplify196.0ms

Counts
38 → 38
Iterations

Useful iterations: 0 (176.0ms)

IterNodesCost
04898414
14898414

prune21.0ms

Filtered
26 candidates to 38 candidates (-46.2%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New38038
Fresh033
Picked011
Done011
Total38543

Merged error: 0.0b

Counts
43 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (cbrt.f64 (*.f64 y (*.f64 y 3))) (cbrt.f64 (*.f64 y (*.f64 y 3))))
18.3b
(cbrt.f64 (*.f64 y (*.f64 y 3)))
18.3b
(cbrt.f64 (*.f64 y (*.f64 y 3)))
18.3b
(cbrt.f64 (*.f64 y (*.f64 y 3)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1_binary64
10×add-sqr-sqrt_binary64
9×pow1/3_binary64
8×*-un-lft-identity_binary64 add-cube-cbrt_binary64
7×cbrt-prod_binary64
6×add-exp-log_binary64
4×add-log-exp_binary64 swap-sqr_binary64 associate-*r*_binary64 add-cbrt-cube_binary64 associate-*l*_binary64 insert-posit16
2×pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
1×cbrt-unprod_binary64 pow-plus_binary64 unswap-sqr_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 62
Calls
4 calls:
7.0ms
(*.f64 (cbrt.f64 (*.f64 y (*.f64 y 3))) (cbrt.f64 (*.f64 y (*.f64 y 3))))
4.0ms
(cbrt.f64 (*.f64 y (*.f64 y 3)))
4.0ms
(cbrt.f64 (*.f64 y (*.f64 y 3)))
6.0ms
(cbrt.f64 (*.f64 y (*.f64 y 3)))

series2.7s

Counts
4 → 12
Calls
4 calls:
315.0ms
(*.f64 (cbrt.f64 (*.f64 y (*.f64 y 3))) (cbrt.f64 (*.f64 y (*.f64 y 3))))
791.0ms
(cbrt.f64 (*.f64 y (*.f64 y 3)))
783.0ms
(cbrt.f64 (*.f64 y (*.f64 y 3)))
781.0ms
(cbrt.f64 (*.f64 y (*.f64 y 3)))
Iterations

Useful iterations: 0 (199.0ms)

IterNodesCost
0531673
1531673
031801610
131801610
0531673
1531673
031801610
131801610
0483126
1483126
0531673
1531673
031801610
131801610
0531673
1531673
031801610
131801610
0483126
1483126
0531673
1531673
031801610
131801610
0531673
1531673
031801610
131801610
0483126
1483126
01241810
11241810
020172
120172
01241810
11241810
020172
120172
0494369
1494369

simplify142.0ms

Counts
74 → 74
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
05113765

prune73.0ms

Filtered
56 candidates to 74 candidates (-32.1%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New73174
Fresh022
Picked011
Done022
Total73679

Merged error: 0.0b

Counts
79 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 (*.f64 y 3))
0.6b
(cbrt.f64 (*.f64 y 3))
18.3b
(cbrt.f64 (*.f64 y (*.f64 y 3)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 pow1_binary64 pow1/3_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
Counts
4 → 42
Calls
4 calls:
1.0ms
(cbrt.f64 y)
3.0ms
(cbrt.f64 (*.f64 y 3))
3.0ms
(cbrt.f64 (*.f64 y 3))
5.0ms
(cbrt.f64 (*.f64 y (*.f64 y 3)))

series1.7s

Counts
4 → 12
Calls
4 calls:
290.0ms
(cbrt.f64 y)
302.0ms
(cbrt.f64 (*.f64 y 3))
295.0ms
(cbrt.f64 (*.f64 y 3))
783.0ms
(cbrt.f64 (*.f64 y (*.f64 y 3)))
Iterations

Useful iterations: 0 (197.0ms)

IterNodesCost
0531673
1531673
031801610
131801610
0531673
1531673
031801610
131801610
0483126
1483126
0471627
1471627
0851596
1851596
0471627
1471627
0851596
1851596
0489050
1489050
0471627
1471627
0851596
1851596
0471627
1471627
0851596
1851596
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050

simplify164.0ms

Counts
54 → 54
Iterations

Useful iterations: 0 (144.0ms)

IterNodesCost
05049496

prune65.0ms

Filtered
49 candidates to 54 candidates (-10.2%)
Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New54054
Fresh022
Picked011
Done033
Total54660

Merged error: 0.0b

Counts
60 → 6

regimes53.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01013
11013

end0.0ms

sample352.0ms

Algorithm
intervals
Results
222.0ms8000×body80valid
0.0ms9×body80invalid

Profiling

Loading profile data...