Details

Time bar (total: 20.7s)

analyze6.0ms

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

sample22.0ms

Algorithm
intervals
Results
7.0ms54×body640valid
5.0ms153×body80valid
2.0ms21×body320valid
2.0ms12×body1280valid
1.0ms16×body160valid

simplify31.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
019322
119322

prune2.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: 8.0b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity_binary64
58×add-sqr-sqrt_binary64
56×times-frac_binary64
25×add-cube-cbrt_binary64
18×distribute-lft-out--_binary64
17×distribute-lft-out_binary64
14×difference-of-squares_binary64
12×add-exp-log_binary64
11×associate-/r*_binary64 add-log-exp_binary64
8×add-cbrt-cube_binary64 div-inv_binary64
6×pow1_binary64 associate-/l*_binary64
4×difference-of-sqr-1_binary64 associate-/r/_binary64 div-exp_binary64 insert-posit16
3×flip3--_binary64 frac-add_binary64 flip--_binary64
2×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 1-exp_binary64 cbrt-undiv_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 rec-exp_binary64 pow-flip_binary64 flip-+_binary64 frac-sub_binary64 sum-log_binary64
1×associate-+l+_binary64 associate-+l-_binary64 +-commutative_binary64
Counts
4 → 139
Calls
4 calls:
7.0ms
(/.f64 1 (+.f64 x 1))
10.0ms
(/.f64 1 (-.f64 x 1))
21.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
43.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

series5.8s

Counts
4 → 12
Calls
4 calls:
1.1s
(/.f64 1 (+.f64 x 1))
1.0s
(/.f64 1 (-.f64 x 1))
1.6s
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
2.1s
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0245299
1245299
0245299
1245299
013
113
0248749
1248749
0248749
1248749
013
113
0254479
0254479
013
113
0191049
1191049
0191049
1191049
013
113

simplify130.0ms

Counts
151 → 151
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
050202419

prune135.0ms

Filtered
88 candidates to 151 candidates (-71.6%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1429151
Fresh000
Picked101
Done000
Total1439152

Merged error: 7.5b

Counts
152 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 x (+.f64 1 x))
0.2b
(-.f64 x (*.f64 (+.f64 1 x) 2))
1.3b
(+.f64 (/.f64 (-.f64 x (*.f64 (+.f64 1 x) 2)) (*.f64 x (+.f64 1 x))) (/.f64 1 (-.f64 x 1)))
12.6b
(/.f64 (-.f64 x (*.f64 (+.f64 1 x) 2)) (*.f64 x (+.f64 1 x)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity_binary64
11×add-exp-log_binary64 add-cbrt-cube_binary64
10×add-sqr-sqrt_binary64
8×add-log-exp_binary64 add-cube-cbrt_binary64
6×pow1_binary64
4×associate-*r*_binary64 associate-*r/_binary64 insert-posit16
3×flip3-+_binary64 distribute-lft-out_binary64 associate-*l*_binary64 associate-/l*_binary64 times-frac_binary64 flip-+_binary64
2×associate-/l/_binary64 flip3--_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 associate-/r/_binary64 div-sub_binary64 prod-exp_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64
1×pow-prod-down_binary64 associate-/r*_binary64 sub-neg_binary64 diff-log_binary64 frac-add_binary64 distribute-lft-in_binary64 associate-+l-_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 +-commutative_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 79
Calls
4 calls:
7.0ms
(*.f64 x (+.f64 1 x))
4.0ms
(-.f64 x (*.f64 (+.f64 1 x) 2))
29.0ms
(+.f64 (/.f64 (-.f64 x (*.f64 (+.f64 1 x) 2)) (*.f64 x (+.f64 1 x))) (/.f64 1 (-.f64 x 1)))
10.0ms
(/.f64 (-.f64 x (*.f64 (+.f64 1 x) 2)) (*.f64 x (+.f64 1 x)))

series4.0s

Counts
4 → 12
Calls
4 calls:
50.0ms
(*.f64 x (+.f64 1 x))
591.0ms
(-.f64 x (*.f64 (+.f64 1 x) 2))
2.7s
(+.f64 (/.f64 (-.f64 x (*.f64 (+.f64 1 x) 2)) (*.f64 x (+.f64 1 x))) (/.f64 1 (-.f64 x 1)))
698.0ms
(/.f64 (-.f64 x (*.f64 (+.f64 1 x) 2)) (*.f64 x (+.f64 1 x)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
082799
182799
082799
182799
013
113
0249369
1249369
0249369
1249369
013
113
075499
175499
075499
175499
013
113
0949
1949
0949
1949
013
113

simplify134.0ms

Counts
91 → 91
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
049851642
149851642

prune112.0ms

Filtered
70 candidates to 91 candidates (-30.0%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New87491
Fresh268
Picked101
Done000
Total9010100

Merged error: 7.5b

Counts
100 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 x (+.f64 1 x))) (+.f64 (pow.f64 x 3) (neg.f64 x)))
0.0b
(*.f64 x (+.f64 1 x))
0.2b
(-.f64 x (*.f64 (+.f64 1 x) 2))
14.3b
(+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 x (+.f64 1 x)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
42×associate-*r/_binary64
40×*-un-lft-identity_binary64
32×frac-add_binary64
25×flip3--_binary64 flip--_binary64
21×times-frac_binary64
20×flip3-+_binary64 add-sqr-sqrt_binary64 flip-+_binary64
18×associate-/l/_binary64 add-cube-cbrt_binary64
16×frac-times_binary64
9×distribute-lft-out_binary64
8×add-log-exp_binary64 distribute-rgt-out_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 unpow3_binary64 associate-*l/_binary64
7×associate-/r*_binary64
6×pow1_binary64
4×associate-*r*_binary64 neg-mul-1_binary64 distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64 insert-posit16
3×sub-neg_binary64 distribute-lft-in_binary64 associate-*l*_binary64 distribute-rgt-in_binary64 associate-/l*_binary64
2×associate-+l+_binary64 associate-/r/_binary64 associate-+r+_binary64
1×pow-prod-down_binary64 diff-log_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 +-commutative_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 132
Calls
4 calls:
27.0ms
(/.f64 (+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 x (+.f64 1 x))) (+.f64 (pow.f64 x 3) (neg.f64 x)))
8.0ms
(*.f64 x (+.f64 1 x))
4.0ms
(-.f64 x (*.f64 (+.f64 1 x) 2))
15.0ms
(+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 x (+.f64 1 x)))

series2.5s

Counts
4 → 12
Calls
4 calls:
1.1s
(/.f64 (+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 x (+.f64 1 x))) (+.f64 (pow.f64 x 3) (neg.f64 x)))
49.0ms
(*.f64 x (+.f64 1 x))
599.0ms
(-.f64 x (*.f64 (+.f64 1 x) 2))
752.0ms
(+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 x (+.f64 1 x)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
076819
176819
076819
176819
013
113
075499
175499
075499
175499
013
113
0949
1949
0949
1949
013
113
0138219
1138219
0138219
1138219
013
113

simplify122.0ms

Counts
144 → 144
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
061355439

prune291.0ms

Filtered
114 candidates to 144 candidates (-26.3%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1377144
Fresh369
Picked011
Done000
Total14014154

Merged error: 7.5b

Counts
154 → 14

localize21.0ms

Local error

Found 4 expressions with local error:

13.4b
(cbrt.f64 (*.f64 x (+.f64 x 1)))
13.4b
(cbrt.f64 (*.f64 x (+.f64 x 1)))
13.4b
(/.f64 (+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 x 1))) (cbrt.f64 (*.f64 x (+.f64 x 1)))) (cbrt.f64 (*.f64 x (+.f64 x 1))))) (+.f64 (pow.f64 x 3) (neg.f64 x)))
22.1b
(+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 x 1))) (cbrt.f64 (*.f64 x (+.f64 x 1)))) (cbrt.f64 (*.f64 x (+.f64 x 1)))))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
1100×associate-*r/_binary64
868×cbrt-div_binary64
656×frac-times_binary64
437×flip3-+_binary64 flip-+_binary64
416×frac-add_binary64
328×associate-*l/_binary64
312×flip3--_binary64 flip--_binary64
210×associate-/l/_binary64
36×*-un-lft-identity_binary64
21×times-frac_binary64
16×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
8×distribute-lft-out_binary64 distribute-rgt-out_binary64 unpow3_binary64
7×associate-/r*_binary64
6×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×pow1_binary64 neg-mul-1_binary64 distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64 insert-posit16
3×associate-/l*_binary64
2×sub-neg_binary64 pow1/3_binary64 associate-+l+_binary64 associate-/r/_binary64 cbrt-prod_binary64
1×cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 502
Calls
4 calls:
6.0ms
(cbrt.f64 (*.f64 x (+.f64 x 1)))
6.0ms
(cbrt.f64 (*.f64 x (+.f64 x 1)))
52.0ms
(/.f64 (+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 x 1))) (cbrt.f64 (*.f64 x (+.f64 x 1)))) (cbrt.f64 (*.f64 x (+.f64 x 1))))) (+.f64 (pow.f64 x 3) (neg.f64 x)))
24.0ms
(+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 x 1))) (cbrt.f64 (*.f64 x (+.f64 x 1)))) (cbrt.f64 (*.f64 x (+.f64 x 1)))))

