Details

Time bar (total: 7.6s)

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

sample43.0ms

Algorithm
intervals
Results
11.0ms37×body2560valid
8.0ms158×body80valid
8.0ms31×body1280valid
3.0ms18×body640valid
1.0ms8×body320valid
1.0ms20×body80nan
1.0ms14×body80invalid
0.0ms1×body5120valid
0.0ms3×body160valid

simplify111.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
092824
192824

prune6.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: 37.2b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 4 a) c)
1.0b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
1.0b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
25.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_1692
10×pow1_binary64_1649
9×add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679
8×add-log-exp_binary64_1672 *-un-lft-identity_binary64_1707
6×add-cube-cbrt_binary64_1678
4×sqrt-prod_binary64_1686
3×prod-exp_binary64_1654 pow-prod-down_binary64_1630 associate-*r*_binary64_1766 flip3--_binary64_1706 flip--_binary64_1733 cbrt-unprod_binary64_1676
2×difference-of-squares_binary64_1736 sqrt-div_binary64_1687 diff-log_binary64_1618 sub-neg_binary64_1711
1×associate-*l*_binary64_1767 *-commutative_binary64_1775 pow1/2_binary64_1639 distribute-lft-out--_binary64_1752 rem-sqrt-square_binary64_1695 sqrt-pow1_binary64_1688
Counts
4 → 58
Calls
4 calls:
6.0ms
(*.f64 (*.f64 4 a) c)
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)
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series993.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(*.f64 (*.f64 4 a) c)
276.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
304.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
282.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0723642
1723642
09903546
19903546
0723642
1723642
09903546
19903546
013
113
0753693
1753693
011173591
111173591
0753693
1753693
011173591
111173591
013
113
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113
0992427
1992427
0201917
1201917
0992427
1992427
0201917
1201917
013
113

simplify125.0ms

Counts
70 → 70
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
064871073

prune86.0ms

