Details

Time bar (total: 8.6s)

analyze1.3s

Algorithm
search

sample27.0ms

Algorithm
intervals
Results
13.0ms256×body80valid
0.0ms9×body80invalid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0268
1398
2478
3498
4498

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 17.0b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
4.6b
(/ (* y b) t)
5.0b
(/ (* y z) t)
12.8b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite28.0ms

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

series58.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(+ x (/ (* y z) t))
4.0ms
(/ (* y b) t)
5.0ms
(/ (* y z) t)
41.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify52.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0454843
11942782
25001782

prune193.0ms

Filtered
73 candidates to 113 candidates (-54.8%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New10112113
Fresh000
Picked101
Done000
Total10212114

Merged error: 11.9b

Counts
114 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ 1 (/ t (* y z)))
4.6b
(/ (* y b) t)
5.2b
(/ t (* y z))
12.8b
(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
84×*-un-lft-identity
64×times-frac
37×add-exp-log
36×add-sqr-sqrt add-cube-cbrt
30×distribute-lft-out
25×add-cbrt-cube
17×div-exp
16×associate-/r*
14×div-inv
12×associate-/l*
10×cbrt-undiv
5×pow1 prod-exp associate-/r/
4×frac-2neg clear-num add-log-exp
3×rec-exp flip3-+ 1-exp cbrt-unprod flip-+
2×frac-add associate-/l/
1×pow-flip inv-pow
Counts
4 → 151
Calls
4 calls:
6.0ms
(/ 1 (/ t (* y z)))
4.0ms
(/ (* y b) t)
4.0ms
(/ t (* y z))
16.0ms
(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

series59.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(/ 1 (/ t (* y z)))
4.0ms
(/ (* y b) t)
4.0ms
(/ t (* y z))
44.0ms
(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify67.0ms

Algorithm
egg-herbie
Counts
163 → 163
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
05841227
126991113
250021073

prune166.0ms

Filtered
84 candidates to 163 candidates (-94.0%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1630163
Fresh01111
Picked011
Done000
Total16312175

Merged error: 11.9b

Counts
175 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 1 (/ (+ (+ a 1.0) (/ (* y b) t)) (+ x (/ (* y z) t))))
4.6b
(/ (* y b) t)
5.0b
(/ (* y z) t)
12.8b
(/ (+ (+ a 1.0) (/ (* y b) t)) (+ x (/ (* y z) t)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
243×*-un-lft-identity
184×times-frac
89×distribute-lft-out
86×add-sqr-sqrt add-cube-cbrt
36×associate-/r*
27×add-exp-log
21×add-cbrt-cube
12×div-exp
11×associate-/r/
10×associate-/l*
8×cbrt-undiv div-inv
7×flip3-+ flip-+
5×pow1
4×frac-2neg clear-num associate-/l/ add-log-exp
2×rec-exp 1-exp frac-add prod-exp cbrt-unprod
1×pow-flip inv-pow
Counts
4 → 217
Calls
4 calls:
14.0ms
(/ 1 (/ (+ (+ a 1.0) (/ (* y b) t)) (+ x (/ (* y z) t))))
4.0ms
(/ (* y b) t)
4.0ms
(/ (* y z) t)
14.0ms
(/ (+ (+ a 1.0) (/ (* y b) t)) (+ x (/ (* y z) t)))

series126.0ms

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

simplify84.0ms

Algorithm
egg-herbie
Counts
229 → 229
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
06622744
132982518
250012379

prune220.0ms

Filtered
100 candidates to 229 candidates (-129.0%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New2254229
Fresh1910
Picked101
Done011
Total22714241

Merged error: 11.9b

Counts
241 → 14

localize16.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ 1 (+ x (/ (* y z) t)))
4.6b
(/ (* y b) t)
5.0b
(/ (* y z) t)
11.6b
(/ (/ 1 (+ (+ a 1.0) (/ (* y b) t))) (/ 1 (+ x (/ (* y z) t))))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
1005×times-frac
817×*-un-lft-identity
380×add-sqr-sqrt add-cube-cbrt
247×distribute-lft-out
127×associate-/r/
63×flip3-+ flip-+
58×add-exp-log
47×div-inv
38×div-exp frac-add
28×associate-/r* add-cbrt-cube associate-/l*
13×cbrt-undiv
9×rec-exp 1-exp
5×pow1
4×frac-2neg clear-num add-log-exp
2×prod-exp cbrt-unprod
1×pow-flip associate-/l/ inv-pow
Counts
4 → 566
Calls
4 calls:
6.0ms
(/ 1 (+ x (/ (* y z) t)))
4.0ms
(/ (* y b) t)
4.0ms
(/ (* y z) t)
24.0ms
(/ (/ 1 (+ (+ a 1.0) (/ (* y b) t))) (/ 1 (+ x (/ (* y z) t))))

series111.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(/ 1 (+ x (/ (* y z) t)))
4.0ms
(/ (* y b) t)
4.0ms
(/ (* y z) t)
89.0ms
(/ (/ 1 (+ (+ a 1.0) (/ (* y b) t))) (/ 1 (+ x (/ (* y z) t))))

simplify140.0ms

Algorithm
egg-herbie
Counts
578 → 578
Iterations

Useful iterations: 1 (39.0ms)

IterNodesCost
0205010884
1500110030

prune452.0ms

Filtered
210 candidates to 578 candidates (-175.2%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New5771578
Fresh01212
Picked011
Done011
Total57715592

Merged error: 11.9b

Counts
592 → 15

regimes940.0ms

Accuracy

12.9% (4.9b remaining)

Error of 15.7b against oracle of 10.8b and baseline of 16.4b

bsearch2.4s

Steps
ItersRangePoint
9
-7.264298454620686e-61
-1.5009661366386934e-68
-7.385520993196705e-62

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03317
13317

end0.0ms

analyze1.2s

Algorithm
search

sample723.0ms

Algorithm
intervals
Results
431.0ms8000×body80valid
18.0ms293×body80invalid

Profiling

Loading profile data...