Details

Time bar (total: 5.3s)

analyze65.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
37.5%62.4%0.1%6
50%37.5%12.6%7
56.2%31.2%12.6%8
62.4%18.7%18.8%9
65.6%15.6%18.8%10
68.7%9.4%22%11
70.2%7.8%22%12
71.8%4.7%23.5%13
72.6%3.9%23.5%14

sample11.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
0.0ms6×body80invalid

simplify21.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
03510
13510

prune2.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.3b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite17.0ms

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

series375.0ms

Counts
2 → 6
Calls
2 calls:
196.0ms
(*.f64 (*.f64 (*.f64 x 3) y) y)
179.0ms
(*.f64 (*.f64 x 3) y)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0316309
1316309
0149
1149
0316309
1316309
0149
1149
013
113

simplify146.0ms

Counts
47 → 47
Iterations

Useful iterations: 0 (127.0ms)

IterNodesCost
05294427

prune35.0ms

Filtered
27 candidates to 47 candidates (-74.1%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New40747
Fresh000
Picked011
Done000
Total40848

Merged error: 0.0b

Counts
48 → 8

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b
(*.f64 (*.f64 x (*.f64 3 y)) y)
0.3b
(*.f64 x (*.f64 3 y))

rewrite16.0ms

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

series397.0ms

Counts
2 → 6
Calls
2 calls:
203.0ms
(*.f64 (*.f64 x (*.f64 3 y)) y)
194.0ms
(*.f64 x (*.f64 3 y))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0262189
1262189
02321
12321
0262189
1262189
02321
12321
0423
1423
0332309
1332309
03227
13227
0332309
1332309
03227
13227
0423
1423

simplify92.0ms

Counts
47 → 47
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
05474430

prune24.0ms

Filtered
26 candidates to 47 candidates (-80.8%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New44347
Fresh246
Picked011
Done011
Total46955

Merged error: 0.0b

Counts
55 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.5b
(cbrt.f64 y)
0.5b
(cbrt.f64 y)
0.5b
(cbrt.f64 y)

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:
7.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)

series1.9s

Counts
4 → 12
Calls
4 calls:
1.1s
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
282.0ms
(cbrt.f64 y)
276.0ms
(cbrt.f64 y)
280.0ms
(cbrt.f64 y)
Iterations

Useful iterations: 0 (155.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

simplify124.0ms

Counts
89 → 89
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
04841750
14841750

prune67.0ms

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

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New88189
Fresh066
Picked011
Done022
Total881098

Merged error: 0.0b

Counts
98 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
8.0b
(cbrt.f64 (*.f64 (*.f64 x 3) y))
8.0b
(cbrt.f64 (*.f64 (*.f64 x 3) y))
8.0b
(cbrt.f64 (*.f64 (*.f64 x 3) y))

rewrite23.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:
8.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
4.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))

series1.4s

Counts
4 → 12
Calls
4 calls:
328.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
345.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
349.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
348.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0921671
1921671
047941178
147941178
0921671
1921671
047941178
147941178
05956
15956
0921671
1921671
047941178
147941178
0921671
1921671
047941178
147941178
05956
15956
0921671
1921671
047941178
147941178
0921671
1921671
047941178
147941178
05956
15956
01601803
11601803
047281202
147281202
01601803
11601803
047281202
147281202
06666
16666

simplify126.0ms

Counts
74 → 74
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
04948715
14948715

prune66.0ms

Filtered
55 candidates to 74 candidates (-34.5%)
Pruning

11 alts after pruning (7 fresh and 4 done)

PrunedKeptTotal
New73174
Fresh066
Picked011
Done033
Total731184

Merged error: 0.0b

Counts
84 → 11

regimes80.0ms

Accuracy

0% (0.2b 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
01010
11010

end0.0ms

sample304.0ms

Algorithm
intervals
Results
179.0ms8000×body80valid
4.0ms183×body80invalid

Profiling

Loading profile data...