Details

Time bar (total: 8.1s)

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

sample40.0ms

Algorithm
intervals
Results
9.0ms170×body80valid
8.0ms35×body1280valid
8.0ms29×body2560valid
1.0ms8×body640valid
1.0ms26×body80nan
1.0ms8×body320valid
1.0ms3×body5120valid
1.0ms10×body80invalid
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: 34.7b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) a)
0.7b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
1.0b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
26.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite32.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-/l*_binary64_724
3×associate-/r*_binary64_723 sqrt-prod_binary64_639
2×flip--_binary64_686 flip-+_binary64_685 associate-/l/_binary64_726 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:
11.0ms
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) a)
8.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
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.3s

Counts
4 → 12
Calls
4 calls:
374.0ms
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) a)
326.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
317.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
05383744
15383744
046423194
146423194
05383744
15383744
046423194
146423194
013
113

simplify144.0ms

Counts
83 → 83
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
049381852
149381852

prune107.0ms

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

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New721183
Fresh000
Picked101
Done000
Total731184

Merged error: 20.8b

Counts
84 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

1.0b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
3.6b
(/.f64 (/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) a)
8.2b
(/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
26.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac_binary64_655
53×add-sqr-sqrt_binary64_645
40×*-un-lft-identity_binary64_660
28×add-cube-cbrt_binary64_631
27×add-cbrt-cube_binary64_632 add-exp-log_binary64_624
13×associate-/l*_binary64_724
12×difference-of-squares_binary64_689
10×associate-/r/_binary64_725 div-exp_binary64_609 cbrt-undiv_binary64_630
9×associate-/r*_binary64_723 sqrt-prod_binary64_639
7×flip--_binary64_686 flip3--_binary64_659
6×distribute-lft-out--_binary64_705 div-inv_binary64_661 cbrt-unprod_binary64_629 add-log-exp_binary64_625 prod-exp_binary64_607
5×pow1_binary64_602
2×frac-2neg_binary64_653 sqrt-div_binary64_640 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 → 127
Calls
4 calls:
6.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
22.0ms
(/.f64 (/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) a)
16.0ms
(/.f64 (*.f64 4 (*.f64 a 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))))

series1.3s

Counts
4 → 12
Calls
4 calls:
318.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
207.0ms
(/.f64 (/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) a)
437.0ms
(/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
315.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
04683822
14683822
049313672
149313672
04683822
14683822
049313672
149313672
013
113
07083873
17083873
051012833
07083873
17083873
051012833
013
113
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113

simplify125.0ms

Counts
139 → 139
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
049524514
149524514

prune163.0ms

Filtered
96 candidates to 139 candidates (-44.8%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New1363139
Fresh1910
Picked101
Done000
Total13812150

Merged error: 19.0b

Counts
150 → 12

localize13.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.9b
(-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
1.0b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
26.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt_binary64_645
26×*-un-lft-identity_binary64_660
18×times-frac_binary64_655
16×add-cube-cbrt_binary64_631
10×difference-of-squares_binary64_689
8×add-log-exp_binary64_625 sqrt-prod_binary64_639
6×add-cbrt-cube_binary64_632 add-exp-log_binary64_624 associate-/r*_binary64_723
5×distribute-lft-out--_binary64_705 pow1_binary64_602
4×flip--_binary64_686 flip3--_binary64_659
3×associate-/l*_binary64_724
2×associate-/r/_binary64_725 sub-neg_binary64_664 diff-log_binary64_571 sqrt-div_binary64_640
1×rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 div-inv_binary64_661 div-exp_binary64_609 pow1/2_binary64_592 frac-2neg_binary64_653 cbrt-undiv_binary64_630 clear-num_binary64_663
Counts
4 → 81
Calls
4 calls:
14.0ms
(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
9.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)))
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

series1.3s

Counts
4 → 12
Calls
4 calls:
323.0ms
(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
343.0ms
(-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
311.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
315.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
011173591
111173591
0753693
1753693
011173591
111173591
013
113
05323744
15323744
046322337
146322337
05323744
15323744
046322337
146322337
013
113

simplify113.0ms

Counts
93 → 93
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
052042302

prune100.0ms

Filtered
65 candidates to 93 candidates (-43.1%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New91293
Fresh2911
Picked011
Done000
Total9312105

Merged error: 18.6b

Counts
105 → 12

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 c)
0.9b
(-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
1.0b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
26.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_645
8×add-log-exp_binary64_625 *-un-lft-identity_binary64_660
6×add-cube-cbrt_binary64_631
5×pow1_binary64_602
4×add-cbrt-cube_binary64_632 add-exp-log_binary64_624 sqrt-prod_binary64_639
3×flip--_binary64_686 cbrt-prod_binary64_627 flip3--_binary64_659
2×sub-neg_binary64_664 diff-log_binary64_571 difference-of-squares_binary64_689 sqrt-div_binary64_640
1×distribute-lft-out--_binary64_705 rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 pow1/3_binary64_594 pow1/2_binary64_592
Counts
4 → 51
Calls
4 calls:
1.0ms
(cbrt.f64 c)
9.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)))
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

series1.1s

Counts
4 → 12
Calls
4 calls:
96.0ms
(cbrt.f64 c)
341.0ms
(-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
327.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
321.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
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113
0753693
1753693
011173591
111173591
0753693
1753693
011173591
111173591
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113

simplify64.0ms

Counts
63 → 63
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05154998

prune65.0ms

Filtered
47 candidates to 63 candidates (-34.0%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New61263
Fresh1910
Picked101
Done011
Total631275

Merged error: 18.6b

Counts
75 → 12

regimes116.0ms

Accuracy

90.2% (1.2b remaining)

Error of 18.3b against oracle of 17.1b and baseline of 29.4b

bsearch56.0ms

Steps
ItersRangePoint
9
5.53383867943637e+153
1.2107271214090758e+159
1.3299962441258307e+154
7
1.9343849523291177e-203
7.437319578326407e-202
2.383874394275233e-203

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
09073
19073

end0.0ms

sample1.2s

Algorithm
intervals
Results
307.0ms1042×body2560valid
276.0ms5260×body80valid
203.0ms832×body1280valid
84.0ms448×body640valid
39.0ms105×body5120valid
33.0ms685×body80nan
28.0ms199×body320valid
19.0ms383×body80invalid
11.0ms114×body160valid

Profiling

Loading profile data...