Details

Time bar (total: 8.6s)

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

sample41.0ms

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

simplify113.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: 37.0b

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

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64_645
13×*-un-lft-identity_binary64_660
9×add-cbrt-cube_binary64_632 add-exp-log_binary64_624
8×add-log-exp_binary64_625
7×add-cube-cbrt_binary64_631
6×times-frac_binary64_655 associate-/l*_binary64_724 difference-of-squares_binary64_689 sqrt-prod_binary64_639
5×pow1_binary64_602
4×flip--_binary64_686 flip3--_binary64_659
3×distribute-lft-out--_binary64_705
2×sub-neg_binary64_664 diff-log_binary64_571 div-exp_binary64_609 associate-/l/_binary64_726 sqrt-div_binary64_640 cbrt-undiv_binary64_630
1×rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 div-inv_binary64_661 cbrt-unprod_binary64_629 div-sub_binary64_654 associate-/r*_binary64_723 pow1/2_binary64_592 frac-2neg_binary64_653 prod-exp_binary64_607 clear-num_binary64_663
Counts
4 → 70
Calls
4 calls:
14.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) (*.f64 a 2))
6.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

series1.3s

Counts
4 → 12
Calls
4 calls:
296.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b) (*.f64 a 2))
310.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
341.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
312.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 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
04723771
14723771
046623645
146623645
04723771
14723771
046623645
146623645
013
113

simplify123.0ms

Counts
82 → 82
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
067531813

prune100.0ms

Filtered
58 candidates to 82 candidates (-41.4%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New73982
Fresh000
Picked101
Done000
Total74983

Merged error: 23.9b

Counts
83 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
45×add-cbrt-cube_binary64_632 add-exp-log_binary64_624
22×times-frac_binary64_655
19×*-un-lft-identity_binary64_660
17×div-exp_binary64_609 cbrt-undiv_binary64_630
13×cbrt-unprod_binary64_629 prod-exp_binary64_607
12×add-sqr-sqrt_binary64_645
11×associate-/l*_binary64_724 add-cube-cbrt_binary64_631
6×associate-/r/_binary64_725 add-log-exp_binary64_625
5×associate-/r*_binary64_723 pow1_binary64_602
4×distribute-lft-out_binary64_704 div-inv_binary64_661
3×flip-+_binary64_685 sqrt-prod_binary64_639 flip3-+_binary64_658
2×flip--_binary64_686 frac-2neg_binary64_653 sqrt-div_binary64_640 flip3--_binary64_659 clear-num_binary64_663
1×rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 sub-neg_binary64_664 diff-log_binary64_571 associate-/l/_binary64_726 pow1/2_binary64_592
Counts
4 → 101
Calls
4 calls:
5.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
19.0ms
(/.f64 (/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (*.f64 a 2))
14.0ms
(/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

series1.1s

Counts
4 → 12
Calls
4 calls:
310.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
217.0ms
(/.f64 (/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (*.f64 a 2))
245.0ms
(/.f64 (*.f64 a (*.f64 c -4)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
311.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0723642
1723642
09903546
19903546
0723642
1723642
09903546
19903546
013
113
04753822
14753822
052373672
04753822
14753822
052373672
013
113
06803900
16803900
050873723
06803900
16803900
050873723
013
113
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113

simplify78.0ms

Counts
113 → 113
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
051012897

prune130.0ms

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

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1085113
Fresh088
Picked101
Done000
Total10913122

Merged error: 20.5b

Counts
122 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity_binary64_660
15×add-sqr-sqrt_binary64_645
14×add-cube-cbrt_binary64_631
12×times-frac_binary64_655
8×add-log-exp_binary64_625
6×add-cbrt-cube_binary64_632 add-exp-log_binary64_624
5×distribute-lft-out_binary64_704 pow1_binary64_602
4×associate-/r*_binary64_723
3×associate-/l*_binary64_724 sqrt-prod_binary64_639
2×flip--_binary64_686 flip-+_binary64_685 associate-/r/_binary64_725 sqrt-div_binary64_640 flip3--_binary64_659 flip3-+_binary64_658
1×rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 div-inv_binary64_661 sub-neg_binary64_664 diff-log_binary64_571 div-exp_binary64_609 +-commutative_binary64_727 sum-log_binary64_570 pow1/2_binary64_592 frac-2neg_binary64_653 cbrt-undiv_binary64_630 clear-num_binary64_663
Counts
4 → 71
Calls
4 calls:
10.0ms
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
8.0ms
(+.f64 b (sqrt.f64 (-.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))))

series1.3s

Counts
4 → 12
Calls
4 calls:
313.0ms
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
324.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
309.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
313.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 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
05323744
15323744
046372337
146372337
05323744
15323744
046372337
146372337
013
113

simplify177.0ms

Counts
83 → 83
Iterations

Useful iterations: 0 (148.0ms)

IterNodesCost
049101823
149101823

prune94.0ms

Filtered
60 candidates to 83 candidates (-38.3%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New80383
Fresh21012
Picked011
Done000
Total821496

Merged error: 20.1b

Counts
96 → 14

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64_645
9×sqrt-prod_binary64_639
7×add-cube-cbrt_binary64_631 pow1_binary64_602 *-un-lft-identity_binary64_660
6×sqrt-div_binary64_640
4×add-log-exp_binary64_625 add-cbrt-cube_binary64_632 add-exp-log_binary64_624
3×rem-sqrt-square_binary64_648 flip--_binary64_686 sqrt-pow1_binary64_641 pow1/2_binary64_592 flip3--_binary64_659
1×cbrt-div_binary64_628 pow1/3_binary64_594 associate-*r/_binary64_721 cbrt-prod_binary64_627
Counts
4 → 55
Calls
4 calls:
13.0ms
(cbrt.f64 (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))))
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

series1.8s

Counts
4 → 12
Calls
4 calls:
842.0ms
(cbrt.f64 (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))))
314.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
316.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
314.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 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
047883663
147883663
0853789
1853789
047883663
147883663
013
113

simplify134.0ms

Counts
67 → 67
Iterations

Useful iterations: 0 (110.0ms)

IterNodesCost
053081210

prune112.0ms

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

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New66167
Fresh11112
Picked011
Done011
Total671481

Merged error: 20.1b

Counts
81 → 14

regimes127.0ms

Accuracy

95.6% (0.5b remaining)

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

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

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
010285
110285

end0.0ms

sample1.2s

Algorithm
intervals
Results
321.0ms1107×body2560valid
261.0ms5051×body80valid
217.0ms917×body1280valid
88.0ms475×body640valid
39.0ms102×body5120valid
33.0ms682×body80nan
32.0ms216×body320valid
20.0ms385×body80invalid
15.0ms132×body160valid

Profiling

Loading profile data...