Details

Time bar (total: 4.6s)

analyze3.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0.1%14

sample10.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify19.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0119
1119

prune2.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 29.2b

Counts
2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

28.2b
(sqrt.f64 (*.f64 (*.f64 2 x) x))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1_binary64
3×pow-prod-down_binary64 sqrt-pow1_binary64
1×*-un-lft-identity_binary64 add-log-exp_binary64 pow1/2_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64 insert-posit16 sqrt-prod_binary64
Counts
1 → 13
Calls
1 calls:
8.0ms
(sqrt.f64 (*.f64 (*.f64 2 x) x))

series212.0ms

Counts
1 → 3
Calls
1 calls:
212.0ms
(sqrt.f64 (*.f64 (*.f64 2 x) x))
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0404788
1404788
097310
197310
0404788
1404788
097310
197310
0318111
1318111

simplify22.0ms

Counts
16 → 16
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
098187
198187

prune18.0ms

Filtered
13 candidates to 16 candidates (-23.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New11516
Fresh000
Picked011
Done000
Total11617

Merged error: 13.1b

Counts
17 → 6

localize7.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x))))
0.4b
(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))))
28.2b
(sqrt.f64 (*.f64 x (*.f64 2 x)))
28.2b
(sqrt.f64 (*.f64 x (*.f64 2 x)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
158×pow1_binary64
154×sqrt-pow1_binary64
82×pow-prod-down_binary64
33×sqrt-prod_binary64
26×add-sqr-sqrt_binary64
24×pow1/2_binary64
21×pow-prod-up_binary64
13×*-un-lft-identity_binary64 add-cube-cbrt_binary64 pow-sqr_binary64
9×swap-sqr_binary64
7×associate-*r*_binary64 associate-*l*_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64
4×add-log-exp_binary64 unswap-sqr_binary64 insert-posit16
1×cbrt-unprod_binary64 rem-square-sqrt_binary64 pow-plus_binary64 sqrt-unprod_binary64 rem-sqrt-square_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 134
Calls
4 calls:
5.0ms
(sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x))))
19.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))))
4.0ms
(sqrt.f64 (*.f64 x (*.f64 2 x)))
5.0ms
(sqrt.f64 (*.f64 x (*.f64 2 x)))

series1.1s

Counts
4 → 12
Calls
4 calls:
296.0ms
(sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x))))
387.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))))
214.0ms
(sqrt.f64 (*.f64 x (*.f64 2 x)))
216.0ms
(sqrt.f64 (*.f64 x (*.f64 2 x)))
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
0405788
1405788
097310
197310
0405788
1405788
097310
197310
0318111
1318111
0405788
1405788
097310
197310
0405788
1405788
097310
197310
0318111
1318111
05861577
15861577
01121053
11121053
05861577
15861577
01121053
11121053
0118336
1118336
0515989
1515989
0160709
1160709
0515989
1515989
0160709
1160709
03751
13751

simplify38.0ms

Counts
146 → 146
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
01661634
11661634

prune81.0ms

Filtered
74 candidates to 146 candidates (-97.3%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1433146
Fresh134
Picked011
Done011
Total1448152

Merged error: 13.0b

Counts
152 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

17.3b
(cbrt.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 2))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 2))))))
28.2b
(sqrt.f64 (*.f64 x (*.f64 x 2)))
28.2b
(sqrt.f64 (*.f64 x (*.f64 x 2)))
28.2b
(sqrt.f64 (*.f64 x (*.f64 2 x)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1_binary64
9×pow-prod-down_binary64 sqrt-pow1_binary64
5×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64 add-log-exp_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
3×pow1/2_binary64 sqrt-prod_binary64
1×rem-cbrt-cube_binary64 pow1/3_binary64 pow3_binary64 cbrt-prod_binary64
Counts
4 → 50
Calls
4 calls:
15.0ms
(cbrt.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 2))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 2))))))
5.0ms
(sqrt.f64 (*.f64 x (*.f64 x 2)))
5.0ms
(sqrt.f64 (*.f64 x (*.f64 x 2)))
5.0ms
(sqrt.f64 (*.f64 x (*.f64 2 x)))

series1.2s

Counts
4 → 12
Calls
4 calls:
529.0ms
(cbrt.f64 (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 2))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 2))))))
228.0ms
(sqrt.f64 (*.f64 x (*.f64 x 2)))
228.0ms
(sqrt.f64 (*.f64 x (*.f64 x 2)))
214.0ms
(sqrt.f64 (*.f64 x (*.f64 2 x)))
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
0405788
1405788
097310
197310
0405788
1405788
097310
197310
0318111
1318111
0405788
1405788
083292
183292
0405788
1405788
083292
183292
03663
13663
0405788
1405788
083292
183292
0405788
1405788
083292
183292
03663
13663
0761846
1761846
037501737
137501737
0761846
1761846
037501737
137501737
0489883
1489883

simplify26.0ms

Counts
62 → 62
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0151913
1151913

prune76.0ms

Filtered
49 candidates to 62 candidates (-26.5%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New61162
Fresh145
Picked011
Done022
Total62870

Merged error: 13.0b

Counts
70 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 2))))
28.2b
(sqrt.f64 (*.f64 x (*.f64 2 x)))
28.2b
(sqrt.f64 (*.f64 x (*.f64 x 2)))
28.2b
(sqrt.f64 (*.f64 x (*.f64 x 2)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1_binary64
9×pow-prod-down_binary64 sqrt-pow1_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 sqrt-prod_binary64 cbrt-prod_binary64
3×pow1/2_binary64
1×pow1/3_binary64
Counts
4 → 52
Calls
4 calls:
5.0ms
(cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 2))))
5.0ms
(sqrt.f64 (*.f64 x (*.f64 2 x)))
5.0ms
(sqrt.f64 (*.f64 x (*.f64 x 2)))
5.0ms
(sqrt.f64 (*.f64 x (*.f64 x 2)))

series1.2s

Counts
4 → 12
Calls
4 calls:
516.0ms
(cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 x 2))))
213.0ms
(sqrt.f64 (*.f64 x (*.f64 2 x)))
228.0ms
(sqrt.f64 (*.f64 x (*.f64 x 2)))
229.0ms
(sqrt.f64 (*.f64 x (*.f64 x 2)))
Iterations

Useful iterations: 0 (150.0ms)

IterNodesCost
0405788
1405788
083292
183292
0405788
1405788
083292
183292
03663
13663
0405788
1405788
083292
183292
0405788
1405788
083292
183292
03663
13663
0405788
1405788
097310
197310
0405788
1405788
097310
197310
0318111
1318111
0601691
1601691
037371632
137371632
0601691
1601691
037371632
137371632
0489256
1489256

simplify26.0ms

Counts
64 → 64
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0148824
1148824

prune78.0ms

Filtered
51 candidates to 64 candidates (-25.5%)
Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New63164
Fresh044
Picked011
Done033
Total63972

Merged error: 13.0b

Counts
72 → 9

regimes82.0ms

Accuracy

97.3% (0.4b remaining)

Error of 15.5b against oracle of 15.1b and baseline of 30.5b

bsearch15.0ms

Steps
ItersRangePoint
10
-9.744451234673934e-296
4.772967571490919e-306
5.02253166842047e-310

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01626
11626

end0.0ms

sample260.0ms

Algorithm
intervals
Results
177.0ms8000×body80valid
0.0ms1×body80invalid

Profiling

Loading profile data...