Details

Time bar (total: 4.4s)

analyze45.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
25%74.9%0.1%4
37.5%62.4%0.1%5
59.3%40.6%0.1%6
76.5%23.4%0.1%7
82%18%0.1%8
87.8%12.1%0.1%9
90.7%9.2%0.1%10
93.8%6.1%0.1%11
95.3%4.6%0.1%12
96.8%3.1%0.1%13
97.6%2.3%0.1%14

sample11.0ms

Algorithm
intervals
Results
5.0ms256×body80valid

simplify39.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
021310
121310

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(/.f64 (-.f64 x y) (+.f64 x y))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity_binary64
22×add-sqr-sqrt_binary64
20×times-frac_binary64
12×add-cube-cbrt_binary64
6×distribute-lft-out_binary64
5×difference-of-squares_binary64 associate-/l*_binary64 distribute-lft-out--_binary64
4×associate-/r*_binary64
3×add-exp-log_binary64 add-cbrt-cube_binary64
2×associate-/l/_binary64 associate-/r/_binary64
1×flip3-+_binary64 add-log-exp_binary64 pow1_binary64 flip3--_binary64 cbrt-undiv_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 insert-posit16 flip--_binary64 flip-+_binary64
Counts
1 → 47
Calls
1 calls:
9.0ms
(/.f64 (-.f64 x y) (+.f64 x y))

series215.0ms

Counts
1 → 3
Calls
1 calls:
215.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0357354
1357354
04457
14457
0357354
1357354
04457
14457
08548
18548

simplify30.0ms

Counts
50 → 50
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0212893
1212893

prune33.0ms

Filtered
36 candidates to 50 candidates (-38.9%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New47350
Fresh000
Picked101
Done000
Total48351

Merged error: 0.0b

Counts
51 → 3

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 x (+.f64 x y))
0.0b
(/.f64 y (+.f64 x y))
0.0b
(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity_binary64
40×times-frac_binary64
35×add-sqr-sqrt_binary64
23×add-cube-cbrt_binary64
12×distribute-lft-out_binary64
8×associate-/r*_binary64 associate-/r/_binary64
7×add-exp-log_binary64 add-cbrt-cube_binary64 distribute-lft-out--_binary64
6×associate-/l*_binary64
5×add-log-exp_binary64
4×flip3-+_binary64 difference-of-squares_binary64 div-inv_binary64 flip-+_binary64
3×pow1_binary64 distribute-rgt-out--_binary64 insert-posit16
2×cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-exp_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 sub-div_binary64 flip--_binary64 frac-sub_binary64
Counts
3 → 96
Calls
3 calls:
7.0ms
(/.f64 x (+.f64 x y))
6.0ms
(/.f64 y (+.f64 x y))
28.0ms
(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))

series667.0ms

Counts
3 → 9
Calls
3 calls:
209.0ms
(/.f64 x (+.f64 x y))
208.0ms
(/.f64 y (+.f64 x y))
250.0ms
(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
0468588
1468588
02863
12863
0468588
1468588
02863
12863
0683
1683
0319294
1319294
03139
13139
0319294
1319294
03139
13139
07557
17557
0319294
1319294
03139
13139
0319294
1319294
03139
13139
07557
17557

simplify127.0ms

Counts
105 → 105
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
049301564
149301564

prune54.0ms

Filtered
76 candidates to 105 candidates (-38.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1050105
Fresh022
Picked011
Done000
Total1053108

Merged error: 0.0b

Counts
108 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (-.f64 x y) (+.f64 x y))
0.0b
(/.f64 (-.f64 x y) (+.f64 x y))
0.0b
(cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (/.f64 (-.f64 x y) (+.f64 x y)))))
0.0b
(*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (/.f64 (-.f64 x y) (+.f64 x y))))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity_binary64
67×add-sqr-sqrt_binary64
61×times-frac_binary64
49×add-exp-log_binary64 add-cbrt-cube_binary64
36×add-cube-cbrt_binary64
26×associate-*l*_binary64
18×pow1_binary64 cbrt-unprod_binary64 prod-exp_binary64
17×distribute-lft-out_binary64
15×cbrt-undiv_binary64 div-exp_binary64
14×difference-of-squares_binary64 distribute-lft-out--_binary64
10×associate-*r/_binary64 associate-/l*_binary64 frac-times_binary64
8×associate-/r*_binary64
7×cbrt-div_binary64
6×associate-/r/_binary64 associate-*l/_binary64
5×pow-prod-up_binary64
4×associate-/l/_binary64 add-log-exp_binary64 insert-posit16
3×pow-prod-down_binary64 flip3-+_binary64 div-inv_binary64 flip-+_binary64
2×flip3--_binary64 unswap-sqr_binary64 div-sub_binary64 clear-num_binary64 cube-unmult_binary64 frac-2neg_binary64 flip--_binary64
1×rem-cbrt-cube_binary64 associate-*r*_binary64 pow1/3_binary64 pow-plus_binary64 pow-sqr_binary64 cbrt-prod_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 184
Calls
4 calls:
10.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
12.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
28.0ms
(cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (/.f64 (-.f64 x y) (+.f64 x y)))))
35.0ms
(*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (/.f64 (-.f64 x y) (+.f64 x y))))

