Details

Time bar (total: 7.8s)

analyze1.3s

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
5.8%93.9%0.3%11
8.4%91.3%0.3%12
9.7%90%0.3%13
10.7%89%0.3%14

sample25.0ms

Algorithm
intervals
Results
13.0ms256×body80valid
0.0ms6×body80invalid

simplify26.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
04925
14925

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 20.0b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (/.f64 (*.f64 y z) t))
6.7b
(/.f64 (*.f64 y b) t)
7.3b
(/.f64 (*.f64 y z) t)
13.8b
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity_binary64_12177
26×times-frac_binary64_12172
22×distribute-lft-out_binary64_12221
19×add-sqr-sqrt_binary64_12162 add-cube-cbrt_binary64_12148
16×add-cbrt-cube_binary64_12149 add-exp-log_binary64_12141
11×associate-/r*_binary64_12240
6×associate-/l*_binary64_12241 add-log-exp_binary64_12142
5×cbrt-undiv_binary64_12147 div-exp_binary64_12126
4×pow1_binary64_12119 flip-+_binary64_12202 associate-/r/_binary64_12242 flip3-+_binary64_12175
3×clear-num_binary64_12180 frac-2neg_binary64_12170 div-inv_binary64_12178
2×cbrt-unprod_binary64_12146 associate-/l/_binary64_12243 prod-exp_binary64_12124 frac-add_binary64_12167
1×+-commutative_binary64_12244 sum-log_binary64_12087
Counts
4 → 101
Calls
4 calls:
6.0ms
(+.f64 x (/.f64 (*.f64 y z) t))
5.0ms
(/.f64 (*.f64 y b) t)
5.0ms
(/.f64 (*.f64 y z) t)
18.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

series1.5s

Counts
4 → 12
Calls
4 calls:
246.0ms
(+.f64 x (/.f64 (*.f64 y z) t))
316.0ms
(/.f64 (*.f64 y b) t)
313.0ms
(/.f64 (*.f64 y z) t)
619.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
05306609
15306609
047726435
147726435
05306609
15306609
047726435
147726435
013
113
05363546
15363546
050731311
05363546
15363546
050731311
013
113
05363546
15363546
050731311
05363546
15363546
050731311
013
113
0724524
1724524
06554428
16554428
0724524
1724524
06554428
16554428
013
113

simplify71.0ms

Counts
113 → 113
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
050722294

prune129.0ms

