Details

Time bar (total: 5.0s)

analyze33.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

simplify212.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (61.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

localize7.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))

series215.0ms

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

Useful iterations: 0 (6.0ms)

IterNodesCost
0357354
1357354
04157
14157
0357354
1357354
04157
14157
08748
18748

simplify27.0ms

Counts
49 → 49
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0198885
1198885

prune30.0ms

Filtered
35 candidates to 49 candidates (-40.0%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New46349
Fresh000
Picked011
Done000
Total46450

Merged error: 0b

Counts
50 → 4

localize11.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 (+.f64 f n) (-.f64 n f)) (/.f64 (+.f64 f n) (-.f64 n f)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
317×*-un-lft-identity_binary64
188×times-frac_binary64
167×add-sqr-sqrt_binary64
85×add-cube-cbrt_binary64
56×distribute-lft-out_binary64
48×swap-sqr_binary64
47×distribute-lft-out--_binary64
35×difference-of-squares_binary64
26×associate-*r*_binary64 associate-*l*_binary64
22×add-exp-log_binary64 add-cbrt-cube_binary64
15×associate-/r*_binary64
14×associate-/r/_binary64
12×associate-/l*_binary64
11×pow1_binary64
7×flip3--_binary64 cbrt-undiv_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64
6×associate-/l/_binary64
4×add-log-exp_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 insert-posit16
3×flip3-+_binary64 clear-num_binary64 frac-2neg_binary64 flip-+_binary64
1×pow-prod-down_binary64 pow-prod-up_binary64 associate-*r/_binary64 pow-plus_binary64 pow-sqr_binary64 frac-times_binary64 pow2_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 267
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))
35.0ms
(*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) (/.f64 (+.f64 f n) (-.f64 n f)))

series858.0ms

Counts
4 → 12
Calls
4 calls:
204.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
204.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
204.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
246.0ms
(*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) (/.f64 (+.f64 f n) (-.f64 n f)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0422924
1422924
05963
15963
0422924
1422924
05963
15963
0323
1323
0357354
1357354
04157
14157
0357354
1357354
04157
14157
08748
18748
0357354
1357354
04157
14157
0357354
1357354
04157
14157
08748
18748
0357354
1357354
04157
14157
0357354
1357354
04157
14157
08748
18748

simplify77.0ms

Counts
279 → 279
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
05246828
15246828

prune166.0ms

Filtered
169 candidates to 279 candidates (-65.1%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2790279
Fresh022
Picked011
Done011
Total2794283

Merged error: 0b

Counts
283 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
306×*-un-lft-identity_binary64
238×cbrt-prod_binary64
190×times-frac_binary64
174×add-sqr-sqrt_binary64
86×add-cube-cbrt_binary64
53×distribute-lft-out_binary64
51×swap-sqr_binary64
44×distribute-lft-out--_binary64
32×difference-of-squares_binary64
29×associate-*r*_binary64 associate-*l*_binary64
14×associate-/r/_binary64
11×pow1_binary64
9×pow1/3_binary64 unswap-sqr_binary64
7×cbrt-div_binary64 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 → 248
Calls
4 calls:
39.0ms
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
9.0ms
(cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
9.0ms
(cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
9.0ms
(cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))

series1.0s

Counts
4 → 12
Calls
4 calls:
264.0ms
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
257.0ms
(cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
257.0ms
(cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
262.0ms
(cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
Iterations

Useful iterations: 0 (120.0ms)

IterNodesCost
01171743
11171743
0791662
1791662
01171743
11171743
0791662
1791662
0490740
1490740
01171743
11171743
0791662
1791662
01171743
11171743
0791662
1791662
0490740
1490740
01171743
11171743
0791662
1791662
01171743
11171743
0791662
1791662
0490740
1490740
01851947
11851947
01041803
11041803
01851947
11851947
01041803
11041803
0509455

simplify166.0ms

Counts
260 → 260
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
052907331

prune147.0ms

Filtered
155 candidates to 260 candidates (-67.7%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2600260
Fresh011
Picked011
Done022
Total2604264

Merged error: 0b

Counts
264 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
156×*-un-lft-identity_binary64
136×sqrt-prod_binary64
124×add-sqr-sqrt_binary64
98×times-frac_binary64
52×add-cube-cbrt_binary64
36×difference-of-squares_binary64
34×distribute-lft-out_binary64
18×distribute-lft-out--_binary64
14×associate-/r*_binary64 associate-/l*_binary64
8×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×flip3-+_binary64 associate-/l/_binary64 pow1_binary64 associate-/r/_binary64 insert-posit16 flip-+_binary64 sqrt-div_binary64
2×flip3--_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64
1×sub-neg_binary64 diff-log_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 192
Calls
4 calls:
15.0ms
(/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
7.0ms
(-.f64 (sqrt.f64 n) (sqrt.f64 f))
7.0ms
(+.f64 (sqrt.f64 n) (sqrt.f64 f))
14.0ms
(/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))

series1.0s

Counts
4 → 12
Calls
4 calls:
264.0ms
(/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
228.0ms
(-.f64 (sqrt.f64 n) (sqrt.f64 f))
263.0ms
(+.f64 (sqrt.f64 n) (sqrt.f64 f))
295.0ms
(/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
0512711
1512711
092297
192297
0512711
1512711
092297
192297
0921
1921
0278222
1278222
01952
11952
0278222
1278222
01952
11952
02245
12245
0278222
1278222
02637
12637
0278222
1278222
02637
12637
093
193
0512711
1512711
077162
177162
0512711
1512711
077162
177162
0171120
1171120

simplify65.0ms

Counts
204 → 204
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
03655123
13655123

prune95.0ms

Filtered
104 candidates to 204 candidates (-96.2%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New2040204
Fresh000
Picked011
Done033
Total2044208

Merged error: 0b

Counts
208 → 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 (1.0ms)

IterNodesCost
01710
11710

end0.0ms

sample323.0ms

Algorithm
intervals
Results
195.0ms8000×body80valid

Profiling

Loading profile data...