Details

Time bar (total: 9.1s)

analyze735.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
9.4%90.4%0.2%8
9.4%90.4%0.2%9
10.9%88.9%0.2%10
25.9%73.9%0.2%11
47.1%52.7%0.2%12
55.3%44.5%0.2%13
59.2%40.6%0.2%14

sample20.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify144.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (128.0ms)

IterNodesCost
0479319
1479319

prune4.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: 2.2b

Counts
2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 x (/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z)))
4.3b
(/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z))
6.5b
(/.f64 (*.f64 y t) (*.f64 2 z))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity_binary64
21×add-sqr-sqrt_binary64
17×add-exp-log_binary64 add-cbrt-cube_binary64
16×times-frac_binary64
13×add-cube-cbrt_binary64
6×associate-/r*_binary64
5×add-log-exp_binary64 cbrt-undiv_binary64 div-exp_binary64
4×cbrt-unprod_binary64 prod-exp_binary64 difference-of-squares_binary64 associate-/l*_binary64 distribute-lft-out--_binary64
3×pow1_binary64 insert-posit16
2×associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64
1×flip3-+_binary64 flip3--_binary64 distribute-lft-out_binary64 +-commutative_binary64 flip--_binary64 flip-+_binary64 sum-log_binary64
Counts
3 → 73
Calls
3 calls:
17.0ms
(+.f64 x (/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z)))
12.0ms
(/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z))
11.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

series1.5s

Counts
3 → 9
Calls
3 calls:
677.0ms
(+.f64 x (/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z)))
600.0ms
(/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z))
264.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
0435384
1435384
02924
12924
0435384
1435384
02924
12924
04923
14923
0626882
1626882
089
189
0626882
1626882
089
189
0557239
0728927
1728927
089
189
0728927
1728927
089
189
0557239

simplify39.0ms

Counts
82 → 82
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
03741830
13741830

prune77.0ms

Filtered
69 candidates to 82 candidates (-18.8%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New78482
Fresh011
Picked101
Done000
Total79584

Merged error: 0.3b

Counts
84 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (/.f64 y (-.f64 (/.f64 y (/.f64 2 (/.f64 t z))) z)))
0.6b
(/.f64 2 (/.f64 t z))
4.1b
(/.f64 y (/.f64 2 (/.f64 t z)))
4.3b
(/.f64 y (-.f64 (/.f64 y (/.f64 2 (/.f64 t z))) z))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
519×times-frac_binary64
300×add-sqr-sqrt_binary64
254×*-un-lft-identity_binary64
244×add-cube-cbrt_binary64
65×associate-/r*_binary64
23×div-inv_binary64
20×add-exp-log_binary64 add-cbrt-cube_binary64
16×difference-of-squares_binary64
10×cbrt-undiv_binary64 div-exp_binary64
9×associate-/l*_binary64
8×associate-/r/_binary64
6×add-log-exp_binary64
4×pow1_binary64 distribute-lft-out--_binary64 insert-posit16
3×clear-num_binary64 frac-2neg_binary64
1×flip3-+_binary64 flip3--_binary64 distribute-lft-out_binary64 +-commutative_binary64 flip--_binary64 flip-+_binary64 sum-log_binary64
Counts
4 → 331
Calls
4 calls:
60.0ms
(+.f64 x (/.f64 y (-.f64 (/.f64 y (/.f64 2 (/.f64 t z))) z)))
7.0ms
(/.f64 2 (/.f64 t z))
15.0ms
(/.f64 y (/.f64 2 (/.f64 t z)))
52.0ms
(/.f64 y (-.f64 (/.f64 y (/.f64 2 (/.f64 t z))) z))

series1.5s

Counts
4 → 12
Calls
4 calls:
460.0ms
(+.f64 x (/.f64 y (-.f64 (/.f64 y (/.f64 2 (/.f64 t z))) z)))
296.0ms
(/.f64 2 (/.f64 t z))
319.0ms
(/.f64 y (/.f64 2 (/.f64 t z)))
401.0ms
(/.f64 y (-.f64 (/.f64 y (/.f64 2 (/.f64 t z))) z))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07461254
17461254
069
169
07461254
17461254
069
169
01121
11121
0554720
1554720
099
199
0554720
1554720
099
199
013
113
0378411
1378411
01118
11118
0378411
1378411
01118
11118
02312
12312
08541299
18541299
069
169
08541299
18541299
069
169
01121
11121

simplify220.0ms

Counts
343 → 343
Iterations

Useful iterations: 0 (131.0ms)

IterNodesCost
049688077
149688077

prune342.0ms

