Details

Time bar (total: 19.4s)

sample37.0ms

Algorithm
intervals
Results
18.0ms392×body80valid

simplify38.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03810
111210
238410
3156810
4500110

prune3.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: 0.0b

Counts
2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
0.0b
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
0.0b
(* (- t 1.0) a)
0.0b
(* (- (+ y t) 2.0) b)

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
310×*-un-lft-identity
169×distribute-lft-out--
120×associate-*l*
66×distribute-lft-out
28×associate-*l/
23×flip3-- flip--
21×add-sqr-sqrt
18×add-log-exp
12×frac-add frac-sub
8×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
6×diff-log associate-*r*
4×sub-neg associate-+l+ associate--l+ difference-of-squares
3×sum-log unswap-sqr
2×associate--l- associate-+l- pow-prod-down prod-exp *-commutative cbrt-unprod
1×+-commutative flip3-+ flip-+
Counts
4 → 162
Calls
4 calls:
24.0ms
(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
39.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
6.0ms
(* (- t 1.0) a)
8.0ms
(* (- (+ y t) 2.0) b)

series301.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
149.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
33.0ms
(* (- t 1.0) a)
27.0ms
(* (- (+ y t) 2.0) b)

simplify118.0ms

Algorithm
egg-herbie
Counts
174 → 174
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
08492102
143282051
250012051

prune367.0ms

Filtered
174 candidates to 80 candidates (46.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1722174
Fresh000
Picked011
Done000
Total1723175

Merged error: 0b

Counts
175 → 3

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (* (- (+ y t) 2.0) b))
0.5b
(cbrt (* (- (+ y t) 2.0) b))
0.5b
(cbrt (* (- (+ y t) 2.0) b))
0.6b
(* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
141×cbrt-prod
106×*-un-lft-identity
81×add-sqr-sqrt
78×associate-*l*
39×associate-*r*
30×swap-sqr
29×add-cube-cbrt
26×distribute-lft-out--
22×unswap-sqr
20×associate-*l/
18×cbrt-div
13×distribute-lft-out
11×pow1
9×flip3-- pow1/3 flip--
8×*-commutative add-cbrt-cube
7×difference-of-squares
6×add-exp-log
4×frac-times cbrt-unprod add-log-exp
2×associate-*r/ pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp
Counts
4 → 179
Calls
4 calls:
9.0ms
(cbrt (* (- (+ y t) 2.0) b))
9.0ms
(cbrt (* (- (+ y t) 2.0) b))
9.0ms
(cbrt (* (- (+ y t) 2.0) b))
26.0ms
(* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))

series494.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(cbrt (* (- (+ y t) 2.0) b))
121.0ms
(cbrt (* (- (+ y t) 2.0) b))
113.0ms
(cbrt (* (- (+ y t) 2.0) b))
144.0ms
(* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))

simplify61.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
04862226
116242120
250011939

prune697.0ms

Filtered
191 candidates to 126 candidates (66.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1901191
Fresh101
Picked011
Done011
Total1913194

Merged error: 0b

Counts
194 → 3

localize39.0ms

Local error

Found 4 expressions with local error:

7.6b
(/ (* (cbrt (* (- (pow (+ y t) 3) (pow 2.0 3)) b)) (cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))) (* (cbrt (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (cbrt (+ (+ y t) 2.0))))
10.8b
(cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))
14.6b
(cbrt (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0))))
19.2b
(cbrt (* (- (pow (+ y t) 3) (pow 2.0 3)) b))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
12315×associate-*l*
12296×*-un-lft-identity
8209×cbrt-prod
6507×distribute-lft-out
6501×add-sqr-sqrt
4752×times-frac
3398×associate-*r*
1886×difference-of-squares
1663×unswap-sqr
961×add-cube-cbrt
874×distribute-lft-out--
828×swap-sqr
736×unpow-prod-down cube-prod
706×*-commutative
368×sqr-pow
184×difference-cubes pow-unpow
126×cbrt-div
108×associate-/l*
103×flip3-+ flip-+
72×frac-times
64×frac-add
56×associate-/r/
54×add-cbrt-cube
52×associate-*l/
44×associate-/r*
40×cbrt-unprod
25×cbrt-undiv
20×associate-*r/
16×add-exp-log
8×flip3-- flip-- associate-/l/
4×pow1 div-exp prod-exp add-log-exp
3×pow1/3
1×frac-2neg clear-num div-inv
Counts
4 → 5165
Calls
4 calls:
260.0ms
(/ (* (cbrt (* (- (pow (+ y t) 3) (pow 2.0 3)) b)) (cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))) (* (cbrt (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (cbrt (+ (+ y t) 2.0))))
35.0ms
(cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))
41.0ms
(cbrt (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0))))
23.0ms
(cbrt (* (- (pow (+ y t) 3) (pow 2.0 3)) b))

series1.1s

Counts
4 → 12
Calls
4 calls:
513.0ms
(/ (* (cbrt (* (- (pow (+ y t) 3) (pow 2.0 3)) b)) (cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))) (* (cbrt (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (cbrt (+ (+ y t) 2.0))))
293.0ms
(cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))
118.0ms
(cbrt (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0))))
200.0ms
(cbrt (* (- (pow (+ y t) 3) (pow 2.0 3)) b))

simplify2.0s

Algorithm
egg-herbie
Counts
5177 → 5177
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05001194496

prune11.6s

Filtered
5177 candidates to 1120 candidates (21.6%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New517705177
Fresh000
Picked011
Done022
Total517735180

Merged error: 0b

Counts
5180 → 3

regimes201.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02310
12310

end0.0ms

sample998.0ms

Algorithm
intervals
Results
579.0ms12462×body80valid
0.0ms2×body1280valid
0.0ms1×body640valid
0.0ms1×body320valid