Details

Time bar (total: 5.6s)

analyze887.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

sample46.0ms

Algorithm
intervals
Results
17.0ms256×body80valid
14.0ms203×body80invalid

simplify216.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
0493637
1493637

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: 9.0b

Counts
2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

1.2b
(/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))
4.2b
(*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
5.6b
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
10.2b
(*.f64 r (*.f64 w w))

rewrite284.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×flip3--_binary64 unswap-sqr_binary64 flip--_binary64
2×associate-/l/_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
1×associate-*r/_binary64 div-sub_binary64
Counts
4 → 181
Calls
4 calls:
12.0ms
(/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))
31.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))))
214.0ms
(*.f64 r (*.f64 w w))

series234.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))
59.0ms
(*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
61.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
58.0ms
(*.f64 r (*.f64 w w))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01269
11269
01269
11269
013
113
0759
1759
0759
1759
013
113
0959
1959
0959
1959
013
113
0549
1549
0549
1549
013
113

simplify165.0ms

Counts
193 → 193
Iterations

Useful iterations: 0 (116.0ms)

IterNodesCost
051623893

prune251.0ms

Filtered
134 candidates to 193 candidates (-44.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New18211193
Fresh101
Picked101
Done000
Total18411195

Merged error: 2.3b

Counts
195 → 11

localize19.0ms

Local error

Found 4 expressions with local error:

0.8b
(/.f64 2 (*.f64 r r))
1.2b
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
4.2b
(*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))
5.6b
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))

rewrite69.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×flip3--_binary64 associate-*l*_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64
2×associate-/l/_binary64 associate-/r/_binary64 unswap-sqr_binary64 frac-times_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 associate-*r/_binary64 div-sub_binary64 *-commutative_binary64
Counts
4 → 183
Calls
4 calls:
6.0ms
(/.f64 2 (*.f64 r r))
12.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))))
15.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))

series390.0ms

Counts
4 → 12
Calls
4 calls:
210.0ms
(/.f64 2 (*.f64 r r))
57.0ms
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
60.0ms
(*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))
62.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0719
1719
0719
1719
013
113
0919
1919
0919
1919
013
113
0509
1509
0509
1509
013
113
010049
110049
010049
110049
013
113

simplify102.0ms

Counts
195 → 195
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
059744000

prune267.0ms

Filtered
140 candidates to 195 candidates (-39.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New18510195
Fresh8210
Picked101
Done000
Total19412206

Merged error: 0.0b

Counts
206 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v))))
0.8b
(/.f64 2 (*.f64 r r))
1.7b
(*.f64 w (/.f64 r (-.f64 1 v)))
4.2b
(*.f64 (-.f64 3/8 (*.f64 v 1/4)) (*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v)))))

rewrite66.0ms

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

series384.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v))))
209.0ms
(/.f64 2 (*.f64 r r))
58.0ms
(*.f64 w (/.f64 r (-.f64 1 v)))
58.0ms
(*.f64 (-.f64 3/8 (*.f64 v 1/4)) (*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0779
1779
0779
1779
013
113
0519
1519
0519
1519
013
113
010049
110049
010049
110049
013
113
0579
1579
0579
1579
013
113

simplify111.0ms

Counts
143 → 143
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
050852257

prune137.0ms

Filtered
83 candidates to 143 candidates (-72.3%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1412143
Fresh2911
Picked101
Done000
Total14411155

Merged error: 0.0b

Counts
155 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
94×times-frac_binary64
72×add-sqr-sqrt_binary64
67×*-un-lft-identity_binary64
64×add-exp-log_binary64 add-cbrt-cube_binary64
58×add-cube-cbrt_binary64
36×pow1_binary64
35×cbrt-unprod_binary64 prod-exp_binary64
26×associate-*r*_binary64
22×pow-prod-down_binary64
13×associate-/l*_binary64
10×associate-*r/_binary64
8×cbrt-undiv_binary64 div-exp_binary64
7×associate-*l*_binary64
6×difference-of-squares_binary64 div-inv_binary64
4×add-log-exp_binary64 insert-posit16
3×associate-/r*_binary64 flip3--_binary64 distribute-lft-out--_binary64 flip--_binary64 *-commutative_binary64
2×associate-/r/_binary64 unswap-sqr_binary64 frac-times_binary64 associate-*l/_binary64
1×associate-/l/_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 180
Calls
4 calls:
7.0ms
(/.f64 (/.f64 2 r) r)
15.0ms
(*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v))))
17.0ms
(*.f64 w (/.f64 r (-.f64 1 v)))
21.0ms
(*.f64 (-.f64 3/8 (*.f64 v 1/4)) (*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v)))))

series234.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(/.f64 (/.f64 2 r) r)
58.0ms
(*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v))))
55.0ms
(*.f64 w (/.f64 r (-.f64 1 v)))
60.0ms
(*.f64 (-.f64 3/8 (*.f64 v 1/4)) (*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0779
1779
0779
1779
013
113
0519
1519
0519
1519
013
113
0579
1579
0579
1579
013
113
06449
16449
06449
16449
013
113

simplify126.0ms

Counts
192 → 192
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
050213216

prune187.0ms

Filtered
118 candidates to 192 candidates (-62.7%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1893192
Fresh1910
Picked011
Done000
Total19013203

Merged error: 0.0b

Counts
203 → 13

regimes148.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
026037
126037

end0.0ms

sample1.1s

Algorithm
intervals
Results
519.0ms8000×body80valid
332.0ms5019×body80invalid

Profiling

Loading profile data...