Details

Time bar (total: 12.0s)

analyze274.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14

sample54.0ms

Algorithm
intervals
Results
20.0ms123×body320valid
9.0ms90×body160valid
8.0ms292×pre80true
3.0ms16×body640valid
2.0ms36×body80nan
1.0ms27×body80valid

simplify110.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
092824
192824

prune4.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: 53.6b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.1b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
0.1b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
27.6b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
13×*-un-lft-identity_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64
7×add-cube-cbrt_binary64
6×difference-of-squares_binary64 associate-/l*_binary64 times-frac_binary64 sqrt-prod_binary64
5×pow1_binary64
4×flip3--_binary64 insert-posit16 flip--_binary64
3×distribute-lft-out--_binary64
2×associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 div-exp_binary64 sqrt-div_binary64
1×associate-/r*_binary64 pow1/2_binary64 cbrt-unprod_binary64 sqrt-pow1_binary64 div-sub_binary64 rem-sqrt-square_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64
Counts
4 → 74
Calls
4 calls:
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
15.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
12.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

series1.5s

Counts
4 → 12
Calls
4 calls:
474.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
343.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
236.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
441.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0457510
1457510
04338
14338
0457510
1457510
04338
14338
0513933
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273
0638885
1638885
07478
17478
0638885
1638885
07478
17478
018298
118298
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115

simplify43.0ms

Counts
86 → 86
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
08432254
18432254

prune130.0ms

Filtered
67 candidates to 86 candidates (-28.4%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New652186
Fresh000
Picked101
Done000
Total662187

Merged error: 50.4b

Counts
87 → 21

localize24.0ms

Local error

Found 4 expressions with local error:

0.4b
(/.f64 (-.f64 (pow.f64 (*.f64 b b) 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.7b
(pow.f64 (*.f64 b b) 3)
0.7b
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
33.4b
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (*.f64 b b) 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) b)

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt_binary64
40×times-frac_binary64
35×difference-of-squares_binary64
34×*-un-lft-identity_binary64
26×sqr-pow_binary64
24×add-cube-cbrt_binary64
18×pow1_binary64
15×add-exp-log_binary64 add-cbrt-cube_binary64
13×associate-/l*_binary64
10×unpow-prod-down_binary64 cube-prod_binary64
9×pow-pow_binary64
6×pow-unpow_binary64 add-log-exp_binary64
5×rem-cube-cbrt_binary64 distribute-lft-out--_binary64 pow-exp_binary64
4×pow-prod-down_binary64 difference-cubes_binary64 cbrt-unprod_binary64 prod-exp_binary64 insert-posit16
3×associate-/r*_binary64
2×pow-to-exp_binary64 associate-/l/_binary64 flip3--_binary64 associate-/r/_binary64 flip--_binary64 sqrt-prod_binary64 unpow3_binary64 cube-mult_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 pow-prod-up_binary64 cbrt-undiv_binary64 pow-plus_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 pow-sqr_binary64 flip-+_binary64 pow2_binary64
Counts
4 → 142
Calls
4 calls:
22.0ms
(/.f64 (-.f64 (pow.f64 (*.f64 b b) 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
5.0ms
(pow.f64 (*.f64 b b) 3)
8.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
34.0ms
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (*.f64 b b) 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) b)

series1.9s

Counts
4 → 12
Calls
4 calls:
557.0ms
(/.f64 (-.f64 (pow.f64 (*.f64 b b) 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
332.0ms
(pow.f64 (*.f64 b b) 3)
333.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
645.0ms
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (*.f64 b b) 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) b)
Iterations

Useful iterations: 0 (120.0ms)

IterNodesCost
011501683
111501683
02031233
12031233
011501683
111501683
02031233
12031233
014627
114627
0377459
1377459
04633
14633
0377459
1377459
04633
14633
049063
149063
0414886
1414886
056232
156232
0414886
1414886
056232
156232
0496939
1496939
010521602
110521602
01871197
11871197
010521602
110521602
01871197
11871197
013
113

simplify156.0ms

Counts
154 → 154
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
051617172

prune413.0ms

Filtered
111 candidates to 154 candidates (-38.7%)
Pruning

30 alts after pruning (30 fresh and 0 done)

PrunedKeptTotal
New13915154
Fresh51520
Picked101
Done000
Total14530175

Merged error: 50.3b

Counts
175 → 30

localize38.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
3.3b
(pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
5.9b
(pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
53.6b
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) b)

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1_binary64
17×add-exp-log_binary64
15×add-sqr-sqrt_binary64
11×pow-exp_binary64
10×*-un-lft-identity_binary64 pow-unpow_binary64 pow-pow_binary64 add-cbrt-cube_binary64
8×add-cube-cbrt_binary64 unpow-prod-down_binary64
6×add-log-exp_binary64
5×prod-exp_binary64
4×pow-to-exp_binary64 pow-prod-down_binary64 sqr-pow_binary64 insert-posit16
3×cbrt-unprod_binary64 rem-cube-cbrt_binary64 difference-of-squares_binary64 cbrt-prod_binary64
2×sqrt-prod_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 pow-prod-up_binary64 pow-plus_binary64 cube-prod_binary64 distribute-lft-out--_binary64 times-frac_binary64 pow-sqr_binary64 flip--_binary64 pow2_binary64 unpow3_binary64 cube-mult_binary64
Counts
4 → 88
Calls
4 calls:
7.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
5.0ms
(pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
6.0ms
(pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
36.0ms
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) b)

series2.0s

Counts
4 → 12
Calls
4 calls:
328.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
483.0ms
(pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
577.0ms
(pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
648.0ms
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) b)
Iterations

Useful iterations: 0 (115.0ms)

IterNodesCost
011832355
111832355
02601917
12601917
011832355
111832355
02601917
12601917
0595289
06711766
16711766
049211725
149211725
06711766
16711766
049211725
149211725
0510089
04411721
14411721
052301680
04411721
14411721
052301680
0493774
1493774
0377459
1377459
04633
14633
0377459
1377459
04633
14633
049063
149063

simplify125.0ms

Counts
100 → 100
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
049072870
149072870

prune271.0ms

Filtered
71 candidates to 100 candidates (-40.8%)
Pruning

27 alts after pruning (27 fresh and 0 done)

PrunedKeptTotal
New973100
Fresh52429
Picked101
Done000
Total10327130

Merged error: 50.3b

Counts
130 → 27

localize45.0ms

Local error

Found 4 expressions with local error:

3.3b
(pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
3.5b
(pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))))
4.0b
(pow.f64 (pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (cbrt.f64 (cbrt.f64 3)))
53.6b
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (cbrt.f64 (cbrt.f64 3))) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) b)

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
22×unpow-prod-down_binary64
20×pow-exp_binary64
18×add-sqr-sqrt_binary64
16×add-exp-log_binary64
14×pow-unpow_binary64
13×*-un-lft-identity_binary64
12×pow1_binary64
11×add-cube-cbrt_binary64
10×cbrt-prod_binary64
8×pow-pow_binary64
6×pow-to-exp_binary64 add-log-exp_binary64 sqr-pow_binary64
4×add-cbrt-cube_binary64 insert-posit16
3×prod-exp_binary64 difference-of-squares_binary64
2×sqrt-prod_binary64
1×pow-prod-down_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 pow-prod-up_binary64 pow-plus_binary64 distribute-lft-out--_binary64 times-frac_binary64 pow-sqr_binary64 flip--_binary64 pow2_binary64
Counts
4 → 95
Calls
4 calls:
5.0ms
(pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
5.0ms
(pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))))
8.0ms
(pow.f64 (pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (cbrt.f64 (cbrt.f64 3)))
48.0ms
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (cbrt.f64 (cbrt.f64 3))) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) b)

