Details

Time bar (total: 11.0s)

analyze886.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
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
0%96.7%3.3%9
16.4%74.9%8.7%10
17.6%71.8%10.7%11
26.3%59.5%14.2%12
30.7%45.7%23.5%13
31.7%43.5%24.7%14

sample44.0ms

Algorithm
intervals
Results
17.0ms256×body80valid
13.0ms184×body80invalid

simplify189.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
0497237
1497237

prune8.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: 8.4b

Counts
2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.7b
(/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))
5.0b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
8.2b
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
9.9b
(*.f64 r (*.f64 w w))

rewrite270.0ms

Algorithm
rewrite-expression-head
Rules
109×times-frac_binary64
77×add-sqr-sqrt_binary64
71×*-un-lft-identity_binary64
52×add-exp-log_binary64 add-cbrt-cube_binary64
44×add-cube-cbrt_binary64
36×associate-*r*_binary64
18×difference-of-squares_binary64
17×cbrt-unprod_binary64 cbrt-undiv_binary64 prod-exp_binary64 div-exp_binary64
11×associate-/r*_binary64 pow1_binary64
10×div-inv_binary64
9×associate-/l*_binary64 distribute-lft-out--_binary64
6×associate-*l*_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 insert-posit16
3×unswap-sqr_binary64
2×flip3-+_binary64 associate-/l/_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
1×flip3--_binary64 associate-*r/_binary64 div-sub_binary64 flip--_binary64
Counts
4 → 181
Calls
4 calls:
16.0ms
(/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))
27.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
15.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
199.0ms
(*.f64 r (*.f64 w w))

series1.6s

Counts
4 → 12
Calls
4 calls:
576.0ms
(/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))
456.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
402.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
183.0ms
(*.f64 r (*.f64 w w))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0250231
1250231
099
199
0250231
1250231
099
199
013
113
0693987
1693987
03029
13029
0693987
1693987
03029
13029
05320
15320
08051254
18051254
065453
165453
08051254
18051254
065453
165453
013
113
0528552
1528552
089
189
0528552
1528552
089
189
0557239

simplify170.0ms

Counts
193 → 193
Iterations

Useful iterations: 0 (124.0ms)

IterNodesCost
049393929
149393929

prune251.0ms

Filtered
136 candidates to 193 candidates (-41.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1849193
Fresh011
Picked101
Done000
Total18510195

Merged error: 2.4b

Counts
195 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 2 (*.f64 r r))
0.7b
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
5.0b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))
8.2b
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
112×times-frac_binary64
77×add-sqr-sqrt_binary64
72×*-un-lft-identity_binary64
52×add-exp-log_binary64 add-cbrt-cube_binary64
45×add-cube-cbrt_binary64
35×associate-*r*_binary64
19×cbrt-undiv_binary64 div-exp_binary64
18×difference-of-squares_binary64
15×cbrt-unprod_binary64 prod-exp_binary64
12×associate-/r*_binary64 associate-/l*_binary64
11×div-inv_binary64
9×distribute-lft-out--_binary64
6×pow1_binary64
4×add-log-exp_binary64 insert-posit16
3×associate-*l*_binary64 clear-num_binary64 frac-2neg_binary64
2×flip3-+_binary64 associate-/l/_binary64 associate-/r/_binary64 unswap-sqr_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 flip3--_binary64 associate-*r/_binary64 div-sub_binary64 flip--_binary64 *-commutative_binary64
Counts
4 → 183
Calls
4 calls:
6.0ms
(/.f64 2 (*.f64 r r))
14.0ms
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
26.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))
14.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))

series1.7s

Counts
4 → 12
Calls
4 calls:
390.0ms
(/.f64 2 (*.f64 r r))
415.0ms
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
461.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))
406.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0707987
1707987
02929
12929
0707987
1707987
02929
12929
05320
15320
08361254
18361254
058435
158435
08361254
18361254
058435
158435
013
113
0558552
1558552
069
169
0558552
1558552
069
169
01121
11121
0483775
1483775
060271
160271
0483775
1483775
060271
160271
0492039
1492039

simplify170.0ms

Counts
195 → 195
Iterations

Useful iterations: 0 (122.0ms)

IterNodesCost
056604030

prune288.0ms

Filtered
142 candidates to 195 candidates (-37.3%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New18411195
Fresh729
Picked101
Done000
Total19213205

Merged error: 0.0b

Counts
205 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 r w) w)
0.3b
(/.f64 2 (*.f64 r r))
2.0b
(*.f64 (/.f64 r (-.f64 1 v)) (+.f64 3/8 (*.f64 v -1/4)))
6.3b
(*.f64 (*.f64 (/.f64 r (-.f64 1 v)) (+.f64 3/8 (*.f64 v -1/4))) (*.f64 (*.f64 r w) w))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
55×add-exp-log_binary64 add-cbrt-cube_binary64
32×pow1_binary64 add-sqr-sqrt_binary64
30×cbrt-unprod_binary64 prod-exp_binary64
27×*-un-lft-identity_binary64
26×associate-*l*_binary64
22×times-frac_binary64
19×pow-prod-down_binary64
18×add-cube-cbrt_binary64
7×associate-*r*_binary64 associate-*l/_binary64
6×cbrt-undiv_binary64 difference-of-squares_binary64 div-exp_binary64
4×flip3-+_binary64 add-log-exp_binary64 associate-*r/_binary64 insert-posit16 flip-+_binary64 frac-times_binary64
3×associate-/l*_binary64 distribute-lft-out--_binary64 *-commutative_binary64
2×associate-/r/_binary64 unswap-sqr_binary64 div-inv_binary64
1×associate-/r*_binary64 flip3--_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64
Counts
4 → 131
Calls
4 calls:
6.0ms
(*.f64 (*.f64 r w) w)
6.0ms
(/.f64 2 (*.f64 r r))
16.0ms
(*.f64 (/.f64 r (-.f64 1 v)) (+.f64 3/8 (*.f64 v -1/4)))
21.0ms
(*.f64 (*.f64 (/.f64 r (-.f64 1 v)) (+.f64 3/8 (*.f64 v -1/4))) (*.f64 (*.f64 r w) w))

