Details

Time bar (total: 9.2s)

analyze632.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
12.5%87.4%0.1%5
18.7%81.1%0.1%6
21.8%71.8%6.4%7
31.2%62.4%6.4%8
35.9%55.4%8.7%9
37.8%48.8%13.4%10
42.7%42.3%15%11
47.7%34.2%18.1%12
49.1%30.4%20.5%13
51.9%25.8%22.3%14

sample45.0ms

Algorithm
intervals
Results
15.0ms44×body2560valid
9.0ms166×body80valid
5.0ms22×body1280valid
2.0ms12×body640valid
1.0ms4×body5120valid
1.0ms25×body80nan
0.0ms5×body160valid
0.0ms3×body320valid
0.0ms7×body80invalid

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

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) (*.f64 a 2))
1.1b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
1.6b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
24.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

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

series1.2s

Counts
4 → 12
Calls
4 calls:
376.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) (*.f64 a 2))
285.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
220.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
334.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0431477
1431477
02335
12335
0431477
1431477
02335
12335
055215
155215
0356321
1356321
0109
1109
0356321
1356321
0109
1109
013
113
0480522
1480522
01515
11515
0480522
1480522
01515
11515
011533
111533
0670897
1670897
04452
14452
0670897
1670897
04452
14452
019097
119097

simplify55.0ms

Counts
86 → 86
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
04011781
14011781

prune106.0ms

Filtered
64 candidates to 86 candidates (-34.4%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New711586
Fresh000
Picked011
Done000
Total711687

Merged error: 25.6b

Counts
87 → 16

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) 2)))
1.1b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
1.6b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
24.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
693×times-frac_binary64
438×add-sqr-sqrt_binary64
363×*-un-lft-identity_binary64
289×add-cube-cbrt_binary64
74×difference-of-squares_binary64
71×associate-/r*_binary64
40×sqrt-prod_binary64
37×distribute-lft-out--_binary64
25×add-exp-log_binary64
17×div-inv_binary64
15×div-exp_binary64
13×add-cbrt-cube_binary64
8×add-log-exp_binary64
6×pow1_binary64 cbrt-undiv_binary64
5×associate-/r/_binary64
4×insert-posit16
3×flip3--_binary64 1-exp_binary64 rec-exp_binary64 associate-/l*_binary64 flip--_binary64
2×sub-neg_binary64 diff-log_binary64 sqrt-div_binary64
1×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 pow-flip_binary64
Counts
4 → 356
Calls
4 calls:
31.0ms
(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) 2)))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
6.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

series2.0s

Counts
4 → 12
Calls
4 calls:
1.1s
(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) 2)))
283.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
220.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
336.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0431477
1431477
02335
12335
0431477
1431477
02335
12335
055215
155215
0356321
1356321
0109
1109
0356321
1356321
0109
1109
013
113
0480522
1480522
01515
11515
0480522
1480522
01515
11515
011533
111533
08871571
18871571
09436
19436
08871571
18871571
09436
19436
0481912
1481912

simplify229.0ms

Counts
368 → 368
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
0509316260

prune393.0ms

Filtered
198 candidates to 368 candidates (-85.9%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New3635368
Fresh5914
Picked101
Done011
Total36915384

Merged error: 25.6b

Counts
384 → 15

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) (/.f64 1/2 a))
1.1b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
1.6b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
24.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt_binary64
17×*-un-lft-identity_binary64
13×associate-*r*_binary64 add-cube-cbrt_binary64
10×times-frac_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64
7×pow1_binary64
6×associate-*l*_binary64
5×flip3--_binary64 flip--_binary64 sqrt-prod_binary64
4×difference-of-squares_binary64 insert-posit16
2×sub-neg_binary64 diff-log_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 distribute-lft-out--_binary64 frac-times_binary64 sqrt-div_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 pow1/2_binary64 cbrt-undiv_binary64 associate-*r/_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 div-inv_binary64 div-exp_binary64 *-commutative_binary64
Counts
4 → 83
Calls
4 calls:
18.0ms
(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) (/.f64 1/2 a))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
6.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

series1.2s

Counts
4 → 12
Calls
4 calls:
368.0ms
(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) (/.f64 1/2 a))
282.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
219.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
338.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0431477
1431477
02335
12335
0431477
1431477
02335
12335
055215
155215
0356321
1356321
0109
1109
0356321
1356321
0109
1109
013
113
0480522
1480522
01515
11515
0480522
1480522
01515
11515
011533
111533
0663882
1663882
04984
14984
0663882
1663882
04984
14984
010473
110473

simplify59.0ms

Counts
95 → 95
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
06581964
16581964

prune97.0ms

Filtered
75 candidates to 95 candidates (-26.7%)
Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New92395
Fresh11213
Picked011
Done011
Total9317110

Merged error: 21.1b

Counts
110 → 17

localize14.0ms

Local error

Found 4 expressions with local error:

1.6b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
1.6b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
24.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
24.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp_binary64 add-sqr-sqrt_binary64
6×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64 sqrt-prod_binary64
4×flip3--_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 flip--_binary64 sqrt-div_binary64
2×sub-neg_binary64 pow1/2_binary64 diff-log_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
Counts
4 → 56
Calls
4 calls:
5.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
6.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

series1.1s

Counts
4 → 12
Calls
4 calls:
220.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
220.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
334.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
334.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0431477
1431477
02335
12335
0431477
1431477
02335
12335
055215
155215
0431477
1431477
02335
12335
0431477
1431477
02335
12335
055215
155215
0356321
1356321
0109
1109
0356321
1356321
0109
1109
013
113
0356321
1356321
0109
1109
0356321
1356321
0109
1109
013
113

simplify116.0ms

Counts
68 → 68
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
051241158

prune81.0ms

Filtered
52 candidates to 68 candidates (-30.8%)
Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New67168
Fresh01414
Picked101
Done022
Total681785

Merged error: 21.1b

Counts
85 → 17

regimes151.0ms

Accuracy

86.9% (1.8b remaining)

Error of 22.4b against oracle of 20.6b and baseline of 34.3b

bsearch87.0ms

Steps
ItersRangePoint
10
9.639507664644397e+66
4.4398309930178014e+85
8.840159115410189e+77
11
-1.0339422111774095e+170
-6.803585392419627e+136
-1.380323496581874e+147

simplify8.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
011878
111878

end0.0ms

sample1.3s

Algorithm
intervals
Results
315.0ms1058×body2560valid
279.0ms5135×body80valid
225.0ms911×body1280valid
88.0ms449×body640valid
40.0ms113×body5120valid
32.0ms648×body80nan
30.0ms206×body320valid
23.0ms403×body80invalid
14.0ms128×body160valid

Profiling

Loading profile data...