Filtered
288 candidates to 343 candidates (-19.1%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New3412343
Fresh134
Picked101
Done000
Total3435348

Merged error: 0.2b

Counts
348 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (/.f64 y (-.f64 (/.f64 y (*.f64 2 (/.f64 z t))) z)))
0.0b
(*.f64 2 (/.f64 z t))
4.1b
(/.f64 y (*.f64 2 (/.f64 z t)))
4.3b
(/.f64 y (-.f64 (/.f64 y (*.f64 2 (/.f64 z t))) z))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt_binary64
34×*-un-lft-identity_binary64
28×times-frac_binary64
24×add-cube-cbrt_binary64
20×add-exp-log_binary64 add-cbrt-cube_binary64
13×associate-*r*_binary64
6×associate-/r*_binary64 add-log-exp_binary64 pow1_binary64 cbrt-undiv_binary64 associate-/l*_binary64 div-exp_binary64
4×cbrt-unprod_binary64 prod-exp_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 insert-posit16
3×associate-/r/_binary64 associate-*l*_binary64 div-inv_binary64
2×associate-*r/_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 flip3-+_binary64 flip3--_binary64 distribute-lft-out_binary64 +-commutative_binary64 flip--_binary64 flip-+_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 109
Calls
4 calls:
18.0ms
(+.f64 x (/.f64 y (-.f64 (/.f64 y (*.f64 2 (/.f64 z t))) z)))
9.0ms
(*.f64 2 (/.f64 z t))
7.0ms
(/.f64 y (*.f64 2 (/.f64 z t)))
15.0ms
(/.f64 y (-.f64 (/.f64 y (*.f64 2 (/.f64 z t))) z))

series1.6s

Counts
4 → 12
Calls
4 calls:
569.0ms
(+.f64 x (/.f64 y (-.f64 (/.f64 y (*.f64 2 (/.f64 z t))) z)))
213.0ms
(*.f64 2 (/.f64 z t))
296.0ms
(/.f64 y (*.f64 2 (/.f64 z t)))
490.0ms
(/.f64 y (-.f64 (/.f64 y (*.f64 2 (/.f64 z t))) z))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06961134
16961134
079
179
06961134
16961134
079
179
01121
11121
0498600
1498600
0109
1109
0498600
1498600
0109
1109
013
113
0325291
1325291
099
199
0325291
1325291
099
199
013
113
08011179
18011179
079
179
08011179
18011179
079
179
01121
11121

simplify130.0ms

Counts
121 → 121
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
051062015

prune92.0ms

Filtered
88 candidates to 121 candidates (-37.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1192121
Fresh314
Picked011
Done000
Total1224126

Merged error: 0b

Counts
126 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 x (/.f64 1 (-.f64 (/.f64 1/2 (/.f64 z t)) (/.f64 z y))))
0.6b
(/.f64 1/2 (/.f64 z t))
1.1b
(/.f64 1 (-.f64 (/.f64 1/2 (/.f64 z t)) (/.f64 z y)))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
152×times-frac_binary64
145×add-sqr-sqrt_binary64
88×*-un-lft-identity_binary64
61×add-cube-cbrt_binary64
24×associate-/r*_binary64 difference-of-squares_binary64
12×add-exp-log_binary64
10×add-cbrt-cube_binary64
8×distribute-lft-out--_binary64
7×div-inv_binary64
6×associate-/l*_binary64
5×add-log-exp_binary64 div-exp_binary64
4×pow1_binary64 cbrt-undiv_binary64 associate-/r/_binary64
3×insert-posit16
2×distribute-lft-out_binary64 clear-num_binary64 frac-2neg_binary64
1×flip3-+_binary64 flip3--_binary64 1-exp_binary64 inv-pow_binary64 rec-exp_binary64 +-commutative_binary64 flip--_binary64 pow-flip_binary64 flip-+_binary64 frac-sub_binary64 sum-log_binary64
Counts
3 → 152
Calls
3 calls:
49.0ms
(+.f64 x (/.f64 1 (-.f64 (/.f64 1/2 (/.f64 z t)) (/.f64 z y))))
7.0ms
(/.f64 1/2 (/.f64 z t))
37.0ms
(/.f64 1 (-.f64 (/.f64 1/2 (/.f64 z t)) (/.f64 z y)))

series1.4s

Counts
3 → 9
Calls
3 calls:
507.0ms
(+.f64 x (/.f64 1 (-.f64 (/.f64 1/2 (/.f64 z t)) (/.f64 z y))))
287.0ms
(/.f64 1/2 (/.f64 z t))
584.0ms
(/.f64 1 (-.f64 (/.f64 1/2 (/.f64 z t)) (/.f64 z y)))
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
06121056
16121056
0159
1159
06121056
16121056
0159
1159
0557239
0379411
1379411
01118
11118
0379411
1379411
01118
11118
02421
12421
07171101
17171101
022144
122144
07171101
17171101
022144
122144
052483

simplify139.0ms

Counts
161 → 161
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
050323543

prune132.0ms

Filtered
117 candidates to 161 candidates (-37.6%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1610161
Fresh022
Picked011
Done011
Total1614165

Merged error: 0b

Counts
165 → 4

regimes79.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03219
13219

end0.0ms

sample591.0ms

Algorithm
intervals
Results
382.0ms8000×body80valid

Profiling

Loading profile data...