Details

Time bar (total: 4.7s)

analyze38.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
50%50%0.1%6
62.4%31.2%6.3%7
71.8%21.9%6.3%8
76.5%14%9.5%9
80.4%10.1%9.5%10
82.3%6.6%11%11
84.1%4.9%11%12
85%3.2%11.8%13
85.8%2.4%11.8%14

sample16.0ms

Algorithm
intervals
Results
5.0ms256×body80valid
0.0ms4×body80invalid

simplify21.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0167
1167

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (*.f64 x 27) y)

rewrite7.0ms

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

series176.0ms

Counts
1 → 3
Calls
1 calls:
176.0ms
(*.f64 (*.f64 x 27) y)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113

simplify97.0ms

Counts
22 → 22
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
04866170
14866170

prune15.0ms

Filtered
13 candidates to 22 candidates (-69.2%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New17522
Fresh000
Picked011
Done000
Total17623

Merged error: 0.0b

Counts
23 → 6

localize3.0ms

Local error

Found 1 expressions with local error:

0.2b
(*.f64 x (*.f64 27 y))

rewrite7.0ms

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

series191.0ms

Counts
1 → 3
Calls
1 calls:
190.0ms
(*.f64 x (*.f64 27 y))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0262189
1262189
02321
12321
0262189
1262189
02321
12321
0423
1423

simplify101.0ms

Counts
22 → 22
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
04891168
14891168

prune13.0ms

Filtered
11 candidates to 22 candidates (-100.0%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New20222
Fresh134
Picked011
Done011
Total21728

Merged error: 0.0b

Counts
28 → 7

localize7.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)

rewrite13.0ms

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

series1.9s

Counts
4 → 12
Calls
4 calls:
1.1s
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
273.0ms
(cbrt.f64 x)
279.0ms
(cbrt.f64 x)
278.0ms
(cbrt.f64 x)
Iterations

Useful iterations: 0 (157.0ms)

IterNodesCost
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
01111670
11111670
068191644
01111670
11111670
068191644
0473971
1473971

simplify127.0ms

Counts
89 → 89
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
04841750
14841750

prune62.0ms

Filtered
67 candidates to 89 candidates (-32.8%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New87289
Fresh044
Picked011
Done022
Total87996

Merged error: 0.0b

Counts
96 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
0.8b
(pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
16×cbrt-prod_binary64
10×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
9×unpow-prod-down_binary64
5×pow1_binary64 add-exp-log_binary64
4×add-log-exp_binary64 pow1/3_binary64 add-cbrt-cube_binary64 insert-posit16
3×pow-unpow_binary64
2×pow-pow_binary64
1×pow-to-exp_binary64 sqr-pow_binary64 pow-exp_binary64
Counts
4 → 59
Calls
4 calls:
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
4.0ms
(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
4.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)

series1.3s

Counts
4 → 12
Calls
4 calls:
279.0ms
(cbrt.f64 x)
278.0ms
(cbrt.f64 x)
282.0ms
(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
481.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)
Iterations

Useful iterations: 0 (154.0ms)

IterNodesCost
02791648
12791648
049491635
149491635
02791648
12791648
049491635
149491635
0490865
1490865
0561688
1561688
0521671
1521671
0561688
1561688
0521671
1521671
0489477
1489477
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050

simplify145.0ms

Counts
71 → 71
Iterations

Useful iterations: 0 (122.0ms)

IterNodesCost
04833759
14833759

prune68.0ms

Filtered
59 candidates to 71 candidates (-20.3%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New70171
Fresh055
Picked101
Done033
Total71980

Merged error: 0.0b

Counts
80 → 9

regimes67.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
087
187

end0.0ms

sample274.0ms

Algorithm
intervals
Results
146.0ms8000×body80valid
1.0ms80×body80invalid

Profiling

Loading profile data...