Details

Time bar (total: 9.1s)

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

sample42.0ms

Algorithm
intervals
Results
16.0ms154×body160valid
8.0ms296×pre80true
5.0ms102×body80valid
2.0ms40×body80nan

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: 30.4b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
30.3b
(-.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:
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
14.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

series1.5s

Counts
4 → 12
Calls
4 calls:
472.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
234.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
345.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
440.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
Iterations

Useful iterations: 0 (35.0ms)

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

simplify42.0ms

Counts
86 → 86
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
08432254
18432254

prune133.0ms

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

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New622486
Fresh000
Picked101
Done000
Total632487

Merged error: 27.8b

Counts
87 → 24

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.3b
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
0.3b
(/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
29.7b
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
70×times-frac_binary64
58×*-un-lft-identity_binary64
46×add-sqr-sqrt_binary64
32×add-cube-cbrt_binary64
26×associate-/l*_binary64
18×add-exp-log_binary64 add-cbrt-cube_binary64
14×difference-of-squares_binary64
13×distribute-lft-out_binary64
11×add-log-exp_binary64
7×cbrt-undiv_binary64 div-exp_binary64
6×associate-/r/_binary64
5×associate-/r*_binary64
4×pow1_binary64 diff-log_binary64 div-inv_binary64 insert-posit16
3×flip3-+_binary64 associate-/l/_binary64 sub-neg_binary64 flip3--_binary64 div-sub_binary64 flip--_binary64 flip-+_binary64
2×cbrt-unprod_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64
1×associate--l-_binary64 associate--l+_binary64
Counts
4 → 136
Calls
4 calls:
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
22.0ms
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
18.0ms
(/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
9.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b))

series1.3s

Counts
4 → 12
Calls
4 calls:
235.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
436.0ms
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
340.0ms
(/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
260.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b))
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
0377429
1377429
03624
13624
0377429
1377429
03624
13624
04273
14273
06511473
16511473
0128528
1128528
06511473
16511473
0128528
1128528
06831
16831
08321680
18321680
02561446
12561446
08321680
18321680
02561446
12561446
065169
165169
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273

simplify80.0ms

Counts
148 → 148
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
015797522
115797522

prune306.0ms

Filtered
110 candidates to 148 candidates (-34.5%)
Pruning

40 alts after pruning (40 fresh and 0 done)

PrunedKeptTotal
New12919148
Fresh22123
Picked101
Done000
Total13240172

Merged error: 26.8b

Counts
172 → 40

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (-.f64 (*.f64 b b) (*.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 b b) (*.f64 (*.f64 4 a) c)) 3)
28.4b
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3) (pow.f64 (*.f64 b b) 3))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt_binary64
20×pow1_binary64
16×difference-of-squares_binary64
14×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64 unpow-prod-down_binary64 cube-prod_binary64
10×sqr-pow_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
8×flip3--_binary64 flip--_binary64
7×pow-pow_binary64
6×pow-unpow_binary64 add-log-exp_binary64
4×insert-posit16 frac-times_binary64
3×sub-neg_binary64 swap-sqr_binary64 associate-*r*_binary64 associate-*l*_binary64 rem-cube-cbrt_binary64 pow-exp_binary64
2×pow-to-exp_binary64 pow-prod-down_binary64 cbrt-unprod_binary64 pow-prod-up_binary64 associate-*r/_binary64 pow-plus_binary64 cube-div_binary64 prod-exp_binary64 pow-sqr_binary64 pow2_binary64 unpow3_binary64 associate-*l/_binary64 cube-mult_binary64
1×difference-cubes_binary64 diff-log_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 distribute-lft-out--_binary64 *-commutative_binary64
Counts
4 → 119
Calls
4 calls:
14.0ms
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
8.0ms
(pow.f64 (*.f64 b b) 3)
11.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
19.0ms
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3) (pow.f64 (*.f64 b b) 3))

series1.2s

Counts
4 → 12
Calls
4 calls:
241.0ms
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
330.0ms
(pow.f64 (*.f64 b b) 3)
273.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
315.0ms
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3) (pow.f64 (*.f64 b b) 3))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0557997
1557997
05436
15436
0557997
1557997
05436
15436
0163
1163
0478723
1478723
05133
15133
0478723
1478723
05133
15133
0173
1173
0414886
1414886
056232
156232
0414886
1414886
056232
156232
0496939
1496939
0397831
1397831
03524
13524
0397831
1397831
03524
13524
0493
1493

simplify78.0ms

Counts
131 → 131
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
053382819

prune245.0ms

Filtered
77 candidates to 131 candidates (-70.1%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1283131
Fresh36339
Picked101
Done000
Total1656171

Merged error: 0.6b

Counts
171 → 6

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 b b) (+.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.4b
(*.f64 (+.f64 (pow.f64 b 4) (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (+.f64 (*.f64 b (+.f64 b b)) (*.f64 (*.f64 a c) -4)))) (*.f64 (*.f64 a c) -4))
0.4b
(*.f64 (+.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 (*.f64 b b) (+.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.5b
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
66×associate-*r/_binary64
64×frac-times_binary64
48×flip3-+_binary64 frac-add_binary64 flip-+_binary64
42×flip3--_binary64 flip--_binary64
34×associate-*l/_binary64
27×pow1_binary64
22×add-exp-log_binary64 add-cbrt-cube_binary64
17×add-sqr-sqrt_binary64
14×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
11×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*r*_binary64 prod-exp_binary64
10×associate-*l*_binary64
4×add-log-exp_binary64 insert-posit16 *-commutative_binary64
3×swap-sqr_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64
2×sub-neg_binary64
1×distribute-lft-out_binary64 pow-prod-up_binary64 pow-plus_binary64 pow-sqr_binary64 pow2_binary64
Counts
4 → 162
Calls
4 calls:
18.0ms
(*.f64 (*.f64 b b) (+.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
13.0ms
(*.f64 (+.f64 (pow.f64 b 4) (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (+.f64 (*.f64 b (+.f64 b b)) (*.f64 (*.f64 a c) -4)))) (*.f64 (*.f64 a c) -4))
30.0ms
(*.f64 (+.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 (*.f64 b b) (+.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
14.0ms
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.3s

Counts
4 → 12
Calls
4 calls:
268.0ms
(*.f64 (*.f64 b b) (+.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
380.0ms
(*.f64 (+.f64 (pow.f64 b 4) (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (+.f64 (*.f64 b (+.f64 b b)) (*.f64 (*.f64 a c) -4)))) (*.f64 (*.f64 a c) -4))
441.0ms
(*.f64 (+.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 (*.f64 b b) (+.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
243.0ms
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0397831
1397831
03524
13524
0397831
1397831
03524
13524
0493
1493
07801957
17801957
0429
1429
07801957
17801957
0429
1429
013
113
07901479
17901479
0120506
1120506
07901479
17901479
0120506
1120506
0493
1493
0453753
1453753
03524
13524
0453753
1453753
03524
13524
0493
1493

simplify196.0ms

Counts
174 → 174
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
0482814817
1482814817

prune692.0ms

Filtered
115 candidates to 174 candidates (-51.3%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New16311174
Fresh505
Picked101
Done000
Total16911180

Merged error: 0.1b

Counts
180 → 11

regimes237.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.2b and baseline of 0.5b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
092150
192150

end0.0ms

sample1.1s

Algorithm
intervals
Results
413.0ms4393×body160valid
254.0ms8855×pre80true
176.0ms3607×body80valid
41.0ms855×body80nan

Profiling

Loading profile data...