Details

Time bar (total: 7.0s)

analyze55.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%12.5%87.5%0
0%12.5%87.5%1
0%12.5%87.5%2
3.1%9.3%87.5%3
3.1%6.2%90.7%4
4.7%4.7%90.7%5
4.7%3.5%91.8%6
5.6%2.5%91.8%7
5.9%1.8%92.3%8
6.4%1.3%92.3%9
6.6%0.9%92.5%10
6.8%0.6%92.5%11
6.9%0.5%92.6%12
7%0.3%92.6%13
7.1%0.2%92.7%14

sample22.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
5.0ms259×pre80true
0.0ms3×body80invalid

simplify320.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (160.0ms)

IterNodesCost
0477316
1477316

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.2b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(*.f64 m (-.f64 1 m))
0.0b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64
12×add-exp-log_binary64 add-cbrt-cube_binary64
10×associate-*l*_binary64
9×associate-*r*_binary64 add-cube-cbrt_binary64
7×pow1_binary64
4×associate-*r/_binary64 difference-of-squares_binary64
3×associate-/r*_binary64 add-log-exp_binary64 flip3--_binary64 cbrt-unprod_binary64 prod-exp_binary64 times-frac_binary64 insert-posit16 flip--_binary64
2×pow-prod-down_binary64 associate-/l/_binary64 sub-neg_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 distribute-lft-out--_binary64 div-exp_binary64 associate-*l/_binary64 *-commutative_binary64
1×difference-of-sqr-1_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64
Counts
3 → 75
Calls
3 calls:
9.0ms
(*.f64 m (-.f64 1 m))
9.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
216.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)

series851.0ms

Counts
3 → 9
Calls
3 calls:
222.0ms
(*.f64 m (-.f64 1 m))
305.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
324.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
Iterations

Useful iterations: 0 (115.0ms)

IterNodesCost
0447552
1447552
059
159
0447552
1447552
059
159
01121
11121
0313336
1313336
02426
12426
0313336
1313336
02426
12426
048963
148963
0227213
1227213
03054
13054
0227213
1227213
03054
13054
0471714
1471714

simplify121.0ms

Counts
84 → 84
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
049761038
149761038

prune87.0ms

Filtered
62 candidates to 84 candidates (-35.5%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New741084
Fresh000
Picked101
Done000
Total751085

Merged error: 0.0b

Counts
85 → 10

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 v (-.f64 1 m))
0.1b
(/.f64 m (/.f64 v (-.f64 1 m)))
0.1b
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) m)

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
171×times-frac_binary64
152×add-sqr-sqrt_binary64
134×*-un-lft-identity_binary64
81×add-cube-cbrt_binary64
38×difference-of-squares_binary64
30×associate-/r*_binary64
17×distribute-lft-out--_binary64
13×associate-*l*_binary64
12×add-exp-log_binary64 add-cbrt-cube_binary64
11×associate-/r/_binary64
6×flip3--_binary64 associate-/l*_binary64 div-inv_binary64 flip--_binary64
5×pow1_binary64
4×cbrt-undiv_binary64 div-exp_binary64
3×add-log-exp_binary64 associate-*r*_binary64 difference-of-sqr-1_binary64 insert-posit16
2×clear-num_binary64 frac-2neg_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
Counts
3 → 188
Calls
3 calls:
8.0ms
(/.f64 v (-.f64 1 m))
12.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
39.0ms
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) m)

series1.3s

Counts
3 → 9
Calls
3 calls:
400.0ms
(/.f64 v (-.f64 1 m))
425.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
437.0ms
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) m)
Iterations

Useful iterations: 0 (118.0ms)

IterNodesCost
0622696
1622696
059
159
0622696
1622696
059
159
01121
11121
0467480
1467480
02326
12326
0467480
1467480
02326
12326
049123
149123
0271225
1271225
01620
11620
0271225
1271225
01620
11620
047463
147463

simplify155.0ms

Counts
197 → 197
Iterations

Useful iterations: 0 (110.0ms)

IterNodesCost
050753702

prune156.0ms

