Details

Time bar (total: 2.5s)

sample33.0ms

Algorithm
intervals
Results
18.0ms327×body80valid

simplify65.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (12.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.1b

Counts
2 → 2

localize14.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.1b
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

rewrite23.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)))
7.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

series171.0ms

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

simplify84.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 2 (76.0ms)

IterNodesCost
0523544
12942486
25001480

prune164.0ms

Filtered
50 candidates to 40 candidates (80.0%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New46450
Fresh101
Picked101
Done000
Total48452

Merged error: 0b

Counts
52 → 4

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite8.0ms

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

series114.0ms

Counts
3 → 9
Calls
3 calls:
36.0ms
(fma 2.0 (/ 1 (* t z)) (- (* 2.0 (/ 1 t)) 2.0))
65.0ms
(+ (/ x y) (fma 2.0 (/ 1 (* t z)) (- (* 2.0 (/ 1 t)) 2.0)))
14.0ms
(/ 1 (* t z))

simplify50.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 3 (46.0ms)

IterNodesCost
097111
1288106
21510100
3500299

prune60.0ms

Filtered
21 candidates to 14 candidates (66.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New20121
Fresh123
Picked011
Done000
Total21425

Merged error: 0b

Counts
25 → 4

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma 2.0 (/ (/ 1 z) t) (- (* 2.0 (/ 1 t)) 2.0))
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 fma-udef
1×+-commutative associate-+r+ fma-def flip3-+ flip-+ associate-/l*
Counts
3 → 13
Calls
3 calls:
1.0ms
(fma 2.0 (/ (/ 1 z) t) (- (* 2.0 (/ 1 t)) 2.0))
3.0ms
(+ (/ x y) (fma 2.0 (/ (/ 1 z) t) (- (* 2.0 (/ 1 t)) 2.0)))
3.0ms
(/ (/ 1 z) t)

series102.0ms

Counts
3 → 9
Calls
3 calls:
36.0ms
(fma 2.0 (/ (/ 1 z) t) (- (* 2.0 (/ 1 t)) 2.0))
54.0ms
(+ (/ x y) (fma 2.0 (/ (/ 1 z) t) (- (* 2.0 (/ 1 t)) 2.0)))
11.0ms
(/ (/ 1 z) t)

simplify49.0ms

Algorithm
egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 3 (45.0ms)

IterNodesCost
0110109
1327102
2156498
3500197

prune53.0ms

Filtered
22 candidates to 13 candidates (59.1%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New22022
Fresh022
Picked011
Done011
Total22426

Merged error: 0b

Counts
26 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(fma (/ y x) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) z) t)
2.3b
(* (/ y x) t)
7.3b
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) z)
21.0b
(/ (fma (/ y x) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) z) t) (* (/ y x) t))

rewrite15.0ms

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

series337.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(fma (/ y x) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) z) t)
23.0ms
(* (/ y x) t)
51.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) z)
155.0ms
(/ (fma (/ y x) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) z) t) (* (/ y x) t))

simplify83.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 3 (79.0ms)

IterNodesCost
0179172
1622165
22839158
35001151

prune85.0ms

Filtered
32 candidates to 25 candidates (78.1%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New32032
Fresh011
Picked011
Done022
Total32436

Merged error: 0b

Counts
36 → 4

regimes117.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0198
1198

end0.0ms

sample772.0ms

Algorithm
intervals
Results
494.0ms10469×body80valid