Details

Time bar (total: 5.6s)

analyze4.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
68.7%6.2%25%6
71.8%3.1%25%7
73.4%1.6%25%8
74.2%0.8%25%9
74.6%0.4%25%10
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0%25.1%13
74.9%0%25.1%14

sample11.0ms

Algorithm
intervals
Results
5.0ms232×body80valid
1.0ms8×body1280valid
0.0ms5×body640valid
0.0ms6×body320valid
0.0ms5×body160valid
0.0ms1×body80invalid

simplify56.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
039610
139610

prune12.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 2

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 6 (*.f64 x -9))
0.2b
(*.f64 x (+.f64 6 (*.f64 x -9)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_12162
4×add-log-exp_binary64_12142 add-cbrt-cube_binary64_12149 pow1_binary64_12119 *-un-lft-identity_binary64_12177 add-exp-log_binary64_12141 add-cube-cbrt_binary64_12148
3×associate-*r*_binary64_12236 associate-*l*_binary64_12237
2×associate-*r/_binary64_12238 flip-+_binary64_12202 flip3-+_binary64_12175
1×pow-prod-down_binary64_12100 *-commutative_binary64_12245 cbrt-unprod_binary64_12146 prod-exp_binary64_12124 +-commutative_binary64_12244 distribute-rgt-in_binary64_12220 sum-log_binary64_12087 distribute-lft-in_binary64_12219 unswap-sqr_binary64_12205
Counts
2 → 33
Calls
2 calls:
4.0ms
(+.f64 6 (*.f64 x -9))
7.0ms
(*.f64 x (+.f64 6 (*.f64 x -9)))

series878.0ms

Counts
2 → 6
Calls
2 calls:
448.0ms
(+.f64 6 (*.f64 x -9))
430.0ms
(*.f64 x (+.f64 6 (*.f64 x -9)))
Iterations

Useful iterations: 0 (131.0ms)

IterNodesCost
02201614
12201614
046721072
146721072
02201614
12201614
046721072
146721072
0541615
01751342
11751342
05123618
01751342
11751342
05123618
0509612

simplify207.0ms

Counts
39 → 39
Iterations

Useful iterations: 0 (185.0ms)

IterNodesCost
04770431
14770431

prune39.0ms

Filtered
30 candidates to 39 candidates (-30.0%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New32739
Fresh101
Picked101
Done000
Total34741

Merged error: 0.0b

Counts
41 → 7

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))
0.2b
(*.f64 x (*.f64 x -9))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
7×add-cbrt-cube_binary64_12149 pow1_binary64_12119 add-exp-log_binary64_12141
4×add-log-exp_binary64_12142
3×pow-prod-down_binary64_12100 cbrt-unprod_binary64_12146 prod-exp_binary64_12124 *-un-lft-identity_binary64_12177 add-sqr-sqrt_binary64_12162 add-cube-cbrt_binary64_12148 associate-*l*_binary64_12237
1×*-commutative_binary64_12245 associate-*r*_binary64_12236 +-commutative_binary64_12244 distribute-lft-out_binary64_12221 flip-+_binary64_12202 sum-log_binary64_12087 flip3-+_binary64_12175
Counts
2 → 30
Calls
2 calls:
5.0ms
(+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))
6.0ms
(*.f64 x (*.f64 x -9))

series902.0ms

Counts
2 → 6
Calls
2 calls:
416.0ms
(+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))
486.0ms
(*.f64 x (*.f64 x -9))
Iterations

Useful iterations: 0 (124.0ms)

IterNodesCost
02041563
12041563
04623537
14623537
02041563
12041563
04623537
14623537
0541615
02421758
12421758
048681110
148681110
02421758
12421758
048681110
148681110
0541615

simplify152.0ms

Counts
36 → 36
Iterations

Useful iterations: 0 (131.0ms)

IterNodesCost
04971356
14971356

prune26.0ms

Filtered
26 candidates to 36 candidates (-38.5%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New35136
Fresh336
Picked011
Done000
Total38543

Merged error: 0.0b

Counts
43 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))
0.2b
(*.f64 (*.f64 x x) -9)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
7×add-cbrt-cube_binary64_12149 pow1_binary64_12119 add-exp-log_binary64_12141
4×add-log-exp_binary64_12142 add-sqr-sqrt_binary64_12162
3×pow-prod-down_binary64_12100 cbrt-unprod_binary64_12146 associate-*r*_binary64_12236 prod-exp_binary64_12124 *-un-lft-identity_binary64_12177 add-cube-cbrt_binary64_12148
1×*-commutative_binary64_12245 +-commutative_binary64_12244 flip-+_binary64_12202 sum-log_binary64_12087 flip3-+_binary64_12175 unswap-sqr_binary64_12205 associate-*l*_binary64_12237
Counts
2 → 30
Calls
2 calls:
5.0ms
(+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))
7.0ms
(*.f64 (*.f64 x x) -9)

series820.0ms

Counts
2 → 6
Calls
2 calls:
418.0ms
(+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))
402.0ms
(*.f64 (*.f64 x x) -9)
Iterations

Useful iterations: 0 (123.0ms)

IterNodesCost
01921594
11921594
04741618
14741618
01921594
11921594
04741618
14741618
0541615
02411779
12411779
048511067
148511067
02411779
12411779
048511067
148511067
0541615

simplify120.0ms

Counts
36 → 36
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
04866363
14866363

prune21.0ms

Filtered
25 candidates to 36 candidates (-44.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New36036
Fresh033
Picked011
Done011
Total36541

Merged error: 0.0b

Counts
41 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 6 (*.f64 x -9))
0.2b
(*.f64 x (/.f64 (-.f64 36 (*.f64 x (*.f64 x 81))) (-.f64 6 (*.f64 x -9))))
0.2b
(*.f64 x (*.f64 x 81))
0.2b
(/.f64 (-.f64 36 (*.f64 x (*.f64 x 81))) (-.f64 6 (*.f64 x -9)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt_binary64_12162
21×*-un-lft-identity_binary64_12177 add-cube-cbrt_binary64_12148
19×times-frac_binary64_12172
16×associate-*r*_binary64_12236 add-cbrt-cube_binary64_12149 add-exp-log_binary64_12141
11×pow1_binary64_12119
6×add-log-exp_binary64_12142 associate-*l*_binary64_12237
5×cbrt-unprod_binary64_12146 prod-exp_binary64_12124
4×pow-prod-down_binary64_12100 flip3--_binary64_12176 flip--_binary64_12203 associate-/r/_binary64_12242
3×associate-/l*_binary64_12241 associate-/r*_binary64_12240
2×*-commutative_binary64_12245 associate-/l/_binary64_12243 cbrt-undiv_binary64_12147 div-exp_binary64_12126 unswap-sqr_binary64_12205 div-inv_binary64_12178
1×diff-log_binary64_12088 sub-neg_binary64_12181 associate-*r/_binary64_12238 clear-num_binary64_12180 div-sub_binary64_12171 frac-2neg_binary64_12170
Counts
4 → 95
Calls
4 calls:
4.0ms
(-.f64 6 (*.f64 x -9))
12.0ms
(*.f64 x (/.f64 (-.f64 36 (*.f64 x (*.f64 x 81))) (-.f64 6 (*.f64 x -9))))
6.0ms
(*.f64 x (*.f64 x 81))
8.0ms
(/.f64 (-.f64 36 (*.f64 x (*.f64 x 81))) (-.f64 6 (*.f64 x -9)))

series1.7s

Counts
4 → 12
Calls
4 calls:
460.0ms
(-.f64 6 (*.f64 x -9))
365.0ms
(*.f64 x (/.f64 (-.f64 36 (*.f64 x (*.f64 x 81))) (-.f64 6 (*.f64 x -9))))
530.0ms
(*.f64 x (*.f64 x 81))
310.0ms
(/.f64 (-.f64 36 (*.f64 x (*.f64 x 81))) (-.f64 6 (*.f64 x -9)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
04842052
14842052
049851821
149851821
04842052
14842052
049851821
149851821
013
113
02041563
12041563
04623537
14623537
02041563
12041563
04623537
14623537
0541615
04422151
14422151
049001932
149001932
04422151
14422151
049001932
149001932
013
113
01751342
11751342
05147618
01751342
11751342
05147618
0509612

simplify131.0ms

Counts
107 → 107
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
048152036
148152036

prune100.0ms

Filtered
79 candidates to 107 candidates (-35.4%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1052107
Fresh022
Picked011
Done022
Total1057112

Merged error: 0b

Counts
112 → 7

regimes19.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01113
11113

end0.0ms

sample317.0ms

Algorithm
intervals
Results
166.0ms7191×body80valid
35.0ms358×body1280valid
20.0ms247×body640valid
8.0ms130×body320valid
3.0ms74×body160valid
0.0ms2×body80invalid

Profiling

Loading profile data...