Details

Time bar (total: 6.1s)

sample26.0ms

Algorithm
intervals
Results
11.0ms266×body80valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0268
1398
2478
3498
4498

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.8b

localize15.0ms

Local error

Found 3 expressions with local error:

5.1b
(/ (* y b) t)
6.7b
(/ (* y z) t)
14.3b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite24.0ms

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

series155.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(/ (* y b) t)
21.0ms
(/ (* y z) t)
115.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify50.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0432769
11895710
25001710

prune257.0ms

Filtered
98 candidates to 63 candidates (64.3%)
Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 13.1b

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt t) (cbrt t))
4.0b
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
5.1b
(/ (* y b) t)
14.3b
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
59×*-un-lft-identity
46×times-frac
39×add-cube-cbrt
34×add-exp-log
28×associate-*r*
27×cbrt-prod
25×add-cbrt-cube
13×pow1 associate-*l*
12×distribute-lft-out
10×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
8×associate-/r*
6×pow1/3 swap-sqr
4×associate-/r/ div-inv associate-/l* add-log-exp
3×flip3-+ pow-prod-down flip-+
2×frac-2neg frac-add clear-num pow-sqr *-commutative pow-prod-up associate-/l/
1×pow2 frac-times pow-plus associate-*r/ associate-*l/
Counts
4 → 161
Calls
4 calls:
5.0ms
(* (cbrt t) (cbrt t))
14.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.0ms
(/ (* y b) t)
11.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

series527.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(* (cbrt t) (cbrt t))
45.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
22.0ms
(/ (* y b) t)
261.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify102.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
07831703
141931528
250011466

prune547.0ms

Filtered
173 candidates to 115 candidates (66.5%)
Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 12.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt t) (cbrt t))
3.1b
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
4.0b
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
14.3b
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
90×add-sqr-sqrt
65×times-frac
50×add-exp-log add-cube-cbrt *-un-lft-identity associate-*r*
38×cbrt-prod
34×add-cbrt-cube
20×associate-*l*
17×prod-exp cbrt-unprod
16×unswap-sqr
15×pow1 cbrt-undiv div-exp
8×associate-/r/
6×pow1/3 swap-sqr frac-add
5×flip3-+ flip-+ div-inv
4×frac-times associate-*r/ pow-prod-down associate-*l/ add-log-exp
3×associate-/r* *-commutative associate-/l*
2×pow-sqr pow-prod-up associate-/l/
1×pow2 frac-2neg pow-plus clear-num
Counts
4 → 195
Calls
4 calls:
5.0ms
(* (cbrt t) (cbrt t))
14.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
14.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
9.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series599.0ms

Counts
4 → 12
Calls
4 calls:
200.0ms
(* (cbrt t) (cbrt t))
51.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
45.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
304.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify42.0ms

Algorithm
egg-herbie
Counts
207 → 207
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010022393
150012161

prune731.0ms

Filtered
207 candidates to 156 candidates (75.4%)
Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 12.1b

localize21.0ms

Local error

Found 4 expressions with local error:

4.1b
(cbrt (/ z (cbrt t)))
4.1b
(cbrt (/ z (cbrt t)))
4.1b
(cbrt (/ z (cbrt t)))
14.3b
(/ (+ x (* (* (/ y (* (cbrt t) (cbrt t))) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t))))) (cbrt (/ z (cbrt t))))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
93×cbrt-prod
63×times-frac
51×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-/r/
6×add-exp-log frac-add add-cbrt-cube
5×flip3-+ flip-+
4×pow1 div-inv add-log-exp
3×cbrt-div pow1/3 associate-/r* associate-/l*
2×frac-times associate-*r/ associate-*l/ associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num
Counts
4 → 130
Calls
4 calls:
3.0ms
(cbrt (/ z (cbrt t)))
3.0ms
(cbrt (/ z (cbrt t)))
3.0ms
(cbrt (/ z (cbrt t)))
10.0ms
(/ (+ x (* (* (/ y (* (cbrt t) (cbrt t))) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t))))) (cbrt (/ z (cbrt t))))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series922.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(cbrt (/ z (cbrt t)))
160.0ms
(cbrt (/ z (cbrt t)))
333.0ms
(cbrt (/ z (cbrt t)))
273.0ms
(/ (+ x (* (* (/ y (* (cbrt t) (cbrt t))) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t))))) (cbrt (/ z (cbrt t))))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify56.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
04542287
116582146
250022140

prune645.0ms

Filtered
142 candidates to 125 candidates (88.0%)
Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 12.1b

regimes457.0ms

Accuracy

20.2% (3.5b remaining)

Error of 14.0b against oracle of 10.4b and baseline of 14.9b

bsearch114.0ms

Steps
ItersRangePoint
8
1.104045164429397e+17
5.761198038436811e+20
2.5498284446186307e+17
9
-3.191731313316827e-95
-1.0715110151360722e-103
-3.109376807948407e-95

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05140
15140

end0.0ms

sample671.0ms

Algorithm
intervals
Results
362.0ms8274×body80valid