Details

Time bar (total: 2.7s)

sample282.0ms

Algorithm
intervals
Results
11.0ms424×body80valid
6.0ms424×pre80true

simplify119.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0165
1345
2675
31695
43455
54665
66705
710145
815285
921165
1030365
1150015

prune4.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: 0.2b

Counts
2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(* m (- 1.0 m))
0.1b
(/ (* m (- 1.0 m)) v)
0.1b
(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-*r/
3×flip3-- *-commutative flip--
2×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-/l/ associate-/l*
1×frac-2neg clear-num div-inv
Counts
3 → 17
Calls
3 calls:
4.0ms
(* m (- 1.0 m))
5.0ms
(/ (* m (- 1.0 m)) v)
11.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

series145.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(* m (- 1.0 m))
38.0ms
(/ (* m (- 1.0 m)) v)
60.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

simplify39.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 3 (36.0ms)

IterNodesCost
0125103
1324100
2117194
3500285

prune46.0ms

Filtered
26 candidates to 14 candidates (53.8%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New21526
Fresh000
Picked011
Done000
Total21627

Merged error: 0.1b

Counts
27 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ v (- 1.0 m))
0.0b
(/ m (/ v (- 1.0 m)))
0.1b
(* (- (/ m (/ v (- 1.0 m))) 1.0) m)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
7×associate-/r/
3×flip3-- frac-2neg clear-num associate-/r* flip-- div-inv
2×associate-*l/
1×*-commutative
Counts
3 → 17
Calls
3 calls:
3.0ms
(/ v (- 1.0 m))
3.0ms
(/ m (/ v (- 1.0 m)))
7.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) m)

series108.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(/ v (- 1.0 m))
39.0ms
(/ m (/ v (- 1.0 m)))
34.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) m)

simplify64.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
0142122
1488121
21924114
35002114

prune58.0ms

Filtered
26 candidates to 19 candidates (73.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New23326
Fresh224
Picked101
Done011
Total26632

Merged error: 0.0b

Counts
32 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ v (- (* 1.0 1.0) (* m m)))
0.0b
(/ m (* (/ v (- (* 1.0 1.0) (* m m))) (+ 1.0 m)))
0.1b
(* (/ v (- (* 1.0 1.0) (* m m))) (+ 1.0 m))
0.1b
(* (- (/ m (* (/ v (- (* 1.0 1.0) (* m m))) (+ 1.0 m))) 1.0) m)

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
33×associate-/r*
31×*-commutative
29×associate-/r/
28×frac-times difference-of-squares
16×flip3-+ associate-*l/ flip-+
8×frac-2neg clear-num
6×associate-*l*
4×flip3-- associate-*r/ flip-- div-inv
2×+-commutative distribute-rgt-in distribute-lft-in
Counts
4 → 74
Calls
4 calls:
5.0ms
(/ v (- (* 1.0 1.0) (* m m)))
10.0ms
(/ m (* (/ v (- (* 1.0 1.0) (* m m))) (+ 1.0 m)))
8.0ms
(* (/ v (- (* 1.0 1.0) (* m m))) (+ 1.0 m))
18.0ms
(* (- (/ m (* (/ v (- (* 1.0 1.0) (* m m))) (+ 1.0 m))) 1.0) m)

series260.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(/ v (- (* 1.0 1.0) (* m m)))
71.0ms
(/ m (* (/ v (- (* 1.0 1.0) (* m m))) (+ 1.0 m)))
60.0ms
(* (/ v (- (* 1.0 1.0) (* m m))) (+ 1.0 m))
65.0ms
(* (- (/ m (* (/ v (- (* 1.0 1.0) (* m m))) (+ 1.0 m))) 1.0) m)

simplify56.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0429579
11975571
25002492

prune171.0ms

Filtered
86 candidates to 56 candidates (65.1%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New84286
Fresh224
Picked011
Done011
Total86692

Merged error: 0.0b

Counts
92 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ m (+ 1.0 m))
0.1b
(/ (- (* 1.0 1.0) (* m m)) v)
0.1b
(* (- (* (/ m (+ 1.0 m)) (/ (- (* 1.0 1.0) (* m m)) v)) 1.0) m)
0.2b
(* (/ m (+ 1.0 m)) (/ (- (* 1.0 1.0) (* m m)) v))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
27×frac-times
22×*-commutative
20×associate-/l* difference-of-squares
17×clear-num
16×frac-2neg
10×associate-/l/
9×associate-*r/
6×flip3-- flip--
5×associate-*l/
4×associate-/r/ div-inv
3×associate-*l*
2×flip3-+ flip-+
1×div-sub associate-*r* un-div-inv
Counts
4 → 63
Calls
4 calls:
3.0ms
(/ m (+ 1.0 m))
6.0ms
(/ (- (* 1.0 1.0) (* m m)) v)
16.0ms
(* (- (* (/ m (+ 1.0 m)) (/ (- (* 1.0 1.0) (* m m)) v)) 1.0) m)
10.0ms
(* (/ m (+ 1.0 m)) (/ (- (* 1.0 1.0) (* m m)) v))

series206.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(/ m (+ 1.0 m))
41.0ms
(/ (- (* 1.0 1.0) (* m m)) v)
59.0ms
(* (- (* (/ m (+ 1.0 m)) (/ (- (* 1.0 1.0) (* m m)) v)) 1.0) m)
72.0ms
(* (/ m (+ 1.0 m)) (/ (- (* 1.0 1.0) (* m m)) v))

simplify60.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
0384490
12183470
25001425

prune149.0ms

Filtered
75 candidates to 51 candidates (68.0%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New74175
Fresh123
Picked011
Done022
Total75681

Merged error: 0.0b

Counts
81 → 6

regimes69.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0105
1105

end0.0ms

sample731.0ms

Algorithm
intervals
Results
338.0ms13801×body80valid
178.0ms13801×pre80true