Details

Time bar (total: 3.2s)

sample23.0ms

Algorithm
intervals
Results
8.0ms52×body1280valid
4.0ms45×body640valid
3.0ms132×body80valid
1.0ms16×body320valid
0.0ms11×body160valid

simplify21.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

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

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite49.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:
5.0ms
(/ x (+ x 1.0))
8.0ms
(/ (+ x 1.0) (- x 1.0))
31.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series243.0ms

Counts
3 → 9
Calls
3 calls:
67.0ms
(/ x (+ x 1.0))
39.0ms
(/ (+ x 1.0) (- x 1.0))
136.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify56.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0392760
11379726
25001716

prune198.0ms

Filtered
113 candidates to 76 candidates (67.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1094113
Fresh000
Picked101
Done000
Total1104114

Merged error: 0.0b

Counts
114 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
21.3b
(- (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3
1×sub-neg flip3-- diff-log associate-*r/ frac-sub flip--
Counts
4 → 46
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
23.0ms
(- (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))

series694.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(cbrt x)
179.0ms
(cbrt x)
189.0ms
(cbrt x)
144.0ms
(- (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))

simplify105.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0186376
1637335
23340317
35002317

prune120.0ms

Filtered
58 candidates to 48 candidates (82.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New58058
Fresh033
Picked011
Done000
Total58462

Merged error: 0.0b

Counts
62 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- x 1.0))
0.3b
(cbrt (- x 1.0))
0.3b
(cbrt (- x 1.0))
21.3b
(- (/ x (+ x 1.0)) (* (/ 1 (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (/ (+ x 1.0) (cbrt (- x 1.0)))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
13×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
6×cbrt-div add-log-exp
4×pow1 add-exp-log flip3-- add-cbrt-cube flip--
3×pow1/3 frac-sub distribute-lft-out-- difference-of-squares
1×frac-times sub-neg diff-log associate-*r/ associate-*l/
Counts
4 → 60
Calls
4 calls:
7.0ms
(cbrt (- x 1.0))
3.0ms
(cbrt (- x 1.0))
3.0ms
(cbrt (- x 1.0))
9.0ms
(- (/ x (+ x 1.0)) (* (/ 1 (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (/ (+ x 1.0) (cbrt (- x 1.0)))))

series474.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(cbrt (- x 1.0))
99.0ms
(cbrt (- x 1.0))
99.0ms
(cbrt (- x 1.0))
176.0ms
(- (/ x (+ x 1.0)) (* (/ 1 (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (/ (+ x 1.0) (cbrt (- x 1.0)))))

simplify44.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0362739
11374681
25001623

prune180.0ms

Filtered
72 candidates to 59 candidates (81.9%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New72072
Fresh022
Picked011
Done011
Total72476

Merged error: 0.0b

Counts
76 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(* x (+ 3.0 (* x 1.0)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ add-log-exp unswap-sqr
Counts
1 → 22
Calls
1 calls:
5.0ms
(* x (+ 3.0 (* x 1.0)))

series67.0ms

Counts
1 → 3
Calls
1 calls:
67.0ms
(* x (+ 3.0 (* x 1.0)))

simplify105.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0144117
1680103
23770103
35002103

prune26.0ms

Filtered
25 candidates to 16 candidates (64.0%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New25025
Fresh011
Picked011
Done022
Total25429

Merged error: 0.0b

Counts
29 → 4

regimes29.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 29.4b

bsearch79.0ms

Steps
ItersRangePoint
9
0.06406876111163662
2027774.326345067
7909.096732685726
8
-27949.393755151574
-3.7752751361666412
-6052.748709427042

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03822
13822

end0.0ms

sample547.0ms

Algorithm
intervals
Results
189.0ms1665×body1280valid
107.0ms1235×body640valid
97.0ms4147×body80valid
47.0ms630×body320valid
14.0ms323×body160valid