Details

Time bar (total: 3.0s)

sample41.0ms

Algorithm
intervals
Results
13.0ms411×body80valid
9.0ms411×pre80true

simplify739.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
0528811

prune12.0ms

Filtered
1 candidates to 1 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 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
39×*-un-lft-identity
31×times-frac
25×add-cube-cbrt
22×associate-*r*
12×add-exp-log add-cbrt-cube
7×pow1 distribute-lft-out-- difference-of-squares
6×associate-*l*
5×associate-/l*
3×associate-*r/ prod-exp associate-/r* cbrt-unprod add-log-exp unswap-sqr
2×cbrt-undiv distribute-rgt-in sub-neg flip3-- distribute-lft-in div-exp pow-prod-down *-commutative flip-- div-inv associate-/l/
1×frac-2neg div-sub clear-num
Counts
3 → 100
Calls
3 calls:
6.0ms
(/ (- 1.0 m) v)
10.0ms
(* m (- (* m (/ (- 1.0 m) v)) 1.0))
12.0ms
(* m (/ (- 1.0 m) v))

series27.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(/ (- 1.0 m) v)
8.0ms
(* m (- (* m (/ (- 1.0 m) v)) 1.0))
15.0ms
(* m (/ (- 1.0 m) v))

simplify51.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
049711061
149711061

prune166.0ms

Filtered
72 candidates to 109 candidates (-51.4%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New9910109
Fresh011
Picked101
Done000
Total10011111

Merged error: 0.0b

Counts
111 → 11

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×*-un-lft-identity
12×add-exp-log add-cbrt-cube
9×add-cube-cbrt
8×associate-*r* associate-*l*
7×pow1
4×associate-*r/
3×flip3-- times-frac prod-exp associate-/r* flip-- cbrt-unprod add-log-exp
2×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in div-exp pow-prod-down associate-*l/ *-commutative associate-/l/ distribute-lft-out-- difference-of-squares unswap-sqr
1×frac-2neg clear-num div-inv associate-/l*
Counts
3 → 71
Calls
3 calls:
6.0ms
(* m (- 1.0 m))
7.0ms
(/ (* m (- 1.0 m)) v)
10.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

series20.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(* m (- 1.0 m))
8.0ms
(/ (* m (- 1.0 m)) v)
7.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

simplify48.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
04968723
14968723

prune120.0ms

Filtered
55 candidates to 80 candidates (-45.5%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New77380
Fresh2810
Picked011
Done000
Total791291

Merged error: 0.0b

Counts
91 → 12

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
27×*-un-lft-identity
20×times-frac
15×associate-*r*
12×distribute-rgt-in distribute-lft-in
11×add-cube-cbrt
9×sub-neg
8×associate--l+ distribute-lft-out-- difference-of-squares
7×pow1 add-exp-log add-cbrt-cube
6×associate-*r/ associate-*l*
5×add-log-exp
4×div-inv
3×flip3-- flip--
2×distribute-rgt-out-- pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod sub-div unswap-sqr
1×diff-log
Counts
3 → 90
Calls
3 calls:
14.0ms
(- (/ 1.0 v) (/ m v))
18.0ms
(* m (- (* m (- (/ 1.0 v) (/ m v))) 1.0))
15.0ms
(* m (- (/ 1.0 v) (/ m v)))

series18.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(- (/ 1.0 v) (/ m v))
7.0ms
(* m (- (* m (- (/ 1.0 v) (/ m v))) 1.0))
6.0ms
(* m (- (/ 1.0 v) (/ m v)))

simplify33.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
050851059

prune125.0ms

Filtered
63 candidates to 99 candidates (-57.1%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New99099
Fresh01010
Picked011
Done011
Total9912111

Merged error: 0.0b

Counts
111 → 12

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ m (sqrt v)) (- 1.0 m))
0.2b
(* (- (/ (* (/ m (sqrt v)) (- 1.0 m)) (sqrt v)) 1.0) m)
0.3b
(/ m (sqrt v))
0.3b
(/ (* (/ m (sqrt v)) (- 1.0 m)) (sqrt v))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
44×times-frac
43×*-un-lft-identity
39×add-cube-cbrt
28×sqrt-prod
27×associate-*l*
22×add-exp-log add-cbrt-cube
12×associate-/r*
8×pow1 associate-*r*
6×cbrt-undiv div-exp
5×flip3-- prod-exp flip-- cbrt-unprod associate-/l/
4×frac-times associate-*r/ associate-*l/ associate-/l* add-log-exp unswap-sqr
3×div-inv
2×distribute-rgt-in sub-neg frac-2neg distribute-lft-in pow-prod-down clear-num *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 147
Calls
4 calls:
11.0ms
(* (/ m (sqrt v)) (- 1.0 m))
18.0ms
(* (- (/ (* (/ m (sqrt v)) (- 1.0 m)) (sqrt v)) 1.0) m)
4.0ms
(/ m (sqrt v))
11.0ms
(/ (* (/ m (sqrt v)) (- 1.0 m)) (sqrt v))

series36.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(* (/ m (sqrt v)) (- 1.0 m))
11.0ms
(* (- (/ (* (/ m (sqrt v)) (- 1.0 m)) (sqrt v)) 1.0) m)
7.0ms
(/ m (sqrt v))
9.0ms
(/ (* (/ m (sqrt v)) (- 1.0 m)) (sqrt v))

simplify34.0ms

Algorithm
egg-herbie
Counts
159 → 159
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
051231674

prune152.0ms

Filtered
116 candidates to 159 candidates (-37.1%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1572159
Fresh369
Picked011
Done202
Total1629171

Merged error: 0b

Counts
171 → 9

regimes121.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01213
11213

end0.0ms

sample1.0s

Algorithm
intervals
Results
411.0ms13740×body80valid
252.0ms13740×pre80true

Profiling

Loading profile data...