Details

Time bar (total: 4.5s)

sample29.0ms

Algorithm
intervals
Results
8.0ms56×body1280valid
4.0ms36×body640valid
4.0ms131×body80valid
2.0ms26×body320valid
0.0ms7×body160valid

simplify18.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0126
1166
2196
3216
4276
5396
6586
7796
81076
91606
102776
113036
123036

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 29.7b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
99×*-un-lft-identity
52×times-frac
45×add-sqr-sqrt
23×add-cube-cbrt
18×distribute-lft-out distribute-lft-out--
9×associate-/r* difference-of-squares
7×add-exp-log add-cbrt-cube associate-/l*
5×add-log-exp
4×associate-/r/
3×pow1
2×cbrt-undiv flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ div-inv associate-/l/
1×sub-neg diff-log frac-sub
Counts
3 → 104
Calls
3 calls:
7.0ms
(/ (+ x 1.0) (- x 1.0))
5.0ms
(/ x (+ x 1.0))
28.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series15.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(/ (+ x 1.0) (- x 1.0))
2.0ms
(/ x (+ x 1.0))
7.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify41.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0392760
11379726
25001716

prune175.0ms

Filtered
76 candidates to 113 candidates (-48.7%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1085113
Fresh000
Picked101
Done000
Total1095114

Merged error: 0.1b

Counts
114 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
354×*-un-lft-identity
216×times-frac
190×add-sqr-sqrt
104×unpow-prod-down cube-prod
78×add-cube-cbrt
66×distribute-lft-out
61×distribute-lft-out--
44×difference-of-squares
24×swap-sqr
22×add-exp-log add-cbrt-cube
18×associate-*r* associate-*l*
16×associate-/r/
14×sqr-pow
13×pow1
8×div-inv
6×cbrt-undiv pow-unpow flip3-+ div-exp flip-+ add-log-exp
4×cube-div pow-exp prod-exp cbrt-unprod rem-cube-cbrt unswap-sqr
3×flip3-- flip--
2×cube-mult pow-to-exp pow-pow unpow3
1×difference-cubes pow2 frac-times sub-neg pow-plus diff-log associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up frac-sub
Counts
4 → 303
Calls
4 calls:
18.0ms
(* (/ x (+ x 1.0)) (/ x (+ x 1.0)))
9.0ms
(pow (/ (+ x 1.0) (- x 1.0)) 3)
7.0ms
(pow (/ x (+ x 1.0)) 3)
98.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))

series24.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* (/ x (+ x 1.0)) (/ x (+ x 1.0)))
3.0ms
(pow (/ (+ x 1.0) (- x 1.0)) 3)
3.0ms
(pow (/ x (+ x 1.0)) 3)
14.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))

simplify67.0ms

Algorithm
egg-herbie
Counts
315 → 315
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
011642932
150022690

prune607.0ms

Filtered
141 candidates to 315 candidates (-123.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New3123315
Fresh224
Picked101
Done000
Total3155320

Merged error: 0.0b

Counts
320 → 5

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (/ x (+ x 1.0)) 6)
0.0b
(pow (/ (+ x 1.0) (- x 1.0)) 6)
0.1b
(pow (pow (/ x (+ x 1.0)) 3) 3)
2.1b
(- (pow (pow (/ x (+ x 1.0)) 3) 3) (pow (pow (/ (+ x 1.0) (- x 1.0)) 3) 3))

rewrite450.0ms

Algorithm
rewrite-expression-head
Rules
853×*-un-lft-identity
694×unpow-prod-down
650×cube-prod
487×add-sqr-sqrt
448×times-frac
217×distribute-lft-out--
200×difference-of-squares
148×distribute-lft-out
89×sqr-pow
59×add-cube-cbrt
14×add-exp-log
12×associate-/r/
10×pow-exp
9×pow-unpow
6×pow1 cube-div div-inv add-log-exp
5×flip3-+ add-cbrt-cube flip-+
4×pow-to-exp
3×cube-mult pow-pow unpow3 div-exp
2×flip3-- flip--
1×difference-cubes sub-neg diff-log frac-sub rem-cube-cbrt
Counts
4 → 538
Calls
4 calls:
7.0ms
(pow (/ x (+ x 1.0)) 6)
9.0ms
(pow (/ (+ x 1.0) (- x 1.0)) 6)
14.0ms
(pow (pow (/ x (+ x 1.0)) 3) 3)
361.0ms
(- (pow (pow (/ x (+ x 1.0)) 3) 3) (pow (pow (/ (+ x 1.0) (- x 1.0)) 3) 3))

series69.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(pow (/ x (+ x 1.0)) 6)
3.0ms
(pow (/ (+ x 1.0) (- x 1.0)) 6)
7.0ms
(pow (pow (/ x (+ x 1.0)) 3) 3)
55.0ms
(- (pow (pow (/ x (+ x 1.0)) 3) 3) (pow (pow (/ (+ x 1.0) (- x 1.0)) 3) 3))

simplify117.0ms

Algorithm
egg-herbie
Counts
550 → 550
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
012438010
150027843

prune1.2s

Filtered
131 candidates to 550 candidates (-319.8%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New5491550
Fresh134
Picked011
Done000
Total5505555

Merged error: 0.0b

Counts
555 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (neg 1.0) (pow x 2)) (/ 3.0 x))
0.3b
(/ 3.0 (pow x 3))
0.3b
(/ (neg 1.0) (pow x 2))
6.6b
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
143×times-frac
120×add-sqr-sqrt
105×*-un-lft-identity
78×add-cube-cbrt
48×unpow-prod-down
29×distribute-rgt-neg-in
27×distribute-lft-neg-in
20×associate-/r*
18×sqr-pow
15×difference-of-squares
14×add-exp-log
13×cube-prod associate-/l* unpow2
11×add-log-exp
10×distribute-lft-out--
9×neg-mul-1
8×add-cbrt-cube
6×div-exp
5×frac-sub
4×pow1 cube-mult diff-log unpow3
3×sub-neg flip3-- flip--
2×cbrt-undiv associate--l- neg-sub0 pow-to-exp frac-2neg div-sub pow-exp associate--l+ clear-num div-inv
1×distribute-frac-neg
Counts
4 → 234
Calls
4 calls:
54.0ms
(- (/ (neg 1.0) (pow x 2)) (/ 3.0 x))
5.0ms
(/ 3.0 (pow x 3))
7.0ms
(/ (neg 1.0) (pow x 2))
79.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))

series20.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(- (/ (neg 1.0) (pow x 2)) (/ 3.0 x))
3.0ms
(/ 3.0 (pow x 3))
3.0ms
(/ (neg 1.0) (pow x 2))
8.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))

simplify99.0ms

Algorithm
egg-herbie
Counts
246 → 246
Iterations

Useful iterations: 2 (77.0ms)

IterNodesCost
07381746
134171585
250011567

prune293.0ms

Filtered
129 candidates to 246 candidates (-90.7%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2460246
Fresh033
Picked011
Done011
Total2465251

Merged error: 0.0b

Counts
251 → 5

regimes57.0ms

Accuracy

100% (0.0b remaining)

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

bsearch33.0ms

Steps
ItersRangePoint
10
2872.6372031135757
3.749647458700972e+18
11780.749313135173
7
-10629.839558496014
-522.1368722912733
-10492.950302238845

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05253
15253

end0.0ms

sample723.0ms

Algorithm
intervals
Results
248.0ms1734×body1280valid
143.0ms1243×body640valid
127.0ms4079×body80valid
52.0ms614×body320valid
21.0ms330×body160valid

Profiling

Loading profile data...