Filtered
74 candidates to 113 candidates (-52.7%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New9716113
Fresh000
Picked101
Done000
Total9816114

Merged error: 11.7b

Counts
114 → 16

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 t)
4.1b
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
6.7b
(/.f64 (*.f64 y b) t)
13.8b
(/.f64 (+.f64 x (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
52×*-un-lft-identity_binary64_12177
48×add-sqr-sqrt_binary64_12162
46×times-frac_binary64_12172
32×add-exp-log_binary64_12141 add-cube-cbrt_binary64_12148
25×add-cbrt-cube_binary64_12149
22×associate-*r*_binary64_12236
14×cbrt-prod_binary64_12144
12×distribute-lft-out_binary64_12221
10×cbrt-undiv_binary64_12147 div-exp_binary64_12126
9×cbrt-unprod_binary64_12146 prod-exp_binary64_12124
8×associate-/r*_binary64_12240
7×associate-*l*_binary64_12237
6×pow1_binary64_12119 unswap-sqr_binary64_12205
4×associate-/l*_binary64_12241 add-log-exp_binary64_12142 associate-/r/_binary64_12242 div-inv_binary64_12178
3×flip-+_binary64_12202 flip3-+_binary64_12175
2×associate-/l/_binary64_12243 frac-add_binary64_12167 clear-num_binary64_12180 frac-2neg_binary64_12170
1×pow-prod-down_binary64_12100 *-commutative_binary64_12245 associate-*r/_binary64_12238 pow1/3_binary64_12111 frac-times_binary64_12169 associate-*l/_binary64_12239
Counts
4 → 132
Calls
4 calls:
1.0ms
(cbrt.f64 t)
20.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
6.0ms
(/.f64 (*.f64 y b) t)
15.0ms
(/.f64 (+.f64 x (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

series1.0s

Counts
4 → 12
Calls
4 calls:
103.0ms
(cbrt.f64 t)
223.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
314.0ms
(/.f64 (*.f64 y b) t)
392.0ms
(/.f64 (+.f64 x (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
05396765
15396765
047946435
147946435
05396765
15396765
047946435
147946435
013
113
05363546
15363546
050731311
05363546
15363546
050731311
013
113
0713702
1713702
050663537
0713702
1713702
050663537
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113

simplify162.0ms

Counts
144 → 144
Iterations

Useful iterations: 0 (119.0ms)

IterNodesCost
049572858
149572858

prune131.0ms

Filtered
98 candidates to 144 candidates (-46.9%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New1422144
Fresh21315
Picked101
Done000
Total14515160

Merged error: 10.7b

Counts
160 → 15

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 t)
3.5b
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))
4.1b
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
13.8b
(/.f64 (+.f64 x (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1) (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt_binary64_12162
65×times-frac_binary64_12172
48×add-exp-log_binary64_12141
44×associate-*r*_binary64_12236
43×*-un-lft-identity_binary64_12177 add-cube-cbrt_binary64_12148
34×add-cbrt-cube_binary64_12149
25×cbrt-prod_binary64_12144
16×cbrt-unprod_binary64_12146 prod-exp_binary64_12124
15×cbrt-undiv_binary64_12147 div-exp_binary64_12126
14×associate-*l*_binary64_12237
12×unswap-sqr_binary64_12205
8×pow1_binary64_12119 associate-/r/_binary64_12242
6×frac-add_binary64_12167
5×flip-+_binary64_12202 flip3-+_binary64_12175 div-inv_binary64_12178
4×associate-*r/_binary64_12238 add-log-exp_binary64_12142 frac-times_binary64_12169 associate-*l/_binary64_12239
3×associate-/l*_binary64_12241 associate-/r*_binary64_12240
2×pow-prod-down_binary64_12100 *-commutative_binary64_12245 associate-/l/_binary64_12243
1×pow1/3_binary64_12111 clear-num_binary64_12180 frac-2neg_binary64_12170
Counts
4 → 166
Calls
4 calls:
1.0ms
(cbrt.f64 t)
18.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))
23.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
14.0ms
(/.f64 (+.f64 x (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1) (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))))

series847.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(cbrt.f64 t)
224.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))
221.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
303.0ms
(/.f64 (+.f64 x (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1) (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
05396921
15396921
050966507
05396921
15396921
050966507
013
113
0713702
1713702
050663537
0713702
1713702
050663537
013
113
0713702
1713702
050663537
0713702
1713702
050663537
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113

simplify108.0ms

Counts
178 → 178
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
050743691

prune185.0ms

Filtered
135 candidates to 178 candidates (-31.9%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New1744178
Fresh31114
Picked011
Done000
Total17716193

Merged error: 10.7b

Counts
193 → 16

localize23.0ms

Local error

Found 4 expressions with local error:

9.2b
(cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
9.2b
(cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
9.2b
(cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
13.8b
(/.f64 (+.f64 x (*.f64 (*.f64 (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))) (*.f64 (/.f64 z (cbrt.f64 t)) (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))))) (+.f64 (+.f64 a 1) (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod_binary64_12144
18×times-frac_binary64_12172 *-un-lft-identity_binary64_12177 add-sqr-sqrt_binary64_12162 add-cube-cbrt_binary64_12148
8×associate-/r/_binary64_12242
6×add-cbrt-cube_binary64_12149 frac-add_binary64_12167 add-exp-log_binary64_12141
5×flip-+_binary64_12202 flip3-+_binary64_12175
4×add-log-exp_binary64_12142 pow1_binary64_12119 div-inv_binary64_12178
3×cbrt-div_binary64_12145 associate-/l*_binary64_12241 pow1/3_binary64_12111 associate-/r*_binary64_12240
2×associate-*r/_binary64_12238 associate-/l/_binary64_12243 frac-times_binary64_12169 associate-*l/_binary64_12239
1×cbrt-undiv_binary64_12147 div-exp_binary64_12126 clear-num_binary64_12180 frac-2neg_binary64_12170
Counts
4 → 85
Calls
4 calls:
7.0ms
(cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
6.0ms
(cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
6.0ms
(cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
18.0ms
(/.f64 (+.f64 x (*.f64 (*.f64 (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))) (*.f64 (/.f64 z (cbrt.f64 t)) (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))))) (+.f64 (+.f64 a 1) (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))))

series721.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
140.0ms
(cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
141.0ms
(cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
303.0ms
(/.f64 (+.f64 x (*.f64 (*.f64 (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))) (*.f64 (/.f64 z (cbrt.f64 t)) (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))))))) (+.f64 (+.f64 a 1) (*.f64 (/.f64 y (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 b (cbrt.f64 t)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
05487353
15487353
051956549
05487353
15487353
051956549
013
113
0612673
1612673
01882637
11882637
0612673
1612673
01882637
11882637
013
113
0612673
1612673
01882637
11882637
0612673
1612673
01882637
11882637
013
113
0612673
1612673
01882637
11882637
0612673
1612673
01882637
11882637
013
113

simplify157.0ms

Counts
97 → 97
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
049892853
149892853

prune126.0ms

Filtered
81 candidates to 97 candidates (-19.8%)
Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New96197
Fresh01414
Picked011
Done011
Total9617113

Merged error: 10.7b

Counts
113 → 17

regimes306.0ms

Accuracy

44.7% (2.4b remaining)

Error of 12.5b against oracle of 10.0b and baseline of 14.4b

bsearch37.0ms

Steps
ItersRangePoint
6
3.497740923101607e+26
3.6588476189101253e+27
1.0032985197042793e+27
5
-1.5755464619204237e+58
-6.2739323699218134e+57
-8.364969374598222e+57

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04991
14991

end0.0ms

sample717.0ms

Algorithm
intervals
Results
416.0ms8000×body80valid
16.0ms322×body80invalid

Profiling

Loading profile data...