series2.3s

Counts
4 → 12
Calls
4 calls:
486.0ms
(pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
574.0ms
(pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))))
625.0ms
(pow.f64 (pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (cbrt.f64 (cbrt.f64 3)))
662.0ms
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 b b) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))) (cbrt.f64 (cbrt.f64 3))) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (*.f64 b (pow.f64 b 3)) (*.f64 (*.f64 (*.f64 4 a) c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) b)
Iterations

Useful iterations: 0 (139.0ms)

IterNodesCost
012972481
112972481
02662043
12662043
012972481
112972481
02662043
12662043
05940131
09361892
19361892
048861851
148861851
09361892
19361892
048861851
148861851
04998131
14998131
06771829
16771829
049451788
149451788
06771829
16771829
049451788
149451788
05108110
04411721
14411721
052301680
04411721
14411721
052301680
0493774
1493774

simplify113.0ms

Counts
107 → 107
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
052514904

prune330.0ms

Filtered
80 candidates to 107 candidates (-33.8%)
Pruning

28 alts after pruning (28 fresh and 0 done)

PrunedKeptTotal
New1052107
Fresh02626
Picked101
Done000
Total10628134

Merged error: 50.3b

Counts
134 → 28

regimes310.0ms

Accuracy

0% (2.2b remaining)

Error of 51.2b against oracle of 49.0b and baseline of 51.2b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
058127
158127

end0.0ms

sample1.5s

Algorithm
intervals
Results
546.0ms3627×body320valid
299.0ms2921×body160valid
250.0ms8829×pre80true
103.0ms506×body640valid
50.0ms946×body80valid
43.0ms829×body80nan

Profiling

Loading profile data...