Details

Time bar (total: 9.6s)

sample3.8s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 45.111084%

Results
13.0ms256×body80valid
1.0ms12×body80invalid

simplify43.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0238
1358
2608
31038
41838
54168
611948
750018

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.1b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) x)
0.0b
(- (* t z) x)
0.3b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
11.4b
(/ (- (* y z) x) (- (* t z) x))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
25×times-frac
22×add-sqr-sqrt add-cube-cbrt
10×distribute-lft-out
8×add-exp-log add-cbrt-cube add-log-exp
7×associate-/r* associate-/l*
4×pow1 flip3-- associate-/r/ flip-- associate-/l/
3×div-sub
2×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-exp clear-num flip-+ div-inv
1×associate-+r-
Counts
4 → 97
Calls
4 calls:
3.0ms
(- (* y z) x)
3.0ms
(- (* t z) x)
14.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
8.0ms
(/ (- (* y z) x) (- (* t z) x))

series65.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(- (* y z) x)
5.0ms
(- (* t z) x)
34.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
21.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify45.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0399950
11413884
25001882

prune150.0ms

Filtered
78 candidates to 109 candidates (-39.7%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1027109
Fresh000
Picked101
Done000
Total1037110

Merged error: 1.1b

Counts
110 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* t z) x)
0.3b
(/ (+ x (* (- (* y z) x) (/ 1 (- (* t z) x)))) (+ x 1.0))
0.3b
(/ 1 (- (* t z) x))
11.1b
(* (- (* y z) x) (/ 1 (- (* t z) x)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
36×add-sqr-sqrt
32×times-frac
29×add-cube-cbrt
19×add-exp-log
15×associate-*r*
13×add-cbrt-cube
7×pow1 associate-/r*
6×associate-/r/ associate-/l* add-log-exp
5×flip3-- div-exp flip--
4×prod-exp distribute-lft-out
3×cbrt-undiv associate-*l* div-inv unswap-sqr
2×frac-times rec-exp frac-2neg flip3-+ 1-exp associate-*l/ clear-num cbrt-unprod flip-+ associate-/l/
1×sub-neg pow-flip diff-log associate-*r/ pow-prod-down un-div-inv *-commutative inv-pow
Counts
4 → 122
Calls
4 calls:
3.0ms
(- (* t z) x)
9.0ms
(/ (+ x (* (- (* y z) x) (/ 1 (- (* t z) x)))) (+ x 1.0))
6.0ms
(/ 1 (- (* t z) x))
12.0ms
(* (- (* y z) x) (/ 1 (- (* t z) x)))

series62.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(- (* t z) x)
33.0ms
(/ (+ x (* (- (* y z) x) (/ 1 (- (* t z) x)))) (+ x 1.0))
6.0ms
(/ 1 (- (* t z) x))
17.0ms
(* (- (* y z) x) (/ 1 (- (* t z) x)))

simplify61.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
04681136
121091015
25003984

prune144.0ms

Filtered
88 candidates to 134 candidates (-52.3%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1340134
Fresh066
Picked011
Done000
Total1347141

Merged error: 1.1b

Counts
141 → 7

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (/ y t))
2.2b
(/ (+ x (/ y t)) (+ x 1.0))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
16×times-frac
12×add-sqr-sqrt add-cube-cbrt
11×distribute-lft-out
4×add-exp-log associate-/r* add-cbrt-cube associate-/l* add-log-exp
3×flip3-+ flip-+
2×pow1 associate-/r/ associate-/l/
1×cbrt-undiv +-commutative frac-2neg div-exp clear-num sum-log div-inv
Counts
2 → 52
Calls
2 calls:
6.0ms
(+ x (/ y t))
10.0ms
(/ (+ x (/ y t)) (+ x 1.0))

series13.0ms

Counts
2 → 6
Calls
2 calls:
5.0ms
(+ x (/ y t))
8.0ms
(/ (+ x (/ y t)) (+ x 1.0))

simplify62.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0227373
1693348
22217348
35002348

prune93.0ms

Filtered
38 candidates to 58 candidates (-52.6%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New53558
Fresh055
Picked101
Done011
Total541165

Merged error: 0.8b

Counts
65 → 11

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1 (+ x 1.0))
0.0b
(+ x (/ y t))
2.2b
(* (+ x (/ y t)) (/ 1 (+ x 1.0)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
28×add-sqr-sqrt
26×times-frac
21×add-cube-cbrt
18×associate-*r*
16×add-exp-log
10×add-cbrt-cube
9×distribute-lft-out
6×pow1
5×flip3-+ flip-+ add-log-exp
4×div-exp associate-*l* prod-exp associate-/r* associate-/r/
3×associate-/l* unswap-sqr
2×cbrt-undiv frac-times rec-exp 1-exp associate-*l/ cbrt-unprod div-inv
1×+-commutative pow-flip frac-2neg associate-*r/ pow-prod-down clear-num sum-log un-div-inv *-commutative inv-pow
Counts
3 → 95
Calls
3 calls:
7.0ms
(/ 1 (+ x 1.0))
5.0ms
(+ x (/ y t))
14.0ms
(* (+ x (/ y t)) (/ 1 (+ x 1.0)))

series15.0ms

Counts
3 → 9
Calls
3 calls:
2.0ms
(/ 1 (+ x 1.0))
5.0ms
(+ x (/ y t))
8.0ms
(* (+ x (/ y t)) (/ 1 (+ x 1.0)))

simplify47.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0377583
11717510
25001476

prune84.0ms

Filtered
59 candidates to 104 candidates (-76.3%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1040104
Fresh099
Picked011
Done011
Total10411115

Merged error: 0.8b

Counts
115 → 11

regimes568.0ms

Accuracy

71.4% (2.0b remaining)

Error of 2.7b against oracle of 0.8b and baseline of 7.6b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04538
14538

end0.0ms

sample4.2s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 45.111084%

Results
416.0ms8000×body80valid
16.0ms313×body80invalid

Profiling

Loading profile data...