Details

Time bar (total: 2.0s)

sample30.0ms

Algorithm
intervals
Results
15.0ms316×body80valid

simplify72.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (15.0ms)

IterNodesCost
0258
1508
21068
32088
43226
55206
614396
750026

prune8.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.6b

Counts
2 → 2

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (* z 2.0) (- 1.0 t))
0.0b
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
8.7b
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
21×frac-add
11×frac-2neg clear-num
8×associate-/r* associate-/l/
6×*-commutative
5×flip3-+ flip-+
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l* div-inv
1×+-commutative flip3-- fma-def flip--
Counts
3 → 41
Calls
3 calls:
5.0ms
(* (* z 2.0) (- 1.0 t))
9.0ms
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
8.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

series177.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(* (* z 2.0) (- 1.0 t))
52.0ms
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
72.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

simplify90.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
0523544
12942486
25001480

prune180.0ms

Filtered
50 candidates to 40 candidates (80.0%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New46450
Fresh011
Picked101
Done000
Total47552

Merged error: 0.0b

Counts
52 → 5

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ x y) (fma 2.0 (/ 1 (* t z)) (- (* 2.0 (/ 1 t)) 2.0)))
0.5b
(/ 1 (* t z))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-/r* div-inv
1×+-commutative associate-+r+ fma-def frac-2neg flip3-+ clear-num *-commutative flip-+ fma-udef inv-pow
Counts
2 → 11
Calls
2 calls:
3.0ms
(+ (/ x y) (fma 2.0 (/ 1 (* t z)) (- (* 2.0 (/ 1 t)) 2.0)))
4.0ms
(/ 1 (* t z))

series84.0ms

Counts
2 → 6
Calls
2 calls:
69.0ms
(+ (/ x y) (fma 2.0 (/ 1 (* t z)) (- (* 2.0 (/ 1 t)) 2.0)))
15.0ms
(/ 1 (* t z))

simplify42.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 3 (39.0ms)

IterNodesCost
09090
123887
298484
3500283

prune61.0ms

Filtered
17 candidates to 12 candidates (70.6%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New14317
Fresh224
Picked101
Done000
Total17522

Merged error: 0b

Counts
22 → 5

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ x y) (fma 2.0 (/ (/ 1 z) t) (- (* 2.0 (/ 1 t)) 2.0)))
0.2b
(/ (/ 1 z) t)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
3×div-inv associate-/l/
2×frac-2neg clear-num
1×+-commutative associate-+r+ fma-def flip3-+ flip-+ fma-udef associate-/l*
Counts
2 → 12
Calls
2 calls:
3.0ms
(+ (/ x y) (fma 2.0 (/ (/ 1 z) t) (- (* 2.0 (/ 1 t)) 2.0)))
4.0ms
(/ (/ 1 z) t)

series74.0ms

Counts
2 → 6
Calls
2 calls:
63.0ms
(+ (/ x y) (fma 2.0 (/ (/ 1 z) t) (- (* 2.0 (/ 1 t)) 2.0)))
11.0ms
(/ (/ 1 z) t)

simplify42.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 3 (39.0ms)

IterNodesCost
010288
125983
2101082
3500281

prune59.0ms

Filtered
18 candidates to 12 candidates (66.7%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New18018
Fresh044
Picked011
Done000
Total18523

Merged error: 0b

Counts
23 → 5

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ x y) (fma 2.0 (/ (/ 1 t) z) (- (* 2.0 (/ 1 t)) 2.0)))
0.2b
(/ (/ 1 t) z)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
3×div-inv associate-/l/
2×frac-2neg clear-num
1×+-commutative associate-+r+ fma-def flip3-+ flip-+ fma-udef associate-/l*
Counts
2 → 12
Calls
2 calls:
3.0ms
(+ (/ x y) (fma 2.0 (/ (/ 1 t) z) (- (* 2.0 (/ 1 t)) 2.0)))
4.0ms
(/ (/ 1 t) z)

series83.0ms

Counts
2 → 6
Calls
2 calls:
69.0ms
(+ (/ x y) (fma 2.0 (/ (/ 1 t) z) (- (* 2.0 (/ 1 t)) 2.0)))
14.0ms
(/ (/ 1 t) z)

simplify41.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 3 (38.0ms)

IterNodesCost
010294
126689
2105286
3500185

prune44.0ms

Filtered
18 candidates to 11 candidates (61.1%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New18018
Fresh033
Picked011
Done011
Total18523

Merged error: 0b

Counts
23 → 5

regimes140.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0188
1188

end0.0ms

sample675.0ms

Algorithm
intervals
Results
415.0ms10406×body80valid