Details

Time bar (total: 6.4s)

sample16.0ms

Algorithm
intervals
Results
8.0ms261×body80valid

simplify72.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 (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

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite65.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))
24.0ms
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series90.0ms

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

simplify85.0ms

Algorithm
egg-herbie
Counts
494 → 494
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
014964762
150014590

prune420.0ms

Filtered
494 candidates to 207 candidates (58.1%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New4877494
Fresh000
Picked101
Done000
Total4887495

Merged error: 0b

Counts
495 → 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))))

rewrite52.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
(/ t1 (+ t1 u))
5.0ms
(/ v (+ t1 u))
30.0ms
(* (/ v (+ t1 u)) (- (/ t1 (+ t1 u))))

series130.0ms

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

simplify46.0ms

Algorithm
egg-herbie
Counts
269 → 269
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010451868
150011767

prune296.0ms

Filtered
269 candidates to 156 candidates (42.0%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2645269
Fresh516
Picked101
Done000
Total2706276

Merged error: 0b

Counts
276 → 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))

rewrite103.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)
28.0ms
(/ (- (/ v (+ t1 u))) (/ (+ t1 u) t1))

series110.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(/ v (+ t1 u))
22.0ms
(/ (+ t1 u) t1)
60.0ms
(/ (- (/ v (+ t1 u))) (/ (+ t1 u) t1))

simplify151.0ms

Algorithm
egg-herbie
Counts
809 → 809
Iterations

Useful iterations: 1 (50.0ms)

IterNodesCost
0287110737
1500210548

prune1.1s

Filtered
809 candidates to 477 candidates (41.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New8072809
Fresh235
Picked011
Done000
Total8096815

Merged error: 0b

Counts
815 → 6

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

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
2025×times-frac
1345×*-un-lft-identity
837×add-sqr-sqrt add-cube-cbrt
703×cbrt-prod
254×distribute-lft-out
67×associate-/r/
58×div-inv
43×associate-/l*
32×associate-/r*
30×flip3-+ flip-+
28×add-cbrt-cube
21×cbrt-undiv
16×add-exp-log
15×associate-/l/
8×cbrt-div div-exp
4×pow1 add-log-exp
3×frac-2neg pow1/3 clear-num
Counts
4 → 898
Calls
4 calls:
3.0ms
(cbrt (+ t1 u))
3.0ms
(cbrt (+ t1 u))
3.0ms
(cbrt (+ t1 u))
32.0ms
(/ (/ (cbrt v) (+ t1 u)) (/ (cbrt (+ t1 u)) t1))

series611.0ms

Counts
4 → 12
Calls
4 calls:
127.0ms
(cbrt (+ t1 u))
134.0ms
(cbrt (+ t1 u))
137.0ms
(cbrt (+ t1 u))
214.0ms
(/ (/ (cbrt v) (+ t1 u)) (/ (cbrt (+ t1 u)) t1))

simplify194.0ms

Algorithm
egg-herbie
Counts
910 → 910
Iterations

Useful iterations: 1 (58.0ms)

IterNodesCost
0316615521
1500115358

prune2.2s

Filtered
910 candidates to 602 candidates (33.8%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New9100910
Fresh044
Picked011
Done011
Total9106916

Merged error: 0b

Counts
916 → 6

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

sample402.0ms

Algorithm
intervals
Results
226.0ms8273×body80valid