Details

Time bar (total: 6.8s)

sample8.0ms

Algorithm
intervals
Results
3.0ms256×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
062
162

prune1.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (/ 1.0 3.0))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
3×*-un-lft-identity add-log-exp
1×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt flip3-+ sum-log add-cbrt-cube flip-+ distribute-lft-out
Counts
1 → 12
Calls
1 calls:
5.0ms
(+ x (/ 1.0 3.0))

series22.0ms

Counts
1 → 3
Calls
1 calls:
22.0ms
(+ x (/ 1.0 3.0))

simplify100.0ms

Algorithm
egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
07255
118350
241550
3112050
4325250
5500250

prune18.0ms

Filtered
15 candidates to 11 candidates (73.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New13215
Fresh000
Picked011
Done000
Total13316

Merged error: 0.0b

Counts
16 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
0.0b
(- x (/ 1.0 3.0))
13.8b
(/ (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))) (- x (/ 1.0 3.0)))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
1459×add-sqr-sqrt
613×times-frac
470×difference-of-squares
270×*-un-lft-identity
232×unswap-sqr
168×swap-sqr
112×*-commutative
95×distribute-lft-out--
64×add-cube-cbrt
53×associate-/l*
32×associate-*l*
7×add-log-exp
6×associate-/r*
5×add-exp-log add-cbrt-cube
4×flip3-- flip--
3×pow1
2×sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv frac-2neg div-sub div-exp clear-num div-inv
Counts
3 → 471
Calls
3 calls:
44.0ms
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
6.0ms
(- x (/ 1.0 3.0))
62.0ms
(/ (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))) (- x (/ 1.0 3.0)))

series173.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
24.0ms
(- x (/ 1.0 3.0))
102.0ms
(/ (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))) (- x (/ 1.0 3.0)))

simplify133.0ms

Algorithm
egg-herbie
Counts
480 → 480
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
08196765
126746554
250026541

prune283.0ms

Filtered
480 candidates to 130 candidates (27.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New4782480
Fresh101
Picked101
Done011
Total4803483

Merged error: 0b

Counts
483 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
0.0b
(- x (/ 1.0 3.0))
0.1b
(/ (* 1 1) (/ (- x (/ 1.0 3.0)) (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
13.8b
(/ (- x (/ 1.0 3.0)) (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
26667×add-sqr-sqrt
16945×times-frac
7734×*-un-lft-identity
7661×difference-of-squares
4867×unswap-sqr
3558×swap-sqr
2832×add-cube-cbrt
2047×*-commutative
1678×distribute-lft-out--
1467×associate-*l*
975×associate-*r*
430×associate-/r*
104×associate-/r/
31×add-exp-log
30×associate-/l*
24×flip3-- flip--
21×div-inv
18×add-cbrt-cube
16×div-exp
8×1-exp prod-exp add-log-exp
7×cbrt-undiv
4×pow1 associate-/l/
3×frac-2neg clear-num
2×sub-neg diff-log cbrt-unprod
1×div-sub
Counts
4 → 6733
Calls
4 calls:
48.0ms
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
6.0ms
(- x (/ 1.0 3.0))
223.0ms
(/ (* 1 1) (/ (- x (/ 1.0 3.0)) (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
59.0ms
(/ (- x (/ 1.0 3.0)) (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))

series226.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
24.0ms
(- x (/ 1.0 3.0))
107.0ms
(/ (* 1 1) (/ (- x (/ 1.0 3.0)) (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
48.0ms
(/ (- x (/ 1.0 3.0)) (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))

simplify1.5s

Algorithm
egg-herbie
Counts
6745 → 6745
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
05002129896

prune1.7s

Filtered
6745 candidates to 511 candidates (7.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New674416745
Fresh101
Picked011
Done011
Total674536748

Merged error: 0b

Counts
6748 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
0.0b
(- x (/ 1.0 3.0))
0.0b
(/ 1 (- x (/ 1.0 3.0)))
13.9b
(* (/ 1 (- x (/ 1.0 3.0))) (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
374×add-sqr-sqrt
112×difference-of-squares
109×times-frac
79×*-un-lft-identity
61×unswap-sqr
53×associate-*r*
42×swap-sqr
32×add-cube-cbrt associate-*l*
29×*-commutative
24×frac-times associate-/r*
21×distribute-lft-out--
17×add-exp-log flip3-- flip--
12×associate-*l/ associate-/l*
11×add-cbrt-cube
8×add-log-exp
7×pow1
4×sub-neg frac-2neg div-exp prod-exp clear-num associate-/r/
2×cbrt-undiv distribute-rgt-in rec-exp distribute-lft-in diff-log 1-exp associate-*r/ cbrt-unprod div-inv
1×pow-flip pow-prod-down inv-pow
Counts
4 → 259
Calls
4 calls:
42.0ms
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
6.0ms
(- x (/ 1.0 3.0))
8.0ms
(/ 1 (- x (/ 1.0 3.0)))
75.0ms
(* (/ 1 (- x (/ 1.0 3.0))) (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))

series210.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
24.0ms
(- x (/ 1.0 3.0))
29.0ms
(/ 1 (- x (/ 1.0 3.0)))
107.0ms
(* (/ 1 (- x (/ 1.0 3.0))) (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))

simplify131.0ms

Algorithm
egg-herbie
Counts
271 → 271
Iterations

Useful iterations: 2 (101.0ms)

IterNodesCost
08562668
142752429
250032375

prune292.0ms

Filtered
271 candidates to 134 candidates (49.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2710271
Fresh000
Picked011
Done022
Total2713274

Merged error: 0b

Counts
274 → 3

regimes25.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
062
162

end0.0ms

sample184.0ms

Algorithm
intervals
Results
102.0ms8000×body80valid