Details

Time bar (total: 9.0s)

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

sample42.0ms

Algorithm
intervals
Results
10.0ms35×body2560valid
8.0ms161×body80valid
7.0ms28×body1280valid
2.0ms12×body640valid
2.0ms6×body5120valid
1.0ms10×body320valid
1.0ms29×body80nan
1.0ms15×body80invalid
0.0ms4×body160valid

simplify114.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (98.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: 35.0b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) a)
0.6b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
0.9b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
23.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity_binary64
15×add-sqr-sqrt_binary64
14×add-cube-cbrt_binary64
12×times-frac_binary64
8×add-log-exp_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64
5×pow1_binary64 distribute-lft-out_binary64
4×associate-/l*_binary64 insert-posit16
3×associate-/r*_binary64 sqrt-prod_binary64
2×flip3-+_binary64 associate-/l/_binary64 flip3--_binary64 flip--_binary64 flip-+_binary64 sqrt-div_binary64
1×sub-neg_binary64 pow1/2_binary64 diff-log_binary64 cbrt-undiv_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 75
Calls
4 calls:
11.0ms
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) a)
6.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
8.0ms
(+.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.2s

Counts
4 → 12
Calls
4 calls:
350.0ms
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) a)
217.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
287.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
331.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
0480522
1480522
02653
12653
0480522
1480522
02653
12653
08715
18715
0356321
1356321
0109
1109
0356321
1356321
0109
1109
013
113
0626807
1626807
0109
1109
0626807
1626807
0109
1109
013
113

simplify118.0ms

Counts
87 → 87
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
049081951
149081951

prune108.0ms

Filtered
65 candidates to 87 candidates (-33.8%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New79887
Fresh000
Picked101
Done000
Total80888

Merged error: 20.5b

Counts
88 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

1.8b
(-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
4.1b
(/.f64 (/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) a)
9.4b
(/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
23.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac_binary64
57×add-sqr-sqrt_binary64
42×*-un-lft-identity_binary64
28×add-cube-cbrt_binary64
27×add-exp-log_binary64 add-cbrt-cube_binary64
14×difference-of-squares_binary64
13×associate-/l*_binary64
10×cbrt-undiv_binary64 associate-/r/_binary64 div-exp_binary64 sqrt-prod_binary64
9×associate-/r*_binary64
7×flip3--_binary64 distribute-lft-out--_binary64 flip--_binary64
6×add-log-exp_binary64 cbrt-unprod_binary64 prod-exp_binary64 div-inv_binary64
5×pow1_binary64
4×insert-posit16
2×clear-num_binary64 frac-2neg_binary64 sqrt-div_binary64
1×associate-/l/_binary64 sub-neg_binary64 pow1/2_binary64 diff-log_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
Counts
4 → 134
Calls
4 calls:
9.0ms
(-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
19.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.4s

Counts
4 → 12
Calls
4 calls:
434.0ms
(-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
357.0ms
(/.f64 (/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) a)
289.0ms
(/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
337.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
06041247
16041247
071471
171471
06041247
16041247
071471
171471
013
113
07351462
17351462
076477
176477
07351462
17351462
076477
176477
013
113
0480522
1480522
01621
11621
0480522
1480522
01621
11621
094632
194632

simplify126.0ms

Counts
146 → 146
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
049524817
149524817

prune174.0ms

Filtered
104 candidates to 146 candidates (-40.4%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1406146
Fresh257
Picked011
Done000
Total14212154

Merged error: 17.5b

Counts
154 → 12

localize14.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.6b
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
1.8b
(-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
23.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt_binary64
26×*-un-lft-identity_binary64
18×times-frac_binary64
16×add-cube-cbrt_binary64
10×difference-of-squares_binary64
8×add-log-exp_binary64 sqrt-prod_binary64
6×associate-/r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
5×pow1_binary64 distribute-lft-out--_binary64
4×flip3--_binary64 insert-posit16 flip--_binary64
3×associate-/l*_binary64
2×sub-neg_binary64 diff-log_binary64 associate-/r/_binary64 sqrt-div_binary64
1×pow1/2_binary64 cbrt-undiv_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
4 → 85
Calls
4 calls:
11.0ms
(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
6.0ms
(-.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
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

series1.7s

Counts
4 → 12
Calls
4 calls:
743.0ms
(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
218.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
430.0ms
(-.f64 b (sqrt.f64 (-.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
0480522
1480522
01621
11621
0480522
1480522
01621
11621
094632
194632
0356321
1356321
0109
1109
0356321
1356321
0109
1109
013
113
06091065
16091065
03335
13335
06091065
16091065
03335
13335
014513
114513

simplify151.0ms

Counts
97 → 97
Iterations

Useful iterations: 0 (118.0ms)

IterNodesCost
048912418
148912418

prune115.0ms

Filtered
71 candidates to 97 candidates (-36.6%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New92597
Fresh2810
Picked011
Done011
Total9415109

Merged error: 17.1b

Counts
109 → 15

localize20.0ms

Local error

Found 4 expressions with local error:

6.4b
(cbrt.f64 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
23.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
23.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
23.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt_binary64
24×cbrt-prod_binary64
23×*-un-lft-identity_binary64
18×times-frac_binary64
17×add-cube-cbrt_binary64
12×sqrt-prod_binary64
7×pow1_binary64
6×difference-of-squares_binary64 sqrt-div_binary64
4×add-log-exp_binary64 flip3--_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 flip--_binary64
3×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 distribute-lft-out--_binary64
2×associate-/r/_binary64
1×cbrt-div_binary64 pow1/3_binary64 div-inv_binary64
Counts
4 → 82
Calls
4 calls:
10.0ms
(cbrt.f64 (/.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))))
6.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.3s

Counts
4 → 12
Calls
4 calls:
263.0ms
(cbrt.f64 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
339.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
344.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
331.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
0431477
1431477
02335
12335
0431477
1431477
02335
12335
055215
155215
0431477
1431477
02335
12335
0431477
1431477
02335
12335
055215
155215
0431477
1431477
02335
12335
0431477
1431477
02335
12335
055215
155215
02251867
12251867
012011584
112011584
02251867
12251867
012011584
112011584
012041
112041

simplify114.0ms

Counts
94 → 94
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
049452502
149452502

prune186.0ms

Filtered
74 candidates to 94 candidates (-27.0%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New92294
Fresh11112
Picked101
Done022
Total9415109

Merged error: 17.1b

Counts
109 → 15

regimes164.0ms

Accuracy

89.7% (1.2b remaining)

Error of 18.4b against oracle of 17.1b and baseline of 29.0b

bsearch65.0ms

Steps
ItersRangePoint
10
6.4070354416359315e+153
1.6297035527649438e+164
1.3495206492131508e+154
10
1.6990986402510408e-159
6.665948400578647e-143
1.7297353395157233e-159

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
09378
19378

end0.0ms

sample1.2s

Algorithm
intervals
Results
318.0ms1095×body2560valid
260.0ms5127×body80valid
215.0ms916×body1280valid
84.0ms436×body640valid
38.0ms107×body5120valid
34.0ms675×body80nan
31.0ms223×body320valid
20.0ms402×body80invalid
9.0ms96×body160valid

Profiling

Loading profile data...