series1.3s

Counts
4 → 12
Calls
4 calls:
172.0ms
(*.f64 (*.f64 r w) w)
388.0ms
(/.f64 2 (*.f64 r r))
336.0ms
(*.f64 (/.f64 r (-.f64 1 v)) (+.f64 3/8 (*.f64 v -1/4)))
429.0ms
(*.f64 (*.f64 (/.f64 r (-.f64 1 v)) (+.f64 3/8 (*.f64 v -1/4))) (*.f64 (*.f64 r w) w))
Iterations

Useful iterations: 0 (145.0ms)

IterNodesCost
0570849
1570849
04941
14941
0570849
1570849
04941
14941
050243
0431441
1431441
03635
13635
0431441
1431441
03635
13635
0527712
0483775
1483775
060271
160271
0483775
1483775
060271
160271
0492039
1492039
0271231
1271231
089
189
0271231
1271231
089
189
013
113

simplify81.0ms

Counts
143 → 143
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
053102450

prune151.0ms

Filtered
93 candidates to 143 candidates (-53.8%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1421143
Fresh11112
Picked011
Done000
Total14313156

Merged error: 0.0b

Counts
156 → 13

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.f64 1 (*.f64 (*.f64 r w) w))
0.3b
(/.f64 2 (*.f64 r r))
0.3b
(*.f64 (/.f64 (+.f64 3/8 (*.f64 v -1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (*.f64 (*.f64 r w) w))))
6.5b
(/.f64 r (/.f64 1 (*.f64 (*.f64 r w) w)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
161×add-exp-log_binary64
91×times-frac_binary64
77×add-cbrt-cube_binary64
69×add-sqr-sqrt_binary64
67×div-exp_binary64
59×prod-exp_binary64
57×*-un-lft-identity_binary64
48×add-cube-cbrt_binary64
31×cbrt-undiv_binary64
26×associate-*r*_binary64
24×associate-*l*_binary64
23×cbrt-unprod_binary64
12×pow1_binary64 1-exp_binary64 rec-exp_binary64 div-inv_binary64
9×associate-/r*_binary64 associate-/l*_binary64
6×difference-of-squares_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 associate-/r/_binary64 unswap-sqr_binary64 insert-posit16
3×clear-num_binary64 frac-2neg_binary64 distribute-lft-out--_binary64 pow-flip_binary64
1×flip3--_binary64 associate-*r/_binary64 inv-pow_binary64 flip--_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 212
Calls
4 calls:
8.0ms
(/.f64 1 (*.f64 (*.f64 r w) w))
6.0ms
(/.f64 2 (*.f64 r r))
35.0ms
(*.f64 (/.f64 (+.f64 3/8 (*.f64 v -1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (*.f64 (*.f64 r w) w))))
11.0ms
(/.f64 r (/.f64 1 (*.f64 (*.f64 r w) w)))

series1.8s

Counts
4 → 12
Calls
4 calls:
550.0ms
(/.f64 1 (*.f64 (*.f64 r w) w))
392.0ms
(/.f64 2 (*.f64 r r))
487.0ms
(*.f64 (/.f64 (+.f64 3/8 (*.f64 v -1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (*.f64 (*.f64 r w) w))))
378.0ms
(/.f64 r (/.f64 1 (*.f64 (*.f64 r w) w)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0703855
1703855
089
189
0703855
1703855
089
189
013
113
08611308
18611308
062435
162435
08611308
18611308
062435
162435
013
113
0483775
1483775
060271
160271
0483775
1483775
060271
160271
0492039
1492039
0512492
1512492
099
199
0512492
1512492
099
199
0557439

simplify204.0ms

Counts
224 → 224
Iterations

Useful iterations: 0 (153.0ms)

IterNodesCost
049364222
149364222

prune214.0ms

Filtered
135 candidates to 224 candidates (-65.9%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New2240224
Fresh01111
Picked011
Done011
Total22413237

Merged error: 0.0b

Counts
237 → 13

regimes168.0ms

Accuracy

81.9% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 2.5b

bsearch71.0ms

Steps
ItersRangePoint
8
7.64324639458087e+87
2.2911958776002498e+92
2.134084632159218e+88
9
-1.2994126839860913e+35
-1.0318230632096574e+29
-4.650921930387387e+34

simplify9.0ms

Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
016988
116988

end0.0ms

sample1.1s

Algorithm
intervals
Results
528.0ms8000×body80valid
315.0ms4809×body80invalid

Profiling

Loading profile data...