Details

Time bar (total: 11.3s)

analyze2.0s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
0%98.1%1.9%13
0%98.1%1.9%14

sample195.0ms

Algorithm
intervals
Results
54.0ms93×body5120valid
33.0ms416×body80nan
24.0ms44×body2560valid
14.0ms23×body5120exit
10.0ms27×body1280valid
10.0ms129×body80invalid
5.0ms68×body80valid
4.0ms14×body640valid
2.0ms8×body320valid
1.0ms3×body1280invalid
1.0ms2×body2560invalid
1.0ms3×body640invalid
0.0ms2×body320invalid
0.0ms2×body160valid

simplify39.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
0623072

prune6.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: 59.6b

Counts
2 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

19.2b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
19.2b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
19.2b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
29.2b
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
211×add-exp-log_binary64 add-cbrt-cube_binary64
117×cbrt-unprod_binary64 prod-exp_binary64
45×cbrt-undiv_binary64 div-exp_binary64
6×*-un-lft-identity_binary64 add-log-exp_binary64
4×pow1_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 insert-posit16 sqrt-div_binary64
3×associate-/r*_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 times-frac_binary64 div-inv_binary64
2×consolidate-+-/_binary64 flip3--_binary64 frac-add_binary64 flip--_binary64
1×flip3-+_binary64 distribute-lft-out_binary64 consolidate-+-/-l_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64
Counts
4 → 150
Calls
4 calls:
17.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
18.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
17.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
59.0ms
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

series1.0s

Counts
4 → 12
Calls
4 calls:
255.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
252.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
254.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
287.0ms
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
053376948
0939
1939
053376948
0939
1939
013
113
053265457
0329
1329
053265457
0329
1329
013
113
053265457
0329
1329
053265457
0329
1329
013
113
053265457
0329
1329
053265457
0329
1329
013
113

simplify155.0ms

Counts
162 → 162
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
051284538

prune124.0ms

Filtered
61 candidates to 162 candidates (-165.6%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1566162
Fresh101
Picked101
Done000
Total1586164

Merged error: 30.7b

Counts
164 → 6

localize5.0ms

Local error

Found 1 expressions with local error:

7.2b
(*.f64 (/.f64 c0 (*.f64 2 w)) 0)

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log_binary64 add-cbrt-cube_binary64
7×associate-*l*_binary64
6×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64 cbrt-unprod_binary64 add-cube-cbrt_binary64 prod-exp_binary64
3×pow1_binary64 associate-*r*_binary64 times-frac_binary64
2×cbrt-undiv_binary64 div-exp_binary64
1×pow-prod-down_binary64 add-log-exp_binary64 mul0-rgt_binary64 unswap-sqr_binary64 div-inv_binary64 insert-posit16 associate-*l/_binary64 *-commutative_binary64
Counts
1 → 29
Calls
1 calls:
9.0ms
(*.f64 (/.f64 c0 (*.f64 2 w)) 0)

series181.0ms

Counts
1 → 3
Calls
1 calls:
181.0ms
(*.f64 (/.f64 c0 (*.f64 2 w)) 0)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0739
1739
019
119
0739
1739
019
119
013
113

simplify92.0ms

Counts
32 → 32
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
05132113

prune27.0ms

Filtered
23 candidates to 32 candidates (-39.1%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New31132
Fresh055
Picked101
Done000
Total32638

Merged error: 28.8b

Counts
38 → 6

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify21.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
000

prune10.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New000
Fresh055
Picked011
Done000
Total066

Merged error: 28.8b

Counts
6 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

19.1b
(/.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w h)) (*.f64 D D))
19.2b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
19.2b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
32.4b
(+.f64 (/.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w h)) (*.f64 D D)) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
207×add-exp-log_binary64 add-cbrt-cube_binary64
103×cbrt-unprod_binary64 prod-exp_binary64
56×cbrt-undiv_binary64 div-exp_binary64
9×times-frac_binary64
8×*-un-lft-identity_binary64
7×associate-/l*_binary64
6×add-log-exp_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
5×div-inv_binary64
4×pow1_binary64 insert-posit16 sqrt-div_binary64
3×associate-/r*_binary64 clear-num_binary64 frac-2neg_binary64
2×consolidate-+-/_binary64 flip3--_binary64 frac-add_binary64 flip--_binary64
1×flip3-+_binary64 associate-/l/_binary64 distribute-lft-out_binary64 consolidate-+-/-l_binary64 consolidate-/-/-b_binary64_1 +-commutative_binary64 flip-+_binary64 sum-log_binary64
Counts
4 → 158
Calls
4 calls:
15.0ms
(/.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w h)) (*.f64 D D))
17.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
18.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
59.0ms
(+.f64 (/.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w h)) (*.f64 D D)) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

series1.1s

Counts
4 → 12
Calls
4 calls:
255.0ms
(/.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w h)) (*.f64 D D))
255.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
255.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
309.0ms
(+.f64 (/.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w h)) (*.f64 D D)) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
050146849
0749
1749
050146849
0749
1749
013
113
053265457
0329
1329
053265457
0329
1329
013
113
053265457
0329
1329
053265457
0329
1329
013
113
052505457
0339
1339
052505457
0339
1339
013
113

simplify177.0ms

Counts
170 → 170
Iterations

Useful iterations: 0 (119.0ms)

IterNodesCost
052274613

prune104.0ms

Filtered
68 candidates to 170 candidates (-150.0%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1673170
Fresh224
Picked011
Done011
Total1697176

Merged error: 28.8b

Counts
176 → 7

regimes199.0ms

Accuracy

0% (2.3b remaining)

Error of 33.3b against oracle of 30.9b and baseline of 33.3b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
011
111

end0.0ms

sample5.6s

Algorithm
intervals
Results
1.3s2327×body5120valid
1.0s13179×body80nan
793.0ms1710×body2560valid
380.0ms618×body5120exit
354.0ms4376×body80invalid
315.0ms823×body1280valid
189.0ms2418×body80valid
126.0ms417×body640valid
47.0ms212×body320valid
29.0ms78×body1280invalid
26.0ms58×body2560invalid
14.0ms48×body640invalid
14.0ms93×body160valid
6.0ms25×body320invalid
2.0ms16×body160invalid
1.0ms2×body5120invalid

Profiling

Loading profile data...