Filtered
139 candidates to 197 candidates (-41.7%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1970197
Fresh099
Picked011
Done000
Total19710207

Merged error: 0.0b

Counts
207 → 10

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 (-.f64 1 m) v)
0.1b
(*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
0.3b
(*.f64 m (/.f64 (-.f64 1 m) v))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt_binary64
48×*-un-lft-identity_binary64
37×times-frac_binary64
27×add-cube-cbrt_binary64
25×associate-*r*_binary64
14×difference-of-squares_binary64
12×add-exp-log_binary64 add-cbrt-cube_binary64
7×pow1_binary64 distribute-lft-out--_binary64
6×associate-*l*_binary64 associate-/l*_binary64
3×associate-/r*_binary64 add-log-exp_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 insert-posit16
2×pow-prod-down_binary64 associate-/l/_binary64 flip3--_binary64 cbrt-undiv_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64 associate-*l/_binary64 *-commutative_binary64
1×associate-*r/_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64
Counts
3 → 106
Calls
3 calls:
8.0ms
(/.f64 (-.f64 1 m) v)
14.0ms
(*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
13.0ms
(*.f64 m (/.f64 (-.f64 1 m) v))

series996.0ms

Counts
3 → 9
Calls
3 calls:
330.0ms
(/.f64 (-.f64 1 m) v)
339.0ms
(*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
326.0ms
(*.f64 m (/.f64 (-.f64 1 m) v))
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
0361363
1361363
02126
12126
0361363
1361363
02126
12126
048963
148963
0493585
1493585
059
159
0493585
1493585
059
159
01121
11121
0267216
1267216
069
169
0267216
1267216
069
169
049739
149739

simplify117.0ms

Counts
115 → 115
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
050101576

prune89.0ms

Filtered
84 candidates to 115 candidates (-36.9%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1141115
Fresh178
Picked101
Done011
Total1169125

Merged error: 0.0b

Counts
125 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 m (-.f64 1 m))
0.0b
(/.f64 v (*.f64 m (-.f64 1 m)))
0.1b
(*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)
0.3b
(/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt_binary64
48×times-frac_binary64
40×*-un-lft-identity_binary64
34×add-exp-log_binary64
28×add-cube-cbrt_binary64
22×add-cbrt-cube_binary64
17×associate-*l*_binary64
14×div-exp_binary64
12×associate-*r/_binary64
11×associate-/r/_binary64
10×associate-/r*_binary64
9×pow1_binary64 associate-*r*_binary64
8×difference-of-squares_binary64
7×flip3--_binary64 cbrt-undiv_binary64 div-inv_binary64 flip--_binary64
6×prod-exp_binary64 associate-/l*_binary64
4×add-log-exp_binary64 cbrt-unprod_binary64 insert-posit16
3×1-exp_binary64 difference-of-sqr-1_binary64 rec-exp_binary64 distribute-lft-out--_binary64
2×pow-prod-down_binary64 sub-neg_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 associate-*l/_binary64 *-commutative_binary64
1×distribute-lft-in_binary64 distribute-rgt-in_binary64 inv-pow_binary64 pow-flip_binary64
Counts
4 → 147
Calls
4 calls:
8.0ms
(*.f64 m (-.f64 1 m))
9.0ms
(/.f64 v (*.f64 m (-.f64 1 m)))
26.0ms
(*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)
12.0ms
(/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))

series1.5s

Counts
4 → 12
Calls
4 calls:
219.0ms
(*.f64 m (-.f64 1 m))
466.0ms
(/.f64 v (*.f64 m (-.f64 1 m)))
455.0ms
(*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)
371.0ms
(/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))
Iterations

Useful iterations: 0 (226.0ms)

IterNodesCost
0538741
1538741
069
169
0538741
1538741
069
169
01121
11121
0664975
1664975
069
169
0664975
1664975
069
169
01121
11121
0406408
1406408
02526
12526
0406408
1406408
02526
12526
047463
147463
0227213
1227213
03054
13054
0227213
1227213
03054
13054
0471714
1471714

simplify142.0ms

Counts
159 → 159
Iterations

Useful iterations: 0 (106.0ms)

IterNodesCost
054632256

prune110.0ms

Filtered
105 candidates to 159 candidates (-51.4%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1572159
Fresh347
Picked011
Done011
Total1608168

Merged error: 0.0b

Counts
168 → 8

regimes42.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03116
13116

end0.0ms

sample534.0ms

Algorithm
intervals
Results
247.0ms8000×body80valid
143.0ms8062×pre80true
2.0ms62×body80invalid

Profiling

Loading profile data...