Details

Time bar (total: 7.7s)

sample17.0ms

Algorithm
intervals
Results
7.0ms276×body80valid

simplify66.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0174
1254
2494
3724
41054
51224
61394
71494
81564
91604
101644
112594
122974
133194
144054
154744
165324
176264
187024
197114
207114

prune4.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: 2.1b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- x y) (- z y))
2.1b
(* (/ (- x y) (- z y)) t)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
81×add-sqr-sqrt
76×*-un-lft-identity
51×times-frac
31×associate-*l*
28×add-cube-cbrt
24×distribute-lft-out-- difference-of-squares
15×associate-*l/
10×associate-/r* associate-/l*
9×add-exp-log add-cbrt-cube
4×pow1 flip3-- associate-/r/ flip-- associate-/l/
3×associate-*r*
2×cbrt-undiv frac-2neg div-exp prod-exp clear-num cbrt-unprod div-inv add-log-exp unswap-sqr
1×div-sub pow-prod-down *-commutative
Counts
2 → 116
Calls
2 calls:
8.0ms
(/ (- x y) (- z y))
14.0ms
(* (/ (- x y) (- z y)) t)

series155.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(/ (- x y) (- z y))
103.0ms
(* (/ (- x y) (- z y)) t)

simplify50.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
0390699
11549658
25002658

prune167.0ms

Filtered
122 candidates to 82 candidates (32.8%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1175122
Fresh000
Picked011
Done000
Total1176123

Merged error: 0b

Counts
123 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1 (- z y))
0.2b
(* (- x y) (/ 1 (- z y)))
2.1b
(* (* (- x y) (/ 1 (- z y))) t)

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
109×add-sqr-sqrt
88×*-un-lft-identity
51×times-frac
47×add-cube-cbrt
45×associate-*r*
44×frac-times associate-*l*
42×associate-*l/
35×associate-/r*
31×add-exp-log
27×flip3-- flip--
23×associate-/l*
22×associate-*r/
19×add-cbrt-cube
18×distribute-lft-out-- difference-of-squares
13×prod-exp unswap-sqr
11×pow1
9×clear-num
7×frac-2neg cbrt-unprod
6×div-exp associate-/r/ un-div-inv
4×pow-prod-down
3×cbrt-undiv rec-exp 1-exp *-commutative div-inv add-log-exp
1×pow-flip inv-pow
Counts
3 → 220
Calls
3 calls:
5.0ms
(/ 1 (- z y))
16.0ms
(* (- x y) (/ 1 (- z y)))
28.0ms
(* (* (- x y) (/ 1 (- z y))) t)

series193.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(/ 1 (- z y))
54.0ms
(* (- x y) (/ 1 (- z y)))
102.0ms
(* (* (- x y) (/ 1 (- z y))) t)

simplify86.0ms

Algorithm
egg-herbie
Counts
229 → 229
Iterations

Useful iterations: 2 (67.0ms)

IterNodesCost
06311296
130011134
250031054

prune280.0ms

Filtered
229 candidates to 138 candidates (39.7%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2272229
Fresh224
Picked011
Done011
Total2296235

Merged error: 0b

Counts
235 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z y) (- x y))
2.5b
(/ t (/ (- z y) (- x y)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
218×times-frac
200×add-sqr-sqrt *-un-lft-identity
92×add-cube-cbrt
54×distribute-lft-out-- difference-of-squares
41×associate-/r*
25×associate-/r/
13×associate-/l*
9×add-exp-log add-cbrt-cube
7×flip3-- flip--
6×div-inv
4×cbrt-undiv div-exp associate-/l/
3×frac-2neg clear-num
2×pow1 add-log-exp
1×div-sub
Counts
2 → 208
Calls
2 calls:
8.0ms
(/ (- z y) (- x y))
16.0ms
(/ t (/ (- z y) (- x y)))

series208.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(/ (- z y) (- x y))
158.0ms
(/ t (/ (- z y) (- x y)))

simplify91.0ms

Algorithm
egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 2 (67.0ms)

IterNodesCost
06501831
129451780
250021777

prune302.0ms

Filtered
214 candidates to 143 candidates (33.2%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New2140214
Fresh033
Picked011
Done022
Total2146220

Merged error: 0b

Counts
220 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- x y))
0.5b
(cbrt (- x y))
0.5b
(cbrt (- x y))
2.1b
(* (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- z y) (cbrt (- x y)))) t)

rewrite538.0ms

Algorithm
rewrite-expression-head
Rules
3095×times-frac
2930×add-sqr-sqrt
2723×*-un-lft-identity
2263×cbrt-prod
2008×associate-*l*
1119×add-cube-cbrt
755×distribute-lft-out--
661×difference-of-squares
476×swap-sqr
379×associate-*r*
228×unswap-sqr
94×associate-*l/
90×cbrt-div associate-/r/
56×add-cbrt-cube
54×associate-/r*
51×*-commutative
46×flip3-- flip--
40×associate-/l*
37×div-inv
28×cbrt-unprod
25×cbrt-undiv
22×add-exp-log
10×associate-/l/
7×prod-exp
6×pow1 div-exp
4×frac-times add-log-exp
3×pow1/3
2×frac-2neg associate-*r/ clear-num
1×pow-prod-down
Counts
4 → 1830
Calls
4 calls:
3.0ms
(cbrt (- x y))
3.0ms
(cbrt (- x y))
3.0ms
(cbrt (- x y))
281.0ms
(* (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- z y) (cbrt (- x y)))) t)

series580.0ms

Counts
4 → 12
Calls
4 calls:
158.0ms
(cbrt (- x y))
159.0ms
(cbrt (- x y))
156.0ms
(cbrt (- x y))
106.0ms
(* (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- z y) (cbrt (- x y)))) t)

simplify272.0ms

Algorithm
egg-herbie
Counts
1842 → 1842
Iterations

Useful iterations: 1 (71.0ms)

IterNodesCost
0371322203
1500121961

prune3.9s

Filtered
1842 candidates to 1047 candidates (43.2%)
Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New184201842
Fresh022
Picked011
Done033
Total184261848

Merged error: 0b

Counts
1848 → 6

regimes175.0ms

Accuracy

29.5% (1.3b remaining)

Error of 1.3b against oracle of 0.0b and baseline of 1.8b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02615
12815
22815

end0.0ms

sample459.0ms

Algorithm
intervals
Results
231.0ms8704×body80valid