series990.0ms

Counts
4 → 12
Calls
4 calls:
213.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
215.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
279.0ms
(cbrt.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (/.f64 (-.f64 x y) (+.f64 x y)))))
283.0ms
(*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) (/.f64 (-.f64 x y) (+.f64 x y))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
05111496
15111496
0100486
1100486
05111496
15111496
0100486
1100486
0213
1213
01462115
11462115
01601682
11601682
01462115
11462115
01601682
11601682
0490740
1490740
0357354
1357354
04457
14457
0357354
1357354
04457
14457
08548
18548
0357354
1357354
04457
14457
0357354
1357354
04457
14457
08548
18548

simplify62.0ms

Counts
196 → 196
Iterations

Useful iterations: 0 (10.0ms)

IterNodesCost
04233890
14233890

prune122.0ms

Filtered
126 candidates to 196 candidates (-55.6%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1951196
Fresh011
Picked011
Done011
Total1954199

Merged error: 0b

Counts
199 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (-.f64 x y))
0.6b
(cbrt.f64 (+.f64 x y))
0.6b
(cbrt.f64 (+.f64 x y))
0.6b
(cbrt.f64 (+.f64 x y))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
17×cbrt-prod_binary64
16×*-un-lft-identity_binary64
10×add-sqr-sqrt_binary64
8×cbrt-div_binary64 add-cube-cbrt_binary64
4×add-log-exp_binary64 pow1_binary64 pow1/3_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
3×flip3-+_binary64 distribute-lft-out_binary64 flip-+_binary64
1×flip3--_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 flip--_binary64
Counts
4 → 61
Calls
4 calls:
4.0ms
(cbrt.f64 (-.f64 x y))
4.0ms
(cbrt.f64 (+.f64 x y))
4.0ms
(cbrt.f64 (+.f64 x y))
4.0ms
(cbrt.f64 (+.f64 x y))

series1.2s

Counts
4 → 12
Calls
4 calls:
293.0ms
(cbrt.f64 (-.f64 x y))
307.0ms
(cbrt.f64 (+.f64 x y))
302.0ms
(cbrt.f64 (+.f64 x y))
300.0ms
(cbrt.f64 (+.f64 x y))
Iterations

Useful iterations: 0 (122.0ms)

IterNodesCost
0841650
1841650
0791611
1791611
0841650
1841650
0791611
1791611
0491548
1491548
0841650
1841650
0791611
1791611
0841650
1841650
0791611
1791611
0491548
1491548
0841650
1841650
0791611
1791611
0841650
1841650
0791611
1791611
0491548
1491548
0841650
1841650
02441607
12441607
0841650
1841650
02441607
12441607
0490740
1490740

simplify135.0ms

Counts
73 → 73
Iterations

Useful iterations: 0 (110.0ms)

IterNodesCost
05144896

prune86.0ms

Filtered
61 candidates to 73 candidates (-19.7%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New73073
Fresh011
Picked011
Done022
Total73477

Merged error: 0b

Counts
77 → 4

regimes33.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02516
12516

end0.0ms

sample296.0ms

Algorithm
intervals
Results
173.0ms8000×body80valid

Profiling

Loading profile data...