Details

Time bar (total: 4.6s)

sample30.0ms

Algorithm
intervals
Results
16.0ms270×body80valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0268
1398
2478
3498
4498

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

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ (* y b) t))
5.7b
(/ (* y z) t)
6.4b
(/ (* y b) t)
9.5b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
26×times-frac
24×distribute-lft-out
19×add-sqr-sqrt add-cube-cbrt
16×add-exp-log add-cbrt-cube
11×associate-/r*
9×add-log-exp
6×associate-/l*
5×cbrt-undiv flip3-+ div-exp flip-+
4×pow1 frac-add associate-/r/
3×frac-2neg clear-num sum-log div-inv
2×prod-exp cbrt-unprod associate-/l/
1×+-commutative associate-+l+
Counts
4 → 106
Calls
4 calls:
7.0ms
(+ (+ a 1.0) (/ (* y b) t))
4.0ms
(/ (* y z) t)
4.0ms
(/ (* y b) t)
13.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series156.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ (+ a 1.0) (/ (* y b) t))
17.0ms
(/ (* y z) t)
20.0ms
(/ (* y b) t)
92.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify51.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0469909
12102841
25001841

prune279.0ms

Filtered
118 candidates to 78 candidates (66.1%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New10513118
Fresh000
Picked101
Done000
Total10613119

Merged error: 9.1b

Counts
119 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
3.8b
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
5.7b
(/ (* y z) t)
9.5b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
43×times-frac
39×*-un-lft-identity
32×add-exp-log
31×add-cube-cbrt
25×add-cbrt-cube
22×associate-*r*
14×cbrt-prod
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
8×associate-/r/
7×associate-*l*
6×pow1 frac-add associate-/r* unswap-sqr
5×flip3-+ flip-+ associate-/l*
4×div-inv distribute-lft-out add-log-exp
3×frac-times associate-*r/ associate-*l/
2×frac-2neg clear-num associate-/l/
1×pow1/3 pow-prod-down *-commutative
Counts
4 → 132
Calls
4 calls:
1.0ms
(cbrt t)
14.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
4.0ms
(/ (* y z) t)
11.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series358.0ms

Counts
4 → 12
Calls
4 calls:
170.0ms
(cbrt t)
45.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
16.0ms
(/ (* y z) t)
126.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify89.0ms

Algorithm
egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
07851567
139741374
250011332

prune428.0ms

Filtered
144 candidates to 104 candidates (72.2%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1386144
Fresh4812
Picked101
Done000
Total14314157

Merged error: 8.4b

Counts
157 → 14

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.9b
(* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (cbrt y) (cbrt t)) (/ b (cbrt t))))
5.7b
(/ (* y z) t)
9.5b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (cbrt y) (cbrt t)) (/ b (cbrt t))))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
80×add-exp-log
42×add-cbrt-cube
33×prod-exp cbrt-unprod
27×*-un-lft-identity
25×cbrt-undiv div-exp
21×times-frac
19×add-sqr-sqrt add-cube-cbrt
16×associate-/r/
15×frac-times associate-*r/
14×frac-add
10×associate-*l*
9×pow1 flip3-+ associate-*l/ flip-+
6×cbrt-prod associate-/r*
5×associate-/l*
4×distribute-lft-out add-log-exp
3×pow-prod-down div-inv
2×frac-2neg clear-num associate-/l/
1×pow1/3 associate-*r* *-commutative
Counts
4 → 139
Calls
4 calls:
1.0ms
(cbrt t)
17.0ms
(* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (cbrt y) (cbrt t)) (/ b (cbrt t))))
4.0ms
(/ (* y z) t)
13.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (cbrt y) (cbrt t)) (/ b (cbrt t))))))

series314.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt t)
20.0ms
(* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (cbrt y) (cbrt t)) (/ b (cbrt t))))
17.0ms
(/ (* y z) t)
98.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (cbrt y) (cbrt t)) (/ b (cbrt t))))))

simplify100.0ms

Algorithm
egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
08502361
138072008
250011895

prune371.0ms

Filtered
151 candidates to 85 candidates (56.3%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1510151
Fresh01313
Picked011
Done000
Total15114165

Merged error: 8.4b

Counts
165 → 14

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
3.8b
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
4.5b
(* y (/ z t))
9.5b
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
47×times-frac
36×add-cube-cbrt *-un-lft-identity
35×associate-*r*
32×add-exp-log
25×add-cbrt-cube
14×cbrt-prod
10×associate-*l* prod-exp cbrt-unprod
9×cbrt-undiv div-exp
8×pow1 associate-/r/ unswap-sqr
6×frac-add
5×flip3-+ flip-+
4×associate-*r/ div-inv add-log-exp
3×frac-times associate-*l/ associate-/r* associate-/l*
2×pow-prod-down *-commutative associate-/l/
1×frac-2neg pow1/3 clear-num
Counts
4 → 139
Calls
4 calls:
1.0ms
(cbrt t)
14.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
6.0ms
(* y (/ z t))
9.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series370.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt t)
45.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
16.0ms
(* y (/ z t))
130.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify108.0ms

Algorithm
egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 2 (94.0ms)

IterNodesCost
08351528
143351333
250031292

prune399.0ms

Filtered
151 candidates to 109 candidates (72.2%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New1492151
Fresh01212
Picked101
Done011
Total15015165

Merged error: 8.3b

Counts
165 → 15

regimes499.0ms

Accuracy

49.1% (2.8b remaining)

Error of 13.0b against oracle of 10.1b and baseline of 15.7b

bsearch89.0ms

Steps
ItersRangePoint
4
7.24258800240481e+54
1.1734806466592359e+55
7.663733483422391e+54
8
-5.026516974143701e+26
-1.7279875902254636e+24
-3.47615024458939e+24

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05669
15669

end0.0ms

sample725.0ms

Algorithm
intervals
Results
445.0ms8312×body80valid