Details

Time bar (total: 2.9s)

sample26.0ms

Algorithm
intervals
Results
13.0ms266×body80valid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.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: 17.9b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ (* y b) t))
5.6b
(/ (* y b) t)
5.7b
(/ (* y z) t)
12.2b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite35.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 b) t)
4.0ms
(/ (* y z) t)
16.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series155.0ms

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

simplify54.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0469909
12102841
25001841

prune288.0ms

Filtered
118 candidates to 78 candidates (66.1%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New10414118
Fresh000
Picked101
Done000
Total10514119

Merged error: 11.1b

Counts
119 → 14

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
4.8b
(/ y (/ t b))
5.7b
(/ (* y z) t)
12.2b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity times-frac
59×add-sqr-sqrt add-cube-cbrt
22×distribute-lft-out
21×associate-/r*
16×add-exp-log add-cbrt-cube
8×associate-/l*
7×div-inv
6×cbrt-undiv div-exp add-log-exp
5×associate-/r/
4×pow1 flip3-+ flip-+
3×frac-2neg clear-num
2×frac-add associate-/l/
1×+-commutative prod-exp sum-log cbrt-unprod
Counts
4 → 150
Calls
4 calls:
4.0ms
(+ x (/ (* y z) t))
5.0ms
(/ y (/ t b))
4.0ms
(/ (* y z) t)
23.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

series161.0ms

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

simplify81.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
06721210
128531144
250011144

prune385.0ms

Filtered
162 candidates to 116 candidates (71.6%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1575162
Fresh5813
Picked101
Done000
Total16313176

Merged error: 9.7b

Counts
176 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
4.7b
(* (/ y t) b)
5.7b
(/ (* y z) t)
12.2b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y t) b)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
28×add-sqr-sqrt
25×times-frac
23×add-cube-cbrt
16×add-exp-log add-cbrt-cube
13×associate-*l*
6×pow1 associate-/r* add-log-exp
5×distribute-lft-out associate-/l*
4×cbrt-undiv flip3-+ div-exp associate-/r/ flip-+
3×associate-*r* associate-*l/ prod-exp cbrt-unprod div-inv
2×frac-2neg frac-add clear-num associate-/l/ unswap-sqr
1×+-commutative pow-prod-down sum-log *-commutative
Counts
4 → 102
Calls
4 calls:
4.0ms
(+ x (/ (* y z) t))
6.0ms
(* (/ y t) b)
4.0ms
(/ (* y z) t)
11.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y t) b)))

series163.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ x (/ (* y z) t))
23.0ms
(* (/ y t) b)
18.0ms
(/ (* y z) t)
95.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y t) b)))

simplify54.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
0504786
12082725
25002725

prune247.0ms

Filtered
114 candidates to 79 candidates (69.3%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1140114
Fresh01212
Picked011
Done000
Total11413127

Merged error: 9.7b

Counts
127 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1 (+ (+ a 1.0) (/ y (/ t b))))
4.8b
(/ y (/ t b))
5.7b
(/ (* y z) t)
12.2b
(* (+ x (/ (* y z) t)) (/ 1 (+ (+ a 1.0) (/ y (/ t b)))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
110×times-frac
106×*-un-lft-identity
75×add-sqr-sqrt
68×add-cube-cbrt
27×add-exp-log
23×associate-*r*
22×distribute-lft-out
21×associate-/r* add-cbrt-cube
9×div-exp associate-/r/
8×div-inv
7×pow1 cbrt-undiv associate-/l*
6×flip3-+ flip-+
5×prod-exp
4×associate-*l* frac-add add-log-exp
3×frac-2neg clear-num cbrt-unprod unswap-sqr
2×frac-times rec-exp 1-exp associate-*l/
1×pow-flip associate-*r/ pow-prod-down un-div-inv *-commutative inv-pow
Counts
4 → 185
Calls
4 calls:
17.0ms
(/ 1 (+ (+ a 1.0) (/ y (/ t b))))
5.0ms
(/ y (/ t b))
4.0ms
(/ (* y z) t)
25.0ms
(* (+ x (/ (* y z) t)) (/ 1 (+ (+ a 1.0) (/ y (/ t b)))))

series182.0ms

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

simplify84.0ms

Algorithm
egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 2 (68.0ms)

IterNodesCost
07921454
137541325
250011283

prune380.0ms

Filtered
197 candidates to 128 candidates (65.0%)
Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New1961197
Fresh01111
Picked011
Done011
Total19614210

Merged error: 9.7b

Counts
210 → 14

regimes451.0ms

bsearch3.0ms

Profiling

Loading profile data...