Details

Time bar (total: 4.2s)

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

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: 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)))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
746×*-un-lft-identity
589×times-frac
558×add-sqr-sqrt
410×add-cube-cbrt
378×prod-diff
110×frac-sub
103×associate-/r*
89×distribute-lft-out--
87×distribute-lft-out
86×associate-/r/
72×difference-of-squares
69×associate-/l*
44×div-inv
24×flip-+
23×frac-2neg flip3-+ clear-num
21×flip--
20×flip3--
18×fma-neg
7×add-exp-log add-cbrt-cube
5×add-log-exp
3×pow1 expm1-log1p-u log1p-expm1-u
2×cbrt-undiv div-exp
1×sub-neg diff-log
Counts
3 → 613
Calls
3 calls:
5.0ms
(/ 1.0 (- x 1.0))
5.0ms
(/ 1.0 (+ x 1.0))
44.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series232.0ms

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

simplify155.0ms

Algorithm
egg-herbie
Counts
622 → 622
Iterations

Useful iterations: 1 (40.0ms)

IterNodesCost
0203314974
1500112366

prune846.0ms

Filtered
622 candidates to 321 candidates (51.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New6202622
Fresh000
Picked101
Done000
Total6212623

Merged error: 0.8b

Counts
623 → 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
1186×add-sqr-sqrt
794×*-un-lft-identity
561×times-frac
490×difference-of-squares
305×distribute-lft-out--
272×associate-*r*
216×swap-sqr
214×*-commutative unswap-sqr
174×associate-*l*
138×add-cube-cbrt
75×distribute-lft-out
33×associate-/r*
29×prod-diff
17×associate-/l*
14×add-log-exp
11×associate--l+
8×frac-sub
7×add-exp-log flip3-- add-cbrt-cube flip--
6×diff-log associate-*r/ associate-/l/
5×fma-neg
4×flip3-+ flip-+
2×pow1 cbrt-undiv expm1-log1p-u sub-neg div-exp sum-log associate-/r/ log1p-expm1-u associate--r+
1×+-commutative associate--l- frac-2neg prod-exp clear-num cbrt-unprod div-inv
Counts
2 → 700
Calls
2 calls:
51.0ms
(/ (* 1.0 (- (- x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
11.0ms
(- (- x 1.0) (+ x 1.0))

series66.0ms

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

simplify128.0ms

Algorithm
egg-herbie
Counts
706 → 706
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
013478289
150017932

prune345.0ms

Filtered
706 candidates to 156 candidates (22.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New7042706
Fresh101
Picked101
Done000
Total7062708

Merged error: 0.7b

Counts
708 → 2

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite96.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 expm1-log1p-u flip3-- frac-2neg distribute-frac-neg prod-exp clear-num distribute-rgt-neg-out flip-- cbrt-unprod log1p-expm1-u div-inv add-log-exp
Counts
1 → 698
Calls
1 calls:
38.0ms
(/ (* 1.0 (- 2.0)) (- (* x x) (* 1.0 1.0)))

series61.0ms

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

simplify114.0ms

Algorithm
egg-herbie
Counts
701 → 701
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
013156621
150016374

prune309.0ms

Filtered
701 candidates to 148 candidates (21.1%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New6974701
Fresh101
Picked011
Done000
Total6985703

Merged error: 0b

Counts
703 → 5

localize7.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))

rewrite94.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 expm1-log1p-u prod-exp distribute-rgt-neg-out cbrt-unprod log1p-expm1-u add-log-exp
1×flip3-- flip--
Counts
2 → 662
Calls
2 calls:
15.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:
28.0ms
(/ (* 1.0 (- 2.0)) (+ x 1.0))
77.0ms
(/ (/ (* 1.0 (- 2.0)) (+ x 1.0)) (- x 1.0))

simplify119.0ms

Algorithm
egg-herbie
Counts
668 → 668
Iterations

Useful iterations: 1 (40.0ms)

IterNodesCost
019317674
150017549

prune770.0ms

Filtered
668 candidates to 375 candidates (56.1%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New6680668
Fresh033
Picked011
Done011
Total6685673

Merged error: 0b

Counts
673 → 5

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

sample447.0ms

Algorithm
intervals
Results
152.0ms1841×body640valid
101.0ms4315×body80valid
75.0ms1214×body320valid
29.0ms630×body160valid