series2.2s

Counts
4 → 12
Calls
4 calls:
47.0ms
(cbrt.f64 (*.f64 x (+.f64 x 1)))
49.0ms
(cbrt.f64 (*.f64 x (+.f64 x 1)))
1.2s
(/.f64 (+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 x 1))) (cbrt.f64 (*.f64 x (+.f64 x 1)))) (cbrt.f64 (*.f64 x (+.f64 x 1))))) (+.f64 (pow.f64 x 3) (neg.f64 x)))
897.0ms
(+.f64 (*.f64 (-.f64 x 1) (-.f64 x (*.f64 (+.f64 1 x) 2))) (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 x 1))) (cbrt.f64 (*.f64 x (+.f64 x 1)))) (cbrt.f64 (*.f64 x (+.f64 x 1)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
084959
184959
084959
184959
013
113
0139769
1139769
0139769
1139769
013
113
0329
1329
0329
1329
013
113
0329
1329
0329
1329
013
113

simplify480.0ms

Counts
514 → 514
Iterations

Useful iterations: 0 (140.0ms)

IterNodesCost
0570242486

prune3.2s

Filtered
352 candidates to 514 candidates (-46.0%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New5077514
Fresh6612
Picked101
Done011
Total51414528

Merged error: 7.5b

Counts
528 → 14

regimes111.0ms

Accuracy

95.9% (0.7b remaining)

Error of 9.6b against oracle of 8.9b and baseline of 24.8b

bsearch88.0ms

Steps
ItersRangePoint
9
1.5935777633117884e+117
5.0512974690147854e+126
1.865958468837717e+117
10
-4.554364237205532e+159
-9.527620901365261e+145
-1.356774142317772e+154

simplify9.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
0137115
1137115

end0.0ms

sample719.0ms

Algorithm
intervals
Results
244.0ms1809×body640valid
150.0ms4229×body80valid
99.0ms903×body320valid
96.0ms568×body1280valid
35.0ms491×body160valid
0.0ms1×body80invalid

Profiling

Loading profile data...