Details

Time bar (total: 3.0s)

sample17.0ms

Algorithm
intervals
Results
4.0ms48×body640valid
3.0ms141×body80valid
3.0ms47×body320valid
1.0ms20×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1155
2155

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: 12.8b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1.0 (- x 1.0))
0.0b
(/ 1.0 (+ x 1.0))
3.2b
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
9×frac-sub
8×frac-2neg clear-num
6×associate-/r/
4×div-inv
3×flip--
2×flip3-- flip-+ distribute-lft-out--
1×sub-neg flip3-+
Counts
3 → 25
Calls
3 calls:
2.0ms
(/ 1.0 (- x 1.0))
3.0ms
(/ 1.0 (+ x 1.0))
6.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series228.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(/ 1.0 (- x 1.0))
31.0ms
(/ 1.0 (+ x 1.0))
169.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

simplify38.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0295261
11107229
25001220

prune68.0ms

Filtered
34 candidates to 26 candidates (76.5%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New32234
Fresh000
Picked101
Done000
Total33235

Merged error: 0.4b

Counts
35 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (- (* 1.0 1.0) (* x 1.0)))
0.0b
(/ 1.0 (+ (pow x 3) (pow 1.0 3)))
10.2b
(- (* (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (/ 1.0 (- x 1.0)))
19.0b
(* (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
42×frac-sub
32×frac-times
27×frac-2neg clear-num
23×flip3-+ flip-+
16×associate-*l/
13×associate-/r* sum-cubes
10×associate-+r+
8×distribute-rgt-in distribute-lft-in associate-*r/ associate--l+
6×sub-neg
5×+-commutative
4×associate-*l* associate-/r/ div-inv
1×associate-+r- flip3-- *-commutative flip-- distribute-lft-out--
Counts
4 → 93
Calls
4 calls:
7.0ms
(+ (* x x) (- (* 1.0 1.0) (* x 1.0)))
4.0ms
(/ 1.0 (+ (pow x 3) (pow 1.0 3)))
19.0ms
(- (* (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (/ 1.0 (- x 1.0)))
12.0ms
(* (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))

series440.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(+ (* x x) (- (* 1.0 1.0) (* x 1.0)))
71.0ms
(/ 1.0 (+ (pow x 3) (pow 1.0 3)))
285.0ms
(- (* (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (/ 1.0 (- x 1.0)))
57.0ms
(* (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))

simplify49.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010392365
150012235

prune383.0ms

Filtered
105 candidates to 88 candidates (83.8%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1041105
Fresh101
Picked011
Done000
Total1052107

Merged error: 0.4b

Counts
107 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))
0.2b
(/ 1 (pow x 6))
0.2b
(/ 1 (pow x 4))
0.4b
(/ 1 (pow x 2))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
524×associate-*r/
516×frac-add
247×clear-num
244×un-div-inv
162×associate-/r*
125×frac-2neg sqr-pow
37×unpow2
7×flip3-+ flip-+
6×div-inv
5×distribute-lft-out
3×pow-to-exp rec-exp pow-flip associate-*r* inv-pow
2×+-commutative associate-+r+ *-commutative
1×distribute-rgt-out
Counts
4 → 294
Calls
4 calls:
21.0ms
(+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))
3.0ms
(/ 1 (pow x 6))
3.0ms
(/ 1 (pow x 4))
3.0ms
(/ 1 (pow x 2))

series132.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))
43.0ms
(/ 1 (pow x 6))
26.0ms
(/ 1 (pow x 4))
16.0ms
(/ 1 (pow x 2))

simplify100.0ms

Algorithm
egg-herbie
Counts
306 → 306
Iterations

Useful iterations: 1 (36.0ms)

IterNodesCost
029065715
150025091

prune222.0ms

Filtered
306 candidates to 54 candidates (17.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New3042306
Fresh000
Picked101
Done011
Total3053308

Merged error: 0.0b

Counts
308 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 2.0 (/ 1 (pow x 6)))
0.0b
(+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (pow x (- 2))) (* 2.0 (/ 1 (pow x 4)))))
0.2b
(/ 1 (pow x 6))
0.2b
(/ 1 (pow x 4))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
228×associate-*r/ frac-add
114×un-div-inv
80×clear-num
72×pow-neg
41×frac-2neg associate-/r* sqr-pow
36×neg-sub0 pow-sub
7×flip3-+ flip-+
3×*-commutative div-inv distribute-lft-out
2×+-commutative pow-to-exp rec-exp associate-+r+ pow-flip inv-pow
1×distribute-rgt-out associate-*r*
Counts
4 → 149
Calls
4 calls:
3.0ms
(* 2.0 (/ 1 (pow x 6)))
16.0ms
(+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (pow x (- 2))) (* 2.0 (/ 1 (pow x 4)))))
3.0ms
(/ 1 (pow x 6))
3.0ms
(/ 1 (pow x 4))

series169.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* 2.0 (/ 1 (pow x 6)))
51.0ms
(+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (pow x (- 2))) (* 2.0 (/ 1 (pow x 4)))))
44.0ms
(/ 1 (pow x 6))
27.0ms
(/ 1 (pow x 4))

simplify136.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 2 (101.0ms)

IterNodesCost
012812813
137172489
250012357

prune149.0ms

Filtered
161 candidates to 38 candidates (23.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1601161
Fresh101
Picked011
Done011
Total1613164

Merged error: 0.0b

Counts
164 → 3

regimes30.0ms

Accuracy

100% (0.0b remaining)

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

bsearch108.0ms

Steps
ItersRangePoint
9
0.09117784756913819
2697524.489058797
190.79256050286557
10
-1421.6155834850151
-1.485944467815708e-07
-207.4990042199672

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05625
16725
27925
38025
48025

end0.0ms

sample477.0ms

Algorithm
intervals
Results
174.0ms1925×body640valid
100.0ms4194×body80valid
81.0ms1204×body320valid
32.0ms677×body160valid