Details

Time bar (total: 2.9s)

sample323.0ms

Algorithm
intervals
Results
58.0ms424×body80valid
6.0ms424×pre80true

simplify96.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0166
1406
21126
33936
413446
540726
650016

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

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
8×flip3-- flip--
6×associate-*r/
4×distribute-rgt-in frac-times sub-neg distribute-lft-in
3×*-commutative
2×associate-*l/ associate-/l/ associate-/l*
1×frac-2neg clear-num div-inv
Counts
3 → 27
Calls
3 calls:
3.0ms
(* m (- 1.0 m))
8.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
7.0ms
(/ (* m (- 1.0 m)) v)

series152.0ms

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

simplify99.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 3 (94.0ms)

IterNodesCost
0209253
1750248
23956238
35001236

prune79.0ms

Filtered
36 candidates to 23 candidates (63.9%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New32436
Fresh000
Picked101
Done000
Total33437

Merged error: 0.0b

Counts
37 → 4

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

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

series111.0ms

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

simplify147.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0236272
1982263
24986254
35001254

prune82.0ms

Filtered
36 candidates to 26 candidates (72.2%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New36036
Fresh033
Picked011
Done000
Total36440

Merged error: 0.0b

Counts
40 → 4

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
6×flip3-- *-commutative flip--
4×distribute-lft-neg-out frac-times
2×distribute-rgt-in sub-neg distribute-rgt-out fma-def distribute-lft-in flip3-+ div-sub associate-*r/ unsub-neg associate-*l/ flip-+ associate-/l/ distribute-lft-out associate-/l*
1×+-commutative frac-2neg clear-num div-inv
Counts
3 → 31
Calls
3 calls:
5.0ms
(+ (* 1.0 m) (* (- m) m))
11.0ms
(* (- (/ (+ (* 1.0 m) (* (- m) m)) v) 1.0) (- 1.0 m))
7.0ms
(/ (+ (* 1.0 m) (* (- m) m)) v)

series143.0ms

Counts
3 → 9
Calls
3 calls:
58.0ms
(+ (* 1.0 m) (* (- m) m))
38.0ms
(* (- (/ (+ (* 1.0 m) (* (- m) m)) v) 1.0) (- 1.0 m))
46.0ms
(/ (+ (* 1.0 m) (* (- m) m)) v)

simplify36.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0251342
1975319
25001281

prune82.0ms

Filtered
40 candidates to 24 candidates (60.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New40040
Fresh022
Picked011
Done011
Total40444

Merged error: 0.0b

Counts
44 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (fma m m (* 1.0 m))) v)) 1.0) (- 1.0 m))
0.1b
(* m (- (pow 1.0 3) (pow m 3)))
0.1b
(* (fma 1.0 1.0 (fma m m (* 1.0 m))) v)
0.1b
(/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (fma m m (* 1.0 m))) v))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
16×sqr-pow
11×*-commutative
8×distribute-rgt-in flip3-- distribute-lft-in times-frac unpow3 associate-*r* prod-diff flip--
6×associate-*r/
4×difference-cubes frac-times sub-neg associate-/l* difference-of-squares
2×associate-*l/ associate-/r* associate-/l/
1×frac-2neg clear-num div-inv
Counts
4 → 50
Calls
4 calls:
14.0ms
(* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (fma m m (* 1.0 m))) v)) 1.0) (- 1.0 m))
6.0ms
(* m (- (pow 1.0 3) (pow m 3)))
2.0ms
(* (fma 1.0 1.0 (fma m m (* 1.0 m))) v)
13.0ms
(/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (fma m m (* 1.0 m))) v))

series365.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (fma m m (* 1.0 m))) v)) 1.0) (- 1.0 m))
96.0ms
(* m (- (pow 1.0 3) (pow m 3)))
46.0ms
(* (fma 1.0 1.0 (fma m m (* 1.0 m))) v)
119.0ms
(/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (fma m m (* 1.0 m))) v))

simplify51.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0416686
11590668
25002636

prune166.0ms

Filtered
62 candidates to 42 candidates (67.7%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New62062
Fresh011
Picked011
Done022
Total62466

Merged error: 0.0b

Counts
66 → 4

regimes41.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
096
196

end0.0ms

sample737.0ms

Algorithm
intervals
Results
334.0ms13801×body80valid
179.0ms13801×pre80true