Details

Time bar (total: 9.6s)

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

sample41.0ms

Algorithm
intervals
Results
14.0ms158×body160valid
8.0ms281×pre80true
7.0ms49×body320valid
2.0ms49×body80valid
1.0ms25×body80nan

simplify112.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (95.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: 45.1b

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))
38.6b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

rewrite38.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)))
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))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

series1.5s

Counts
4 → 12
Calls
4 calls:
473.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
349.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
240.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
460.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

simplify45.0ms

Counts
86 → 86
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
08432254
18432254

prune129.0ms

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

25 alts after pruning (25 fresh and 0 done)

PrunedKeptTotal
New612586
Fresh000
Picked101
Done000
Total622587

Merged error: 41.7b

Counts
87 → 25

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(/.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.2b
(/.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)))))
38.5b
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b))

rewrite61.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:
6.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
21.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:
238.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
442.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))
349.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)))))
261.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b))
Iterations

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

simplify85.0ms

Counts
148 → 148
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
015797522
115797522

prune277.0ms

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

38 alts after pruning (38 fresh and 0 done)

PrunedKeptTotal
New12919148
Fresh51924
Picked101
Done000
Total13538173

Merged error: 41.2b

Counts
173 → 38

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 (-.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 b (pow.f64 b 3))) (+.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.3b
(/.f64 (/.f64 (-.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 b (pow.f64 b 3))) (+.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)))
39.9b
(-.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 b (pow.f64 b 3)))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac_binary64
99×*-un-lft-identity_binary64
69×add-sqr-sqrt_binary64
67×add-cube-cbrt_binary64
18×associate-/l*_binary64
16×distribute-lft-out_binary64
14×associate-/r/_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
11×pow1_binary64
8×flip3--_binary64 flip--_binary64
7×flip3-+_binary64 associate-/r*_binary64 div-inv_binary64 flip-+_binary64
6×add-log-exp_binary64
5×sub-neg_binary64
4×cbrt-undiv_binary64 div-exp_binary64 insert-posit16 frac-times_binary64
3×associate-/l/_binary64 swap-sqr_binary64 associate-*r*_binary64 associate-*l*_binary64 div-sub_binary64
2×associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 associate--l+_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 diff-log_binary64 cbrt-unprod_binary64 pow-prod-up_binary64 pow-plus_binary64 unswap-sqr_binary64 prod-exp_binary64 pow-sqr_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 181
Calls
4 calls:
26.0ms
(/.f64 (-.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 b (pow.f64 b 3))) (+.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
32.0ms
(/.f64 (/.f64 (-.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 b (pow.f64 b 3))) (+.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)))
16.0ms
(-.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 b (pow.f64 b 3)))

series1.6s

Counts
4 → 12
Calls
4 calls:
481.0ms
(/.f64 (-.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 b (pow.f64 b 3))) (+.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
606.0ms
(/.f64 (/.f64 (-.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 b (pow.f64 b 3))) (+.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)))))
246.0ms
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
284.0ms
(-.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 b (pow.f64 b 3)))
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
04911085
14911085
04727
14727
04911085
14911085
04727
14727
0433
1433
0397831
1397831
03524
13524
0397831
1397831
03524
13524
0493
1493
012202022
112202022
01911329
11911329
012202022
112202022
01911329
11911329
04329
14329
09451710
19451710
01361203
11361203
09451710
19451710
01361203
11361203
02117
12117

simplify248.0ms

Counts
193 → 193
Iterations

Useful iterations: 0 (137.0ms)

IterNodesCost
0494012611
1494012611

prune603.0ms

Filtered
143 candidates to 193 candidates (-35.0%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New17716193
Fresh29837
Picked101
Done000
Total20724231

Merged error: 15.7b

Counts
231 → 24

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2)
0.5b
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2)
38.0b
(-.f64 (pow.f64 b 4) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2))
38.0b
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2) (pow.f64 b 4))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt_binary64
24×difference-of-squares_binary64
20×unpow-prod-down_binary64
16×sqr-pow_binary64
12×*-un-lft-identity_binary64
8×add-log-exp_binary64 unpow2_binary64 add-cube-cbrt_binary64
6×pow-unpow_binary64 pow1_binary64 add-exp-log_binary64
4×add-cbrt-cube_binary64 insert-posit16
2×pow-to-exp_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 pow-pow_binary64 distribute-lft-out--_binary64 flip--_binary64 pow-exp_binary64
Counts
4 → 88
Calls
4 calls:
7.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2)
6.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2)
13.0ms
(-.f64 (pow.f64 b 4) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2))
14.0ms
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2) (pow.f64 b 4))

series1.2s

Counts
4 → 12
Calls
4 calls:
272.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2)
276.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2)
307.0ms
(-.f64 (pow.f64 b 4) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2))
314.0ms
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2) (pow.f64 b 4))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0557887
1557887
05136
15136
0557887
1557887
05136
15136
0153
1153
0557887
1557887
05236
15236
0557887
1557887
05236
15236
0153
1153
0477723
1477723
04933
14933
0477723
1477723
04933
14933
0163
1163
0477723
1477723
04933
14933
0477723
1477723
04933
14933
0163
1163

simplify118.0ms

Counts
100 → 100
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
051172288

prune190.0ms

Filtered
58 candidates to 100 candidates (-72.4%)
Pruning

30 alts after pruning (29 fresh and 1 done)

PrunedKeptTotal
New946100
Fresh02323
Picked011
Done000
Total9430124

Merged error: 15.6b

Counts
124 → 30

regimes347.0ms

Accuracy

0% (2.2b remaining)

Error of 17.6b against oracle of 15.4b and baseline of 17.6b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
086105
186105

end0.0ms

sample1.3s

Algorithm
intervals
Results
459.0ms4862×body160valid
249.0ms8931×pre80true
188.0ms1348×body320valid
89.0ms1790×body80valid
43.0ms931×body80nan

Profiling

Loading profile data...