Details

Time bar (total: 8.9s)

analyze34.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
62.4%37.5%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
93.7%6.2%0.1%9
93.7%6.2%0.1%10
96.8%3.1%0.1%11
96.8%3.1%0.1%12
98.3%1.6%0.1%13
98.3%1.6%0.1%14

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify214.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
075710
175710

prune6.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(/.f64 (+.f64 f n) (-.f64 n f))

rewrite218.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×associate-/r*_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64
4×associate-/l*_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 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 insert-posit16 flip--_binary64 flip-+_binary64
Counts
1 → 46
Calls
1 calls:
215.0ms
(/.f64 (+.f64 f n) (-.f64 n f))

series442.0ms

Counts
1 → 3
Calls
1 calls:
442.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
Iterations

Useful iterations: 0 (157.0ms)

IterNodesCost
05991254
15991254
0109830
1109830
05991254
15991254
0109830
1109830
049739
149739

simplify107.0ms

Counts
49 → 49
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
04996820
14996820

prune32.0ms

Filtered
33 candidates to 49 candidates (-48.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New46349
Fresh000
Picked101
Done000
Total47350

Merged error: 0.0b

Counts
50 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/.f64 1 (/.f64 (-.f64 n f) (+.f64 f n)))
0.0b
(/.f64 (-.f64 n f) (+.f64 f n))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
178×times-frac_binary64
174×*-un-lft-identity_binary64
122×add-sqr-sqrt_binary64
80×add-cube-cbrt_binary64
30×associate-/r*_binary64
26×distribute-lft-out_binary64
21×difference-of-squares_binary64 distribute-lft-out--_binary64
15×add-exp-log_binary64
11×associate-/r/_binary64
9×add-cbrt-cube_binary64
8×associate-/l*_binary64 div-exp_binary64
6×div-inv_binary64
5×flip3-+_binary64 flip-+_binary64
4×cbrt-undiv_binary64
3×pow1_binary64
2×associate-/l/_binary64 add-log-exp_binary64 1-exp_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64 insert-posit16
1×flip3--_binary64 div-sub_binary64 inv-pow_binary64 flip--_binary64 pow-flip_binary64
Counts
2 → 176
Calls
2 calls:
14.0ms
(/.f64 1 (/.f64 (-.f64 n f) (+.f64 f n)))
10.0ms
(/.f64 (-.f64 n f) (+.f64 f n))

series822.0ms

Counts
2 → 6
Calls
2 calls:
387.0ms
(/.f64 1 (/.f64 (-.f64 n f) (+.f64 f n)))
435.0ms
(/.f64 (-.f64 n f) (+.f64 f n))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06021254
16021254
0122830
1122830
06021254
16021254
0122830
1122830
049739
149739
09041865
19041865
01631484
11631484
09041865
19041865
01631484
11631484
013
113

simplify145.0ms

Counts
182 → 182
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
062743730

prune79.0ms

Filtered
100 candidates to 182 candidates (-82.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1820182
Fresh022
Picked011
Done000
Total1823185

Merged error: 0.0b

Counts
185 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 f n) (-.f64 n f))
0.0b
(/.f64 (+.f64 f n) (-.f64 n f))
0.0b
(/.f64 (+.f64 f n) (-.f64 n f))
0.0b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
132×*-un-lft-identity_binary64
90×add-sqr-sqrt_binary64
81×times-frac_binary64
48×add-cube-cbrt_binary64
29×associate-*r*_binary64
28×cbrt-prod_binary64
23×pow1_binary64 distribute-lft-out_binary64
19×difference-of-squares_binary64 distribute-lft-out--_binary64
15×associate-/r*_binary64 add-exp-log_binary64
12×cbrt-div_binary64 associate-/l*_binary64
11×add-cbrt-cube_binary64
9×pow-prod-up_binary64 pow1/3_binary64
8×associate-/r/_binary64
6×associate-/l/_binary64 pow-plus_binary64
5×pow-prod-down_binary64 frac-times_binary64 associate-*l/_binary64
4×add-log-exp_binary64 flip3--_binary64 div-inv_binary64 insert-posit16 flip--_binary64
3×flip3-+_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 associate-*r/_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-exp_binary64 pow-sqr_binary64 flip-+_binary64
2×pow2_binary64
1×associate-*l*_binary64 pow3_binary64 *-commutative_binary64
Counts
4 → 205
Calls
4 calls:
10.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
10.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
10.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
42.0ms
(*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))

series1.7s

Counts
4 → 12
Calls
4 calls:
435.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
438.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
437.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
398.0ms
(*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
02942717
12942717
049651626
149651626
02942717
12942717
049651626
149651626
013
113
05991254
15991254
0109830
1109830
05991254
15991254
0109830
1109830
049739
149739
05991254
15991254
0109830
1109830
05991254
15991254
0109830
1109830
049739
149739
05991254
15991254
0109830
1109830
05991254
15991254
0109830
1109830
049739
149739

simplify127.0ms

Counts
217 → 217
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
056173887

prune132.0ms

Filtered
138 candidates to 217 candidates (-57.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2161217
Fresh011
Picked011
Done011
Total2164220

Merged error: 0b

Counts
220 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
0.0b
(cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
0.0b
(cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
0.0b
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
513×cbrt-prod_binary64
313×*-un-lft-identity_binary64
197×add-sqr-sqrt_binary64
192×times-frac_binary64
93×add-cube-cbrt_binary64
54×swap-sqr_binary64
53×distribute-lft-out_binary64
44×distribute-lft-out--_binary64
32×associate-*r*_binary64 associate-*l*_binary64 difference-of-squares_binary64
16×unswap-sqr_binary64
14×cbrt-div_binary64 associate-/r/_binary64
11×pow1_binary64
9×pow1/3_binary64
7×flip3--_binary64 div-inv_binary64 flip--_binary64
6×add-exp-log_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 insert-posit16
2×pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
1×cbrt-unprod_binary64 associate-*r/_binary64 pow-plus_binary64 prod-exp_binary64 frac-times_binary64 pow2_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 273
Calls
4 calls:
10.0ms
(cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
10.0ms
(cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
10.0ms
(cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
46.0ms
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))

series3.8s

Counts
4 → 12
Calls
4 calls:
1.1s
(cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
1.1s
(cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
1.1s
(cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
426.0ms
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
02162399
12162399
02231812
12231812
02162399
12162399
02231812
12231812
013
113
01471969
11471969
024591863
124591863
01471969
11471969
024591863
124591863
013
113
01471969
11471969
024591863
124591863
01471969
11471969
024591863
124591863
013
113
01471969
11471969
024591863
124591863
01471969
11471969
024591863
124591863
013
113

simplify164.0ms

Counts
285 → 285
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
049619215
149619215

prune220.0ms

Filtered
167 candidates to 285 candidates (-70.7%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2850285
Fresh011
Picked011
Done022
Total2854289

Merged error: 0b

Counts
289 → 4

regimes28.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
02013
12013

end0.0ms

sample330.0ms

Algorithm
intervals
Results
197.0ms8000×body80valid

Profiling

Loading profile data...