Details

Time bar (total: 3.0s)

sample28.0ms

Algorithm
intervals
Results
12.0ms337×body80valid

simplify78.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0266
1896
22776
37356
414366
517146
617306
717306

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

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.4b
(* (* z 9.0) t)
0.7b
(- (* x y) (* (* z 9.0) t))
6.1b
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
3×*-commutative
2×flip3-- associate-*l* associate-/r* flip-- associate-/l/
1×sub-neg frac-2neg div-sub clear-num div-inv
Counts
3 → 15
Calls
3 calls:
3.0ms
(* (* z 9.0) t)
5.0ms
(- (* x y) (* (* z 9.0) t))
7.0ms
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

series136.0ms

Counts
3 → 9
Calls
3 calls:
17.0ms
(* (* z 9.0) t)
53.0ms
(- (* x y) (* (* z 9.0) t))
66.0ms
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

simplify93.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0156110
1570110
22316110
35002110

prune71.0ms

Filtered
24 candidates to 18 candidates (75.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New15924
Fresh000
Picked101
Done000
Total16925

Merged error: 5.9b

Counts
25 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
0.2b
(* 4.5 (/ (* t z) a))
5.2b
(/ (* t z) a)
6.2b
(/ (* x y) a)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
69×associate-*r/
36×frac-sub
30×associate-/l*
28×clear-num
17×frac-2neg
16×*-commutative
13×un-div-inv
5×div-inv
3×associate-*r*
2×sub-div
1×sub-neg flip3-- distribute-rgt-out-- flip--
Counts
4 → 61
Calls
4 calls:
14.0ms
(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
4.0ms
(* 4.5 (/ (* t z) a))
3.0ms
(/ (* t z) a)
3.0ms
(/ (* x y) a)

series175.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
27.0ms
(* 4.5 (/ (* t z) a))
19.0ms
(/ (* t z) a)
19.0ms
(/ (* x y) a)

simplify82.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
0553536
12256519
25001517

prune172.0ms

Filtered
73 candidates to 46 candidates (63.0%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New621173
Fresh718
Picked101
Done000
Total701282

Merged error: 0.0b

Counts
82 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 0.5 (/ (* x y) a)) (/ (* 4.5 (* t z)) a))
0.2b
(* 4.5 (* t z))
5.2b
(/ (* 4.5 (* t z)) a)
6.2b
(/ (* x y) a)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
44×associate-/l*
42×frac-sub
37×associate-*r/
24×*-commutative
22×clear-num
17×frac-2neg associate-*r*
7×un-div-inv
4×div-inv
2×sub-div
1×sub-neg flip3-- distribute-rgt-out-- flip--
Counts
4 → 64
Calls
4 calls:
10.0ms
(- (* 0.5 (/ (* x y) a)) (/ (* 4.5 (* t z)) a))
3.0ms
(* 4.5 (* t z))
4.0ms
(/ (* 4.5 (* t z)) a)
3.0ms
(/ (* x y) a)

series177.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(- (* 0.5 (/ (* x y) a)) (/ (* 4.5 (* t z)) a))
19.0ms
(* 4.5 (* t z))
32.0ms
(/ (* 4.5 (* t z)) a)
19.0ms
(/ (* x y) a)

simplify116.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
0670609
13370590
25001590

prune187.0ms

Filtered
76 candidates to 50 candidates (65.8%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New74276
Fresh2911
Picked011
Done000
Total761288

Merged error: 0.0b

Counts
88 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))
0.2b
(* 4.5 (/ (* t z) a))
5.2b
(/ (* t z) a)
7.4b
(/ x (/ a y))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
54×associate-*r/
30×frac-sub
27×clear-num
15×frac-2neg
14×associate-/l*
12×un-div-inv
10×div-inv
8×*-commutative
7×associate-/r*
3×associate-/r/
1×sub-neg flip3-- associate-*r* flip--
Counts
4 → 54
Calls
4 calls:
11.0ms
(- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))
4.0ms
(* 4.5 (/ (* t z) a))
3.0ms
(/ (* t z) a)
3.0ms
(/ x (/ a y))

series154.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))
31.0ms
(* 4.5 (/ (* t z) a))
19.0ms
(/ (* t z) a)
21.0ms
(/ x (/ a y))

simplify71.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
0502472
12066454
25001449

prune122.0ms

Filtered
66 candidates to 40 candidates (60.6%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New64266
Fresh4610
Picked011
Done011
Total681078

Merged error: 0.0b

Counts
78 → 10

regimes449.0ms

Accuracy

44.7% (4.3b remaining)

Error of 4.3b against oracle of 0.0b and baseline of 7.8b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03823
13823

end0.0ms

sample761.0ms

Algorithm
intervals
Results
395.0ms11145×body80valid