Details

Time bar (total: 5.3s)

sample39.0ms

Algorithm
intervals
Results
19.0ms363×body80valid

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0328
1698
21348
32258
43788
55988
68158
710358
811438
912118
1012118

prune3.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: 0.3b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* a b) 4.0)
0.0b
(+ (* x y) (/ (* z t) 16.0))
0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.2b
(/ (* z t) 16.0)

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
72×times-frac
71×*-un-lft-identity
70×add-sqr-sqrt
54×add-cube-cbrt
26×associate-*l*
24×associate-*r* associate-/l*
15×add-log-exp
14×add-exp-log add-cbrt-cube
8×*-commutative distribute-lft-out unswap-sqr
6×associate-/r*
5×sum-log
4×pow1 cbrt-undiv associate-+l+ div-exp
3×+-commutative distribute-lft-out--
2×frac-2neg flip3-+ diff-log prod-exp associate--l+ clear-num cbrt-unprod flip-+ div-inv
1×associate-+l- sub-neg
Counts
4 → 165
Calls
4 calls:
7.0ms
(/ (* a b) 4.0)
24.0ms
(+ (* x y) (/ (* z t) 16.0))
51.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
7.0ms
(/ (* z t) 16.0)

series244.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ (* a b) 4.0)
48.0ms
(+ (* x y) (/ (* z t) 16.0))
152.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
23.0ms
(/ (* z t) 16.0)

simplify69.0ms

Algorithm
egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
07011015
12927962
25001962

prune576.0ms

Filtered
177 candidates to 132 candidates (74.6%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1734177
Fresh000
Picked101
Done000
Total1744178

Merged error: 0.0b

Counts
178 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))
0.0b
(/ (* a b) 4.0)
0.0b
(+ (* x y) (* z (/ t 16.0)))
0.0b
(+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c)

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
80×*-un-lft-identity
58×add-sqr-sqrt
38×times-frac
37×add-cube-cbrt
36×frac-sub associate-/l*
30×associate-*l*
20×flip3-+ flip-+ add-log-exp
18×associate-*r* distribute-lft-out
10×distribute-lft-out--
9×add-exp-log associate-/r* add-cbrt-cube
7×unswap-sqr
6×sum-log *-commutative
4×pow1 +-commutative associate-+l+ diff-log associate--l+
3×frac-2neg clear-num difference-of-squares
2×cbrt-undiv sub-neg div-exp
1×associate-+l- flip3-- prod-exp flip-- cbrt-unprod div-inv
Counts
4 → 163
Calls
4 calls:
41.0ms
(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))
7.0ms
(/ (* a b) 4.0)
18.0ms
(+ (* x y) (* z (/ t 16.0)))
47.0ms
(+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c)

series300.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))
23.0ms
(/ (* a b) 4.0)
43.0ms
(+ (* x y) (* z (/ t 16.0)))
149.0ms
(+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c)

simplify114.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
08522149
142932072
250012072

prune372.0ms

Filtered
175 candidates to 125 candidates (71.4%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1732175
Fresh213
Picked101
Done000
Total1763179

Merged error: 0.0b

Counts
179 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt t) (cbrt t))
0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
8×add-cbrt-cube
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×cbrt-unprod add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 76
Calls
4 calls:
6.0ms
(* (cbrt t) (cbrt t))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series757.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(* (cbrt t) (cbrt t))
179.0ms
(cbrt t)
185.0ms
(cbrt t)
181.0ms
(cbrt t)

simplify122.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 3 (117.0ms)

IterNodesCost
0124311
1521267
23234241
35002238

prune223.0ms

Filtered
88 candidates to 64 candidates (72.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New88088
Fresh022
Picked011
Done000
Total88391

Merged error: 0.0b

Counts
91 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
1.0b
(* (cbrt 4.0) (cbrt 4.0))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
8×add-cbrt-cube
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×cbrt-unprod add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 76
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
6.0ms
(* (cbrt 4.0) (cbrt 4.0))

series543.0ms

Counts
4 → 10
Calls
4 calls:
185.0ms
(cbrt a)
177.0ms
(cbrt a)
180.0ms
(cbrt a)
0.0ms
(* (cbrt 4.0) (cbrt 4.0))

simplify46.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 3 (41.0ms)

IterNodesCost
0126324
1450292
22042256
35002253

prune238.0ms

Filtered
86 candidates to 60 candidates (69.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New86086
Fresh011
Picked011
Done011
Total86389

Merged error: 0.0b

Counts
89 → 3

regimes255.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02513
12513

end0.0ms

sample1.0s

Algorithm
intervals
Results
540.0ms11799×body80valid