Details

Time bar (total: 4.7s)

sample16.0ms

Algorithm
intervals
Results
7.0ms269×body80valid

simplify73.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0256
1656
21326
32086
42506
52876
63076
73476
84206
95736
1018836
1150016

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

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (+ t1 u) (+ t1 u))
20.3b
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
505×*-un-lft-identity
380×times-frac
295×add-sqr-sqrt
294×associate-*l*
211×add-cube-cbrt
147×associate-*r*
126×swap-sqr distribute-lft-out
63×distribute-lft-neg-in distribute-rgt-neg-in
42×*-commutative unswap-sqr
21×neg-mul-1
20×associate-/r*
19×associate-/l*
16×add-exp-log add-cbrt-cube
12×flip3-+ flip-+
9×pow1
8×frac-times associate-/r/
5×prod-exp cbrt-unprod
4×cbrt-undiv associate-*r/ div-exp associate-*l/
2×+-commutative distribute-rgt-in distribute-lft-in add-log-exp
1×distribute-lft-neg-out pow2 frac-2neg pow-plus distribute-frac-neg pow-prod-down clear-num pow-sqr pow-prod-up div-inv
Counts
2 → 488
Calls
2 calls:
8.0ms
(* (+ t1 u) (+ t1 u))
30.0ms
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series90.0ms

Counts
2 → 6
Calls
2 calls:
14.0ms
(* (+ t1 u) (+ t1 u))
76.0ms
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

simplify80.0ms

Algorithm
egg-herbie
Counts
494 → 494
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
014984762
150014590

prune612.0ms

Filtered
494 candidates to 207 candidates (41.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New48410494
Fresh000
Picked101
Done000
Total48510495

Merged error: 0.0b

Counts
495 → 10

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ v (+ t1 u))
0.0b
(/ t1 (+ t1 u))
1.4b
(* (/ v (+ t1 u)) (- (/ t1 (+ t1 u))))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
168×*-un-lft-identity
110×distribute-neg-frac
100×frac-times
96×associate-/r*
95×add-sqr-sqrt
90×add-cube-cbrt
72×associate-/l*
61×times-frac
40×associate-*r*
39×distribute-lft-out
24×frac-2neg clear-num
18×distribute-lft-neg-in distribute-rgt-neg-in associate-*l*
12×add-exp-log add-cbrt-cube
10×associate-*r/ associate-*l/ associate-/r/
5×pow1 flip3-+ flip-+ div-inv
3×cbrt-undiv div-exp add-log-exp
2×prod-exp cbrt-unprod unswap-sqr
1×neg-mul-1 pow-prod-down *-commutative distribute-rgt-neg-out
Counts
3 → 260
Calls
3 calls:
5.0ms
(/ v (+ t1 u))
5.0ms
(/ t1 (+ t1 u))
29.0ms
(* (/ v (+ t1 u)) (- (/ t1 (+ t1 u))))

series122.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(/ v (+ t1 u))
44.0ms
(/ t1 (+ t1 u))
54.0ms
(* (/ v (+ t1 u)) (- (/ t1 (+ t1 u))))

simplify45.0ms

Algorithm
egg-herbie
Counts
269 → 269
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010461868
150011767

prune420.0ms

Filtered
269 candidates to 156 candidates (58.0%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2645269
Fresh819
Picked101
Done000
Total2736279

Merged error: 0b

Counts
279 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ v (+ t1 u))
0.0b
(/ (+ t1 u) t1)
1.3b
(/ (- (/ v (+ t1 u))) (/ (+ t1 u) t1))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
1564×times-frac
1112×*-un-lft-identity
642×add-sqr-sqrt add-cube-cbrt
306×distribute-lft-neg-in distribute-rgt-neg-in
235×distribute-lft-out
82×associate-/r/
78×div-inv
54×associate-/l*
37×flip3-+ flip-+
30×associate-/r*
17×neg-mul-1
14×associate-/l/
12×add-exp-log add-cbrt-cube
10×distribute-neg-frac
5×cbrt-undiv frac-2neg div-exp clear-num
3×pow1 add-log-exp
1×neg-sub0 div-sub distribute-frac-neg
Counts
3 → 800
Calls
3 calls:
5.0ms
(/ v (+ t1 u))
5.0ms
(/ (+ t1 u) t1)
29.0ms
(/ (- (/ v (+ t1 u))) (/ (+ t1 u) t1))

series112.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(/ v (+ t1 u))
21.0ms
(/ (+ t1 u) t1)
62.0ms
(/ (- (/ v (+ t1 u))) (/ (+ t1 u) t1))

simplify142.0ms

Algorithm
egg-herbie
Counts
809 → 809
Iterations

Useful iterations: 1 (46.0ms)

IterNodesCost
0287210737
1500110548

prune1.5s

Filtered
809 candidates to 477 candidates (59.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New8081809
Fresh145
Picked011
Done000
Total8096815

Merged error: 0b

Counts
815 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ v (+ t1 u))
0.0b
(/ 1 (+ t1 u))
0.9b
(* (* t1 (/ v (+ t1 u))) (- (/ 1 (+ t1 u))))
7.2b
(* t1 (/ v (+ t1 u)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
210×*-un-lft-identity
130×associate-*r/ distribute-neg-frac
127×add-sqr-sqrt
120×frac-times
108×add-cube-cbrt associate-/r*
93×associate-/l*
76×associate-*r*
75×times-frac
45×distribute-lft-out
39×clear-num
34×associate-*l*
27×frac-2neg
24×add-exp-log un-div-inv
22×add-cbrt-cube
18×distribute-lft-neg-in distribute-rgt-neg-in
12×pow1 associate-*l/ associate-/r/
9×unswap-sqr
7×prod-exp cbrt-unprod
6×flip3-+ flip-+ div-inv
5×div-exp
4×cbrt-undiv pow-prod-down add-log-exp
3×*-commutative
1×neg-mul-1 rec-exp pow-flip 1-exp distribute-rgt-neg-out inv-pow
Counts
4 → 348
Calls
4 calls:
5.0ms
(/ v (+ t1 u))
5.0ms
(/ 1 (+ t1 u))
43.0ms
(* (* t1 (/ v (+ t1 u))) (- (/ 1 (+ t1 u))))
10.0ms
(* t1 (/ v (+ t1 u)))

series190.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ v (+ t1 u))
32.0ms
(/ 1 (+ t1 u))
74.0ms
(* (* t1 (/ v (+ t1 u))) (- (/ 1 (+ t1 u))))
53.0ms
(* t1 (/ v (+ t1 u)))

simplify55.0ms

Algorithm
egg-herbie
Counts
360 → 360
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
012562507
150012223

prune509.0ms

Filtered
360 candidates to 185 candidates (51.4%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New3600360
Fresh044
Picked011
Done011
Total3606366

Merged error: 0b

Counts
366 → 6

regimes70.0ms

Accuracy

0% (1.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0136
1136

end0.0ms

sample378.0ms

Algorithm
intervals
Results
216.0ms8254×body80valid