Details

Time bar (total: 5.7s)

sample27.0ms

Algorithm
intervals
Results
13.0ms272×body80valid

simplify118.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0238
1378
2658
3948
41088
51328
62018
73598
88258
932128
1050028

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

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
0.0b
(* z (- b y))
1.3b
(+ (* x y) (* z (- t a)))
23.2b
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-+r+
6×distribute-rgt-in sub-neg distribute-lft-in
4×flip3-+ flip-+
2×+-commutative associate-*r/ associate-/r/ associate-/l/
1×flip3-- frac-2neg clear-num *-commutative flip-- div-inv
Counts
4 → 28
Calls
4 calls:
3.0ms
(+ y (* z (- b y)))
3.0ms
(* z (- b y))
5.0ms
(+ (* x y) (* z (- t a)))
8.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series409.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ y (* z (- b y)))
35.0ms
(* z (- b y))
39.0ms
(+ (* x y) (* z (- t a)))
308.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify87.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0179187
1619182
23081182
35003182

prune99.0ms

Filtered
40 candidates to 23 candidates (57.5%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New32840
Fresh000
Picked011
Done000
Total32941

Merged error: 23.4b

Counts
41 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
0.3b
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
1.3b
(+ (* x y) (* z (- t a)))
23.2b
(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-/r/
8×associate-+r+
6×flip3-+ flip-+
4×distribute-rgt-in sub-neg distribute-lft-in clear-num associate-/l/
3×frac-2neg associate-/r* div-inv
2×+-commutative
1×remove-double-div inv-pow
Counts
4 → 34
Calls
4 calls:
3.0ms
(+ y (* z (- b y)))
7.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
5.0ms
(+ (* x y) (* z (- t a)))
8.0ms
(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

series1.1s

Counts
4 → 12
Calls
4 calls:
30.0ms
(+ y (* z (- b y)))
827.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
41.0ms
(+ (* x y) (* z (- t a)))
247.0ms
(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

simplify92.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0175240
1584234
23148232
35001232

prune114.0ms

Filtered
46 candidates to 29 candidates (63.0%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New44246
Fresh257
Picked011
Done011
Total46955

Merged error: 23.4b

Counts
55 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 1 (* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a))))))
1.3b
(/ 1 (+ (* x y) (* z (- t a))))
1.3b
(+ (* x y) (* z (- t a)))
22.1b
(* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a)))))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
19×associate-/r/
12×frac-times flip3-+ flip-+
10×clear-num
8×frac-2neg
6×associate-*r/ associate-*r*
5×associate-/r*
4×associate-+r+ associate-*l/ un-div-inv div-inv
2×distribute-rgt-in sub-neg distribute-lft-in *-commutative inv-pow
1×+-commutative
Counts
4 → 52
Calls
4 calls:
9.0ms
(/ 1 (* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a))))))
5.0ms
(/ 1 (+ (* x y) (* z (- t a))))
5.0ms
(+ (* x y) (* z (- t a)))
8.0ms
(* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
770.0ms
(/ 1 (* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a))))))
50.0ms
(/ 1 (+ (* x y) (* z (- t a))))
43.0ms
(+ (* x y) (* z (- t a)))
255.0ms
(* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a)))))

simplify37.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0227407
1992396
25001394

prune152.0ms

Filtered
64 candidates to 39 candidates (60.9%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New60464
Fresh426
Picked011
Done022
Total64973

Merged error: 23.4b

Counts
73 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ 1 (+ y (* z (- b y))))
1.3b
(/ 1 (+ (* x y) (* z (- t a))))
1.3b
(+ (* x y) (* z (- t a)))
21.6b
(/ (/ 1 (+ y (* z (- b y)))) (/ 1 (+ (* x y) (* z (- t a)))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
23×associate-/r/
11×flip3-+ flip-+ div-inv
9×times-frac
5×frac-2neg clear-num
4×associate-+r+
3×associate-/r* associate-/l/ associate-/l*
2×distribute-rgt-in sub-neg distribute-lft-in inv-pow
1×+-commutative
Counts
4 → 43
Calls
4 calls:
3.0ms
(/ 1 (+ y (* z (- b y))))
4.0ms
(/ 1 (+ (* x y) (* z (- t a))))
5.0ms
(+ (* x y) (* z (- t a)))
8.0ms
(/ (/ 1 (+ y (* z (- b y)))) (/ 1 (+ (* x y) (* z (- t a)))))

series950.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(/ 1 (+ y (* z (- b y))))
56.0ms
(/ 1 (+ (* x y) (* z (- t a))))
40.0ms
(+ (* x y) (* z (- t a)))
772.0ms
(/ (/ 1 (+ y (* z (- b y)))) (/ 1 (+ (* x y) (* z (- t a)))))

simplify42.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0245464
11114437
25001436

prune134.0ms

Filtered
55 candidates to 36 candidates (65.5%)
Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New55055
Fresh055
Picked011
Done033
Total55964

Merged error: 23.4b

Counts
64 → 9

regimes317.0ms

Accuracy

0% (0.6b remaining)

Error of 23.4b against oracle of 22.8b and baseline of 23.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0198
1198

end0.0ms

sample677.0ms

Algorithm
intervals
Results
353.0ms8419×body80valid