Details

Time bar (total: 3.5s)

sample17.0ms

Algorithm
intervals
Results
5.0ms66×body640valid
3.0ms133×body80valid
2.0ms33×body320valid
1.0ms24×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1155
2155

prune2.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: 15.9b

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))
2.3b
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
168×*-un-lft-identity
112×add-sqr-sqrt
110×frac-sub
103×associate-/r*
72×add-cube-cbrt
69×associate-/l*
55×times-frac
35×distribute-lft-out--
23×frac-2neg clear-num
21×distribute-lft-out
18×difference-of-squares
7×add-exp-log add-cbrt-cube
6×associate-/r/
5×add-log-exp
4×div-inv
3×pow1 flip--
2×cbrt-undiv flip3-- div-exp flip-+
1×sub-neg flip3-+ diff-log
Counts
3 → 211
Calls
3 calls:
5.0ms
(/ 1.0 (- x 1.0))
5.0ms
(/ 1.0 (+ x 1.0))
38.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series242.0ms

Counts
3 → 9
Calls
3 calls:
29.0ms
(/ 1.0 (- x 1.0))
26.0ms
(/ 1.0 (+ x 1.0))
187.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

simplify59.0ms

Algorithm
egg-herbie
Counts
220 → 220
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
011482299
150012177

prune266.0ms

Filtered
220 candidates to 129 candidates (58.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New2182220
Fresh000
Picked101
Done000
Total2192221

Merged error: 0.8b

Counts
221 → 2

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (* 1.0 (- (- x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
1.7b
(- (- x 1.0) (+ x 1.0))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
1160×add-sqr-sqrt
758×*-un-lft-identity
561×times-frac
485×difference-of-squares
300×distribute-lft-out--
272×associate-*r*
216×swap-sqr
214×*-commutative unswap-sqr
174×associate-*l*
122×add-cube-cbrt
70×distribute-lft-out
33×associate-/r*
17×associate-/l*
14×add-log-exp
8×frac-sub
7×add-exp-log flip3-- add-cbrt-cube flip--
6×diff-log associate-*r/ associate-/l/
4×flip3-+ flip-+
2×pow1 cbrt-undiv sub-neg div-exp associate--l+ sum-log associate-/r/ associate--r+
1×+-commutative associate--l- frac-2neg prod-exp clear-num cbrt-unprod div-inv
Counts
2 → 662
Calls
2 calls:
47.0ms
(/ (* 1.0 (- (- x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
9.0ms
(- (- x 1.0) (+ x 1.0))

series70.0ms

Counts
2 → 6
Calls
2 calls:
62.0ms
(/ (* 1.0 (- (- x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
8.0ms
(- (- x 1.0) (+ x 1.0))

simplify125.0ms

Algorithm
egg-herbie
Counts
668 → 668
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
012357855
150027648

prune317.0ms

Filtered
668 candidates to 137 candidates (20.5%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New6662668
Fresh101
Picked101
Done000
Total6682670

Merged error: 0.7b

Counts
670 → 2

localize9.0ms

Local error

Found 1 expressions with local error:

0.8b
(/ (* 1.0 (- 2.0)) (- (* x x) (* 1.0 1.0)))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
1259×add-sqr-sqrt
627×times-frac
500×difference-of-squares
431×*-un-lft-identity
340×associate-*r*
240×swap-sqr
234×*-commutative unswap-sqr
191×add-cube-cbrt
182×associate-*l*
102×distribute-lft-neg-in distribute-rgt-neg-in
100×distribute-lft-out--
34×neg-mul-1
33×associate-/r*
19×associate-/l*
6×add-exp-log add-cbrt-cube
2×cbrt-undiv div-exp associate-/r/
1×pow1 flip3-- frac-2neg distribute-frac-neg prod-exp clear-num distribute-rgt-neg-out flip-- cbrt-unprod div-inv add-log-exp
Counts
1 → 696
Calls
1 calls:
38.0ms
(/ (* 1.0 (- 2.0)) (- (* x x) (* 1.0 1.0)))

series66.0ms

Counts
1 → 3
Calls
1 calls:
66.0ms
(/ (* 1.0 (- 2.0)) (- (* x x) (* 1.0 1.0)))

simplify127.0ms

Algorithm
egg-herbie
Counts
699 → 699
Iterations

Useful iterations: 1 (36.0ms)

IterNodesCost
013016608
150016351

prune301.0ms

Filtered
699 candidates to 146 candidates (20.9%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New6954699
Fresh101
Picked011
Done000
Total6965701

Merged error: 0b

Counts
701 → 5

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (* 1.0 (- 2.0)) (+ x 1.0))
0.1b
(/ (/ (* 1.0 (- 2.0)) (+ x 1.0)) (- x 1.0))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
942×times-frac
812×*-un-lft-identity
602×add-sqr-sqrt
376×add-cube-cbrt
300×associate-*r*
135×distribute-lft-out
120×associate-/l*
90×distribute-lft-neg-in distribute-rgt-neg-in associate-*l*
83×distribute-lft-out-- difference-of-squares
30×neg-mul-1 *-commutative unswap-sqr
26×associate-/l/
16×add-exp-log associate-/r/ add-cbrt-cube
13×associate-/r*
8×div-inv
7×cbrt-undiv flip3-+ div-exp flip-+
3×frac-2neg distribute-frac-neg clear-num
2×pow1 prod-exp distribute-rgt-neg-out cbrt-unprod add-log-exp
1×flip3-- flip--
Counts
2 → 658
Calls
2 calls:
12.0ms
(/ (* 1.0 (- 2.0)) (+ x 1.0))
33.0ms
(/ (/ (* 1.0 (- 2.0)) (+ x 1.0)) (- x 1.0))

series105.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(/ (* 1.0 (- 2.0)) (+ x 1.0))
79.0ms
(/ (/ (* 1.0 (- 2.0)) (+ x 1.0)) (- x 1.0))

simplify125.0ms

Algorithm
egg-herbie
Counts
664 → 664
Iterations

Useful iterations: 1 (42.0ms)

IterNodesCost
019167655
150017528

prune783.0ms

Filtered
664 candidates to 371 candidates (55.9%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New6640664
Fresh033
Picked011
Done011
Total6645669

Merged error: 0b

Counts
669 → 5

regimes32.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0136
1196
2226
3226

end0.0ms

sample440.0ms

Algorithm
intervals
Results
152.0ms1841×body640valid
100.0ms4315×body80valid
73.0ms1214×body320valid
26.0ms630×body160valid