Filtered
48 candidates to 70 candidates (-45.8%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New591170
Fresh000
Picked101
Done000
Total601171

Merged error: 24.0b

Counts
71 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

1.0b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
4.0b
(/.f64 (/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
9.2b
(/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
25.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679
22×times-frac_binary64_1702
19×*-un-lft-identity_binary64_1707
17×cbrt-undiv_binary64_1677 div-exp_binary64_1656
13×prod-exp_binary64_1654 cbrt-unprod_binary64_1676
12×add-sqr-sqrt_binary64_1692
11×add-cube-cbrt_binary64_1678 associate-/l*_binary64_1771
6×associate-/r/_binary64_1772 add-log-exp_binary64_1672
5×pow1_binary64_1649 associate-/r*_binary64_1770
4×distribute-lft-out_binary64_1751 div-inv_binary64_1708
3×sqrt-prod_binary64_1686 flip3-+_binary64_1705 flip-+_binary64_1732
2×frac-2neg_binary64_1700 clear-num_binary64_1710 sqrt-div_binary64_1687 flip3--_binary64_1706 flip--_binary64_1733
1×pow1/2_binary64_1639 associate-/l/_binary64_1773 rem-sqrt-square_binary64_1695 diff-log_binary64_1618 sub-neg_binary64_1711 sqrt-pow1_binary64_1688
Counts
4 → 101
Calls
4 calls:
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
17.0ms
(/.f64 (/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
14.0ms
(/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.0s

Counts
4 → 12
Calls
4 calls:
284.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
215.0ms
(/.f64 (/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
244.0ms
(/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
283.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0723642
1723642
09903546
19903546
0723642
1723642
09903546
19903546
013
113
04753822
14753822
047733672
147733672
04753822
14753822
047733672
147733672
013
113
06803900
16803900
049473723
149473723
06803900
16803900
049473723
149473723
013
113
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113

simplify91.0ms

Counts
113 → 113
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
050572897

prune132.0ms

Filtered
71 candidates to 113 candidates (-59.2%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New1067113
Fresh5510
Picked101
Done000
Total11212124

Merged error: 20.5b

Counts
124 → 12

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 4 a) c)
0.8b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
1.0b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
25.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1_binary64_1649
9×add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679
8×add-log-exp_binary64_1672 *-un-lft-identity_binary64_1707
7×add-sqr-sqrt_binary64_1692
6×add-cube-cbrt_binary64_1678
3×prod-exp_binary64_1654 sqrt-prod_binary64_1686 pow-prod-down_binary64_1630 associate-*r*_binary64_1766 cbrt-unprod_binary64_1676
2×sqrt-div_binary64_1687 flip3--_binary64_1706 flip--_binary64_1733
1×associate-*l*_binary64_1767 sum-log_binary64_1617 *-commutative_binary64_1775 flip3-+_binary64_1705 flip-+_binary64_1732 distribute-lft-out_binary64_1751 pow1/2_binary64_1639 rem-sqrt-square_binary64_1695 diff-log_binary64_1618 sub-neg_binary64_1711 sqrt-pow1_binary64_1688 +-commutative_binary64_1774
Counts
4 → 56
Calls
4 calls:
8.0ms
(*.f64 (*.f64 4 a) c)
7.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series990.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(*.f64 (*.f64 4 a) c)
295.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
283.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
282.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0723642
1723642
09903546
19903546
0723642
1723642
09903546
19903546
013
113
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113
0753693
1753693
010743591
110743591
0753693
1753693
010743591
110743591
013
113
0992427
1992427
0201917
1201917
0992427
1992427
0201917
1201917
013
113

simplify61.0ms

Counts
68 → 68
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04972982
14972982

prune72.0ms

Filtered
47 candidates to 68 candidates (-44.7%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New66268
Fresh11011
Picked011
Done000
Total671380

Merged error: 20.1b

Counts
80 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

6.1b
(cbrt.f64 (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))
25.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
25.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
25.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64_1692
9×sqrt-prod_binary64_1686
7×add-cube-cbrt_binary64_1678 pow1_binary64_1649 *-un-lft-identity_binary64_1707
6×sqrt-div_binary64_1687
4×add-log-exp_binary64_1672 add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679
3×pow1/2_binary64_1639 flip3--_binary64_1706 rem-sqrt-square_binary64_1695 flip--_binary64_1733 sqrt-pow1_binary64_1688
1×associate-*r/_binary64_1768 cbrt-div_binary64_1675 pow1/3_binary64_1641 cbrt-prod_binary64_1674
Counts
4 → 55
Calls
4 calls:
11.0ms
(cbrt.f64 (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.4s

Counts
4 → 12
Calls
4 calls:
588.0ms
(cbrt.f64 (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))
281.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
281.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
282.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0723642
1723642
09903546
19903546
0723642
1723642
09903546
19903546
013
113
0723642
1723642
09903546
19903546
0723642
1723642
09903546
19903546
013
113
0723642
1723642
09903546
19903546
0723642
1723642
09903546
19903546
013
113
0853789
1853789
054333663
0853789
1853789
054333663
013
113

simplify138.0ms

Counts
67 → 67
Iterations

Useful iterations: 0 (112.0ms)

IterNodesCost
048671210
148671210

prune121.0ms

Filtered
49 candidates to 67 candidates (-36.7%)
Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New66167
Fresh01111
Picked011
Done011
Total661480

Merged error: 20.1b

Counts
80 → 14

regimes127.0ms

Accuracy

95.1% (0.6b remaining)

Error of 17.5b against oracle of 17.0b and baseline of 28.4b

bsearch85.0ms

Steps
ItersRangePoint
7
5.863204117600174e+151
2.8937840985028514e+153
2.857075353436113e+153
6
-1.1899939481450401e-175
-1.2864484464754603e-176
-1.346684968652724e-176
6
-4.258417130260259e+147
-3.386939708886021e+146
-4.1675890391810646e+147

simplify10.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0102106
1102106

end0.0ms

sample1.3s

Algorithm
intervals
Results
342.0ms1107×body2560valid
265.0ms5051×body80valid
226.0ms917×body1280valid
94.0ms475×body640valid
37.0ms102×body5120valid
34.0ms682×body80nan
33.0ms216×body320valid
22.0ms385×body80invalid
13.0ms132×body160valid

Profiling

Loading profile data...