Details

Time bar (total: 8.8s)

sample25.0ms

Algorithm
intervals
Results
12.0ms323×body80valid

simplify22.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0155
1255
2415
3635
4805
5965
61135
71215
81245
91245

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

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ t (- 1.0 z))
4.4b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
791×times-frac
720×add-sqr-sqrt
717×*-un-lft-identity
546×prod-diff
542×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
86×distribute-lft-out-- difference-of-squares
69×div-inv
54×associate-/r/
28×flip3-- flip--
10×associate-*r*
6×add-exp-log add-cbrt-cube
5×associate-/r*
4×pow1
3×associate-*r/ associate-*l* associate-/l*
2×expm1-log1p-u sub-neg log1p-expm1-u add-log-exp
1×cbrt-undiv frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative frac-sub cbrt-unprod unswap-sqr
Counts
2 → 619
Calls
2 calls:
5.0ms
(/ t (- 1.0 z))
49.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series86.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(/ t (- 1.0 z))
47.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify164.0ms

Algorithm
egg-herbie
Counts
625 → 625
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
0161718912
1500115159

prune913.0ms

Filtered
625 candidates to 200 candidates (32.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New61411625
Fresh000
Picked101
Done000
Total61511626

Merged error: 0.2b

Counts
626 → 11

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- 1.0 z) t)
0.9b
(/ 1 (/ (- 1.0 z) t))
4.4b
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

rewrite404.0ms

Algorithm
rewrite-expression-head
Rules
3919×times-frac
2696×add-sqr-sqrt
2672×*-un-lft-identity
2161×add-cube-cbrt
1612×prod-diff
808×distribute-rgt-in distribute-lft-in
260×difference-of-squares
253×distribute-lft-out--
235×div-inv
27×associate-/r/
22×associate-/r*
18×add-exp-log
16×associate-*r*
12×add-cbrt-cube
8×div-exp associate-/l*
6×pow1
4×cbrt-undiv
3×expm1-log1p-u associate-*r/ associate-*l* log1p-expm1-u add-log-exp
2×sub-neg rec-exp flip3-- frac-2neg 1-exp clear-num flip-- associate-/l/
1×pow-flip div-sub pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod inv-pow unswap-sqr
Counts
3 → 1794
Calls
3 calls:
7.0ms
(/ (- 1.0 z) t)
9.0ms
(/ 1 (/ (- 1.0 z) t))
118.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

series111.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(/ (- 1.0 z) t)
25.0ms
(/ 1 (/ (- 1.0 z) t))
47.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

simplify817.0ms

Algorithm
egg-herbie
Counts
1803 → 1803
Iterations

Useful iterations: 1 (71.0ms)

IterNodesCost
0424772823
1500161167

prune1.1s

Filtered
1803 candidates to 261 candidates (14.5%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New179941803
Fresh4610
Picked011
Done000
Total1803111814

Merged error: 0.2b

Counts
1814 → 11

localize22.0ms

Local error

Found 4 expressions with local error:

13.2b
(cbrt (/ y z))
13.2b
(cbrt (/ y z))
13.2b
(cbrt (/ y z))
26.5b
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×times-frac
25×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×cbrt-div pow1/3 div-inv
1×fma-udef
Counts
4 → 82
Calls
4 calls:
2.0ms
(cbrt (/ y z))
2.0ms
(cbrt (/ y z))
2.0ms
(cbrt (/ y z))
1.0ms
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

series220.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(cbrt (/ y z))
64.0ms
(cbrt (/ y z))
65.0ms
(cbrt (/ y z))
32.0ms
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

simplify151.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 4 (145.0ms)

IterNodesCost
0141547
1291511
2875500
33249462
45001440

prune403.0ms

Filtered
94 candidates to 80 candidates (85.1%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New94094
Fresh099
Picked011
Done011
Total9411105

Merged error: 0.2b

Counts
105 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

4.4b
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))
7.6b
(cbrt (* x (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))
7.6b
(cbrt (* x (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))
7.6b
(cbrt (* x (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))

rewrite503.0ms

Algorithm
rewrite-expression-head
Rules
3787×times-frac
2599×add-sqr-sqrt
2575×*-un-lft-identity
2096×add-cube-cbrt
1612×prod-diff
808×distribute-rgt-in distribute-lft-in
244×difference-of-squares
237×distribute-lft-out--
229×div-inv
26×associate-/r/
16×associate-*r*
12×associate-*r/
9×cbrt-div
6×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u flip3-- frac-sub flip-- log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*l*
2×sub-neg
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 1694
Calls
4 calls:
113.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))
43.0ms
(cbrt (* x (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))
43.0ms
(cbrt (* x (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))
44.0ms
(cbrt (* x (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))

series784.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))
241.0ms
(cbrt (* x (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))
246.0ms
(cbrt (* x (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))
247.0ms
(cbrt (* x (- (/ y z) (/ 1 (/ (- 1.0 z) t)))))

simplify584.0ms

Algorithm
egg-herbie
Counts
1706 → 1706
Iterations

Useful iterations: 1 (68.0ms)

IterNodesCost
0419472409
1500160873

prune1.4s

Filtered
1706 candidates to 237 candidates (13.9%)
Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New170601706
Fresh088
Picked011
Done022
Total1706111717

Merged error: 0.2b

Counts
1717 → 11

regimes333.0ms

Accuracy

40.3% (2.7b remaining)

Error of 3.1b against oracle of 0.4b and baseline of 4.9b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04740
14740

end0.0ms

sample554.0ms

Algorithm
intervals
Results
304.0ms10055×body80valid