Details

Time bar (total: 2.2s)

analyze4.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14

sample13.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify20.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01516
11516

prune6.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.0b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
67×*-un-lft-identity_binary64
41×times-frac_binary64
40×add-sqr-sqrt_binary64
24×add-cube-cbrt_binary64
12×distribute-lft-out_binary64
11×associate-/r*_binary64
9×add-exp-log_binary64
8×difference-of-squares_binary64
7×add-cbrt-cube_binary64
6×associate-/l*_binary64 distribute-lft-out--_binary64
5×add-log-exp_binary64
4×pow1_binary64 difference-of-sqr-1_binary64 associate-/r/_binary64
3×div-inv_binary64 div-exp_binary64 insert-posit16
2×flip3-+_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 flip-+_binary64
1×flip3--_binary64 1-exp_binary64 frac-add_binary64 inv-pow_binary64 rec-exp_binary64 +-commutative_binary64 flip--_binary64 pow-flip_binary64 sum-log_binary64
Counts
3 → 103
Calls
3 calls:
6.0ms
(/.f64 x (+.f64 x 1))
34.0ms
(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))
8.0ms
(/.f64 1 (-.f64 x 1))

series979.0ms

Counts
3 → 9
Calls
3 calls:
192.0ms
(/.f64 x (+.f64 x 1))
413.0ms
(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))
374.0ms
(/.f64 1 (-.f64 x 1))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0299435
1299435
079
179
0299435
1299435
079
179
0506342
0504899
1504899
020575
120575
0504899
1504899
020575
120575
0518742
0304489
1304489
03339
13339
0304489
1304489
03339
13339
011157
111157

simplify38.0ms

Counts
112 → 112
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
03541663
13541663

prune76.0ms

Filtered
79 candidates to 112 candidates (-41.8%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1111112
Fresh000
Picked011
Done000
Total1112113

Merged error: 0b

Counts
113 → 2

localize7.0ms

Local error

Found 1 expressions with local error:

18.0b
(/.f64 0 (pow.f64 x 3))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac_binary64
26×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
12×associate-/r*_binary64 unpow-prod-down_binary64 cube-prod_binary64
6×add-exp-log_binary64
4×sqr-pow_binary64 unpow3_binary64 cube-mult_binary64
3×add-cbrt-cube_binary64 associate-/l*_binary64 div-exp_binary64
1×pow-to-exp_binary64 add-log-exp_binary64 pow1_binary64 cbrt-undiv_binary64 div0_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 insert-posit16 pow-exp_binary64
Counts
1 → 67
Calls
1 calls:
7.0ms
(/.f64 0 (pow.f64 x 3))

series399.0ms

Counts
1 → 3
Calls
1 calls:
399.0ms
(/.f64 0 (pow.f64 x 3))
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
0532982
1532982
044226
144226
0532982
1532982
044226
144226
0496939
1496939

simplify151.0ms

Counts
70 → 70
Iterations

Useful iterations: 0 (128.0ms)

IterNodesCost
04869657
14869657

prune38.0ms

Filtered
42 candidates to 70 candidates (-66.7%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New70070
Fresh000
Picked011
Done011
Total70272

Merged error: 0b

Counts
72 → 2

regimes16.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02116
12116

end0.0ms

sample358.0ms

Algorithm
intervals
Results
259.0ms8000×body80valid

Profiling

Loading profile data...