Details

Time bar (total: 9.3s)

sample16.0ms

Algorithm
intervals
Results
7.0ms261×body80valid

simplify78.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0256
1676
21456
32416
43016
53556
63966
74446
85296
97446
1022186
1150016

prune2.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 19.0b

Counts
2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite69.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 expm1-log1p-u distribute-lft-in log1p-expm1-u 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 → 492
Calls
2 calls:
8.0ms
(* (+ t1 u) (+ t1 u))
24.0ms
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series97.0ms

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

simplify84.0ms

Algorithm
egg-herbie
Counts
498 → 498
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
015054781
150024610

prune445.0ms

Filtered
498 candidates to 211 candidates (57.6%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New4917498
Fresh000
Picked101
Done000
Total4927499

Merged error: 0b

Counts
499 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite55.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 expm1-log1p-u div-exp log1p-expm1-u add-log-exp
2×prod-exp cbrt-unprod unswap-sqr
1×neg-mul-1 pow-prod-down *-commutative distribute-rgt-neg-out
Counts
3 → 266
Calls
3 calls:
5.0ms
(/ t1 (+ t1 u))
5.0ms
(/ v (+ t1 u))
31.0ms
(* (/ v (+ t1 u)) (- (/ t1 (+ t1 u))))

series129.0ms

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

simplify47.0ms

Algorithm
egg-herbie
Counts
275 → 275
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010541894
150021792

prune319.0ms

Filtered
275 candidates to 162 candidates (41.1%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2705275
Fresh516
Picked101
Done000
Total2766282

Merged error: 0b

Counts
282 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite117.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 expm1-log1p-u log1p-expm1-u add-log-exp
1×neg-sub0 div-sub distribute-frac-neg
Counts
3 → 806
Calls
3 calls:
5.0ms
(/ v (+ t1 u))
6.0ms
(/ (+ t1 u) t1)
29.0ms
(/ (- (/ v (+ t1 u))) (/ (+ t1 u) t1))

series110.0ms

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

simplify155.0ms

Algorithm
egg-herbie
Counts
815 → 815
Iterations

Useful iterations: 1 (53.0ms)

IterNodesCost
0288010747
1500110544

prune1.2s

Filtered
815 candidates to 483 candidates (40.7%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New8132815
Fresh235
Picked011
Done000
Total8156821

Merged error: 0b

Counts
821 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ t1 u))
0.6b
(cbrt (+ t1 u))
0.6b
(cbrt (+ t1 u))
2.7b
(/ (- (/ (cbrt v) (+ t1 u))) (/ (cbrt (+ t1 u)) t1))

rewrite280.0ms

Algorithm
rewrite-expression-head
Rules
4213×times-frac
2753×*-un-lft-identity
1729×add-sqr-sqrt add-cube-cbrt
1423×cbrt-prod
780×distribute-lft-neg-in distribute-rgt-neg-in
512×distribute-lft-out
119×associate-/r/
118×div-inv
77×associate-/l*
56×flip3-+ flip-+
32×associate-/r*
26×neg-mul-1
15×associate-/l/
13×distribute-neg-frac
11×add-cbrt-cube
9×add-exp-log
8×cbrt-div
5×cbrt-undiv
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg pow1/3 div-exp clear-num
1×neg-sub0 div-sub distribute-frac-neg
Counts
4 → 1784
Calls
4 calls:
3.0ms
(cbrt (+ t1 u))
3.0ms
(cbrt (+ t1 u))
3.0ms
(cbrt (+ t1 u))
54.0ms
(/ (- (/ (cbrt v) (+ t1 u))) (/ (cbrt (+ t1 u)) t1))

series776.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(cbrt (+ t1 u))
274.0ms
(cbrt (+ t1 u))
135.0ms
(cbrt (+ t1 u))
231.0ms
(/ (- (/ (cbrt v) (+ t1 u))) (/ (cbrt (+ t1 u)) t1))

simplify322.0ms

Algorithm
egg-herbie
Counts
1796 → 1796
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
0500133666

prune4.6s

Filtered
1796 candidates to 1189 candidates (33.8%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New179601796
Fresh044
Picked011
Done011
Total179661802

Merged error: 0b

Counts
1802 → 6

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

sample373.0ms

Algorithm
intervals
Results
213.0ms8273×body80valid