Details

Time bar (total: 8.2s)

sample43.0ms

Algorithm
intervals
Results
8.0ms290×pre80false
7.0ms256×pre80true
6.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
067
1107
2127
done127

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.4b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

1.0b
(/ x0 (- 1.0 x1))
7.6b
(- (/ x0 (- 1.0 x1)) x0)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
22×*-un-lft-identity
16×times-frac
12×add-cube-cbrt
6×difference-of-squares
5×associate-/r* distribute-lft-out--
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/l*
2×pow1 flip3-- associate-/r/ flip--
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num div-inv
Counts
2 → 52
Calls
2 calls:
6.0ms
(/ x0 (- 1.0 x1))
17.0ms
(- (/ x0 (- 1.0 x1)) x0)

series14.0ms

Counts
2 → 6
Calls
2 calls:
6.0ms
(/ x0 (- 1.0 x1))
8.0ms
(- (/ x0 (- 1.0 x1)) x0)

simplify1.0s

Counts
58 → 58
Iterations

Useful iterations: 4 (490.0ms)

IterNodesCost
0117677
1257644
2665609
31624593
44058590
done5000590

prune71.0ms

Filtered
44 candidates to 58 candidates (-31.8%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New56258
Fresh000
Picked101
Done000
Total57259

Merged error: 6.7b

Counts
59 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (/ x0 (- 1.0 x1)) (- 1.0 x1))
1.0b
(/ x0 (- 1.0 x1))
1.0b
(/ x0 (- 1.0 x1))
6.1b
(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
228×times-frac
205×add-sqr-sqrt
198×*-un-lft-identity
100×add-cube-cbrt
51×difference-of-squares
49×distribute-lft-out--
27×associate-/l*
18×associate-/r/
15×associate-/r*
13×add-exp-log add-cbrt-cube
10×flip3-- flip--
9×div-inv
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1
3×frac-2neg clear-num
1×sub-neg diff-log associate-/l/
Counts
4 → 238
Calls
4 calls:
17.0ms
(/ (/ x0 (- 1.0 x1)) (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
40.0ms
(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

series36.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(/ (/ x0 (- 1.0 x1)) (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
14.0ms
(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

simplify553.0ms

Counts
250 → 250
Iterations

Useful iterations: done (544.0ms)

IterNodesCost
03004263
17474046
222063871
done50003868

prune338.0ms

Filtered
160 candidates to 250 candidates (-56.3%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New2482250
Fresh101
Picked101
Done000
Total2502252

Merged error: 5.3b

Counts
252 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ x0 (- 1.0 x1))
1.0b
(/ x0 (- 1.0 x1))
1.0b
(/ x0 (- 1.0 x1))
4.4b
(- (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) (pow x0 3))

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
134×add-sqr-sqrt
69×times-frac
68×*-un-lft-identity
44×difference-of-squares
34×add-cube-cbrt
24×unpow-prod-down cube-prod
17×distribute-lft-out--
15×associate-/r*
12×sqr-pow
10×add-exp-log add-cbrt-cube
9×associate-/l*
6×associate-/r/ add-log-exp
4×pow1 flip3-- flip--
3×cbrt-undiv frac-2neg div-exp clear-num div-inv
1×difference-cubes sub-neg diff-log
Counts
4 → 161
Calls
4 calls:
6.0ms
(/ x0 (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
147.0ms
(- (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) (pow x0 3))

series36.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(/ x0 (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
18.0ms
(- (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) (pow x0 3))

simplify410.0ms

Counts
173 → 173
Iterations

Useful iterations: done (404.0ms)

IterNodesCost
01732917
13972778
212332568
done50012542

prune504.0ms

Filtered
122 candidates to 173 candidates (-41.8%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1721173
Fresh011
Picked101
Done000
Total1732175

Merged error: 4.6b

Counts
175 → 2

localize34.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ x0 (- 1.0 x1))
1.0b
(/ x0 (- 1.0 x1))
1.3b
(pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6)
4.3b
(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))

rewrite608.0ms

Algorithm
rewrite-expression-head
Rules
576×add-sqr-sqrt
395×unpow-prod-down
330×times-frac
284×cube-prod
224×difference-of-squares
222×*-un-lft-identity
92×add-cube-cbrt
85×sqr-pow
65×distribute-lft-out--
16×associate-/r/
14×add-exp-log
10×associate-/r*
9×flip3-- flip--
8×add-cbrt-cube div-inv
6×associate-/l* add-log-exp
5×pow1 div-exp
3×pow-unpow pow-exp
2×cbrt-undiv frac-2neg clear-num
1×difference-cubes pow-to-exp sub-neg pow-pow diff-log
Counts
4 → 415
Calls
4 calls:
6.0ms
(/ x0 (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
25.0ms
(pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6)
538.0ms
(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))

series61.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(/ x0 (- 1.0 x1))
6.0ms
(/ x0 (- 1.0 x1))
18.0ms
(pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6)
31.0ms
(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))

simplify1.0s

Counts
427 → 427
Iterations

Useful iterations: done (1.0s)

IterNodesCost
055913041
1141712419
2442011796
done500011765

prune1.7s

Filtered
181 candidates to 427 candidates (-135.9%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New4261427
Fresh011
Picked101
Done000
Total4272429

Merged error: 4.5b

Counts
429 → 2

regimes94.0ms

Accuracy

0% (0.7b remaining)

Error of 5.1b against oracle of 4.5b and baseline of 5.1b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
036104
145104
done45104

end0.0ms

sample1.3s

Algorithm
intervals
Results
368.0ms8000×body80valid
210.0ms8000×pre80true
208.0ms7999×pre80false

Profiling

Loading profile data...