Details

Time bar (total: 9.2s)

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.0ms9×body80invalid

simplify25.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: 16.2b

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (/.f64 (*.f64 y z) t))
4.2b
(/.f64 (*.f64 y z) t)
6.5b
(/.f64 (*.f64 y b) t)
11.9b
(/.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_12037
26×times-frac_binary64_12032
22×distribute-lft-out_binary64_12081
19×add-cube-cbrt_binary64_12008 add-sqr-sqrt_binary64_12022
16×add-cbrt-cube_binary64_12009 add-exp-log_binary64_12001
11×associate-/r*_binary64_12100
6×associate-/l*_binary64_12101 add-log-exp_binary64_12002
5×div-exp_binary64_11986 cbrt-undiv_binary64_12007
4×pow1_binary64_11979 associate-/r/_binary64_12102 flip-+_binary64_12062 flip3-+_binary64_12035
3×div-inv_binary64_12038 clear-num_binary64_12040 frac-2neg_binary64_12030
2×frac-add_binary64_12027 prod-exp_binary64_11984 associate-/l/_binary64_12103 cbrt-unprod_binary64_12006
1×+-commutative_binary64_12104 sum-log_binary64_11947
Counts
4 → 101
Calls
4 calls:
6.0ms
(+.f64 x (/.f64 (*.f64 y z) t))
6.0ms
(/.f64 (*.f64 y z) t)
6.0ms
(/.f64 (*.f64 y b) t)
17.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

series1.3s

Counts
4 → 12
Calls
4 calls:
229.0ms
(+.f64 x (/.f64 (*.f64 y z) t))
220.0ms
(/.f64 (*.f64 y z) t)
222.0ms
(/.f64 (*.f64 y b) t)
608.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
01066609
11066609
047966435
147966435
01066609
11066609
047966435
147966435
013
113
0693546
1693546
07742655
17742655
0693546
1693546
07742655
17742655
013
113
0693546
1693546
07742655
17742655
0693546
1693546
07742655
17742655
013
113
0684524
1684524
06514428
16514428
0684524
1684524
06514428
16514428
013
113

simplify68.0ms

Counts
113 → 113
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
050722294

prune132.0ms

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

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New9617113
Fresh000
Picked101
Done000
Total9717114

Merged error: 11.3b

Counts
114 → 17

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (/.f64 (*.f64 y z) t))
3.6b
(/.f64 y (/.f64 t b))
4.2b
(/.f64 (*.f64 y z) t)
11.9b
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
98×times-frac_binary64_12032 *-un-lft-identity_binary64_12037
59×add-cube-cbrt_binary64_12008 add-sqr-sqrt_binary64_12022
22×distribute-lft-out_binary64_12081
21×associate-/r*_binary64_12100
16×add-cbrt-cube_binary64_12009 add-exp-log_binary64_12001
8×associate-/l*_binary64_12101
7×div-inv_binary64_12038
6×div-exp_binary64_11986 cbrt-undiv_binary64_12007 add-log-exp_binary64_12002
5×associate-/r/_binary64_12102
4×pow1_binary64_11979 flip-+_binary64_12062 flip3-+_binary64_12035
3×clear-num_binary64_12040 frac-2neg_binary64_12030
2×frac-add_binary64_12027 associate-/l/_binary64_12103
1×+-commutative_binary64_12104 prod-exp_binary64_11984 sum-log_binary64_11947 cbrt-unprod_binary64_12006
Counts
4 → 150
Calls
4 calls:
6.0ms
(+.f64 x (/.f64 (*.f64 y z) t))
7.0ms
(/.f64 y (/.f64 t b))
5.0ms
(/.f64 (*.f64 y z) t)
27.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

series1.3s

Counts
4 → 12
Calls
4 calls:
230.0ms
(+.f64 x (/.f64 (*.f64 y z) t))
203.0ms
(/.f64 y (/.f64 t b))
216.0ms
(/.f64 (*.f64 y z) t)
616.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01066609
11066609
049546435
149546435
01066609
11066609
049546435
149546435
013
113
0693546
1693546
07742655
17742655
0693546
1693546
07742655
17742655
013
113
0823075
1823075
07742655
17742655
0823075
1823075
07742655
17742655
013
113
0684524
1684524
06514428
16514428
0684524
1684524
06514428
16514428
013
113

simplify263.0ms

Counts
162 → 162
Iterations

Useful iterations: 0 (219.0ms)

IterNodesCost
049443277
149443277

prune140.0ms

Filtered
114 candidates to 162 candidates (-42.1%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New1557162
Fresh61016
Picked101
Done000
Total16217179

Merged error: 9.6b

Counts
179 → 17

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (/.f64 (*.f64 y z) t))
3.8b
(/.f64 (/.f64 y t) (/.f64 1 b))
4.2b
(/.f64 (*.f64 y z) t)
11.9b
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (/.f64 y t) (/.f64 1 b))))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
444×times-frac_binary64_12032
252×*-un-lft-identity_binary64_12037
213×add-cube-cbrt_binary64_12008 add-sqr-sqrt_binary64_12022
33×add-exp-log_binary64_12001
31×div-inv_binary64_12038
23×add-cbrt-cube_binary64_12009
22×distribute-lft-out_binary64_12081
21×associate-/r*_binary64_12100
19×div-exp_binary64_11986
18×associate-/l*_binary64_12101
11×cbrt-undiv_binary64_12007
6×add-log-exp_binary64_12002
5×associate-/r/_binary64_12102
4×pow1_binary64_11979 flip-+_binary64_12062 flip3-+_binary64_12035
3×clear-num_binary64_12040 associate-/l/_binary64_12103 frac-2neg_binary64_12030
2×frac-add_binary64_12027 rec-exp_binary64_11985 1-exp_binary64_11997
1×+-commutative_binary64_12104 prod-exp_binary64_11984 sum-log_binary64_11947 cbrt-unprod_binary64_12006
Counts
4 → 299
Calls
4 calls:
6.0ms
(+.f64 x (/.f64 (*.f64 y z) t))
18.0ms
(/.f64 (/.f64 y t) (/.f64 1 b))
5.0ms
(/.f64 (*.f64 y z) t)
61.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (/.f64 y t) (/.f64 1 b))))

series1.3s

Counts
4 → 12
Calls
4 calls:
229.0ms
(+.f64 x (/.f64 (*.f64 y z) t))
217.0ms
(/.f64 (/.f64 y t) (/.f64 1 b))
219.0ms
(/.f64 (*.f64 y z) t)
600.0ms
(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (/.f64 y t) (/.f64 1 b))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01086636
11086636
048946435
148946435
01086636
11086636
048946435
148946435
013
113
0693546
1693546
07742655
17742655
0693546
1693546
07742655
17742655
013
113
0883153
1883153
07762706
17762706
0883153
1883153
07762706
17762706
013
113
0684524
1684524
06514428
16514428
0684524
1684524
06514428
16514428
013
113

simplify176.0ms

Counts
311 → 311
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
049827134
149827134

prune238.0ms

Filtered
185 candidates to 311 candidates (-68.1%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New3092311
Fresh31316
Picked011
Done000
Total31216328

Merged error: 9.4b

Counts
328 → 16

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (*.f64 y (/.f64 z t)))
3.6b
(/.f64 y (/.f64 t b))
5.0b
(*.f64 y (/.f64 z t))
11.9b
(/.f64 (+.f64 x (*.f64 y (/.f64 z t))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
100×times-frac_binary64_12032
84×*-un-lft-identity_binary64_12037
69×add-sqr-sqrt_binary64_12022
64×add-cube-cbrt_binary64_12008
18×associate-/r*_binary64_12100
16×add-cbrt-cube_binary64_12009 add-exp-log_binary64_12001
13×associate-*r*_binary64_12096
12×distribute-lft-out_binary64_12081
7×div-inv_binary64_12038
6×associate-/l*_binary64_12101 pow1_binary64_11979 add-log-exp_binary64_12002
5×div-exp_binary64_11986 associate-/r/_binary64_12102 cbrt-undiv_binary64_12007
4×flip-+_binary64_12062 flip3-+_binary64_12035
3×associate-*l*_binary64_12097
2×unswap-sqr_binary64_12065 frac-add_binary64_12027 prod-exp_binary64_11984 clear-num_binary64_12040 associate-/l/_binary64_12103 cbrt-unprod_binary64_12006 frac-2neg_binary64_12030
1×pow-prod-down_binary64_11960 +-commutative_binary64_12104 *-commutative_binary64_12105 sum-log_binary64_11947 associate-*r/_binary64_12098
Counts
4 → 154
Calls
4 calls:
4.0ms
(+.f64 x (*.f64 y (/.f64 z t)))
7.0ms
(/.f64 y (/.f64 t b))
8.0ms
(*.f64 y (/.f64 z t))
26.0ms
(/.f64 (+.f64 x (*.f64 y (/.f64 z t))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

series1.3s

Counts
4 → 12
Calls
4 calls:
240.0ms
(+.f64 x (*.f64 y (/.f64 z t)))
206.0ms
(/.f64 y (/.f64 t b))
233.0ms
(*.f64 y (/.f64 z t))
608.0ms
(/.f64 (+.f64 x (*.f64 y (/.f64 z t))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01066609
11066609
047846435
147846435
01066609
11066609
047846435
147846435
013
113
0583546
1583546
07752655
17752655
0583546
1583546
07752655
17752655
013
113
0823075
1823075
07742655
17742655
0823075
1823075
07742655
17742655
013
113
0684524
1684524
06524428
16524428
0684524
1684524
06524428
16524428
013
113

simplify190.0ms

Counts
166 → 166
Iterations

Useful iterations: 0 (149.0ms)

IterNodesCost
049513186
149513186

prune123.0ms

Filtered
123 candidates to 166 candidates (-35.0%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New1624166
Fresh31114
Picked101
Done011
Total16616182

Merged error: 9.1b

Counts
182 → 16

regimes310.0ms

Accuracy

5.8% (5.8b remaining)

Error of 15.1b against oracle of 9.3b and baseline of 15.5b

bsearch50.0ms

Steps
ItersRangePoint
8
159.46903889758252
46357.49916446777
255.45322304609837
8
-2.0896444505759254e+57
-4.919347699827973e+52
-2.0427366300603076e+57

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
065108
165108

end0.0ms

sample750.0ms

Algorithm
intervals
Results
447.0ms8000×body80valid
14.0ms274×body80invalid

Profiling

Loading profile data...