Details

Time bar (total: 3.4s)

sample29.0ms

Algorithm
intervals
Results
13.0ms337×body80valid

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0276
1916
22896
37706
415146
518606
618856
718856

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

localize11.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))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
12×*-commutative
8×prod-diff
6×associate-*l*
2×flip3-- fma-neg associate-/r* flip-- associate-/l/
1×sub-neg frac-2neg div-sub clear-num div-inv
Counts
3 → 25
Calls
3 calls:
4.0ms
(* (* z 9.0) t)
6.0ms
(- (* x y) (* (* z 9.0) t))
12.0ms
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

series145.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(* (* z 9.0) t)
58.0ms
(- (* x y) (* (* z 9.0) t))
69.0ms
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

simplify112.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 3 (108.0ms)

IterNodesCost
0207185
1749173
23224173
35001140

prune94.0ms

Filtered
34 candidates to 20 candidates (58.8%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New241034
Fresh000
Picked101
Done000
Total251035

Merged error: 5.9b

Counts
35 → 10

localize12.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)

rewrite27.0ms

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

series191.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
29.0ms
(* 4.5 (/ (* t z) a))
24.0ms
(/ (* t z) a)
22.0ms
(/ (* x y) a)

simplify86.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (76.0ms)

IterNodesCost
0636684
12544635
25001624

prune203.0ms

Filtered
85 candidates to 50 candidates (58.8%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New741185
Fresh819
Picked101
Done000
Total831295

Merged error: 0.0b

Counts
95 → 12

localize14.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)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
73×associate-/l*
69×associate-*r*
66×frac-sub
57×associate-*r/ *-commutative
48×neg-mul-1
30×clear-num
28×times-frac
24×distribute-lft-neg-in distribute-rgt-neg-in prod-diff
20×frac-2neg
14×div-inv
11×un-div-inv
8×associate-/r*
3×fma-neg
2×distribute-rgt-neg-out sub-div
1×sub-neg flip3-- distribute-frac-neg flip--
Counts
4 → 130
Calls
4 calls:
15.0ms
(- (* 0.5 (/ (* x y) a)) (/ (* 4.5 (- (* t z))) (- a)))
4.0ms
(* 4.5 (- (* t z)))
6.0ms
(/ (* 4.5 (- (* t z))) (- a))
4.0ms
(/ (* x y) a)

series196.0ms

Counts
4 → 12
Calls
4 calls:
118.0ms
(- (* 0.5 (/ (* x y) a)) (/ (* 4.5 (- (* t z))) (- a)))
23.0ms
(* 4.5 (- (* t z)))
30.0ms
(/ (* 4.5 (- (* t z))) (- a))
25.0ms
(/ (* x y) a)

simplify58.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
013011630
150011463

prune386.0ms

Filtered
142 candidates to 99 candidates (69.7%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1375142
Fresh5611
Picked011
Done000
Total14212154

Merged error: 0.0b

Counts
154 → 12

localize12.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))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
54×associate-*r/
31×clear-num
30×frac-sub
23×associate-*r*
20×div-inv
19×frac-2neg
18×prod-diff *-commutative
15×associate-/r/
14×associate-/l*
12×un-div-inv
7×associate-/r*
6×fma-neg
1×sub-neg flip3-- flip--
Counts
4 → 78
Calls
4 calls:
12.0ms
(- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))
4.0ms
(* 4.5 (/ (* t z) a))
4.0ms
(/ (* t z) a)
3.0ms
(/ x (/ a y))

series166.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))
30.0ms
(* 4.5 (/ (* t z) a))
21.0ms
(/ (* t z) a)
23.0ms
(/ x (/ a y))

simplify82.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
0607776
12454696
25001679

prune175.0ms

Filtered
90 candidates to 49 candidates (54.4%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New87390
Fresh5510
Picked011
Done011
Total9210102

Merged error: 0.0b

Counts
102 → 10

regimes432.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
04625
15425
25525
35525

end0.0ms

sample785.0ms

Algorithm
intervals
Results
426.0ms11145×body80valid