Details

Time bar (total: 2.9s)

sample228.0ms

Algorithm
intervals
Results
14.0ms459×body80valid
9.0ms459×pre80true

simplify116.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0165
1345
2675
31695
43455
54665
66705
710145
815285
921175
1030375
1150015

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.0ms

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

series21.0ms

Counts
2 → 6
Calls
2 calls:
6.0ms
(/ (* m (- 1.0 m)) v)
15.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

simplify33.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0261309
11167275
25001269

prune95.0ms

Filtered
35 candidates to 51 candidates (-45.7%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New43851
Fresh000
Picked101
Done000
Total44852

Merged error: 0.0b

Counts
52 → 8

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
126×times-frac
97×add-sqr-sqrt
88×*-un-lft-identity
62×add-cube-cbrt
21×associate-/r*
15×difference-of-squares
13×distribute-lft-out--
9×add-exp-log associate-/r/ add-cbrt-cube
7×associate-*l*
5×flip3-- flip-- div-inv
4×pow1
3×cbrt-undiv div-exp associate-*r* associate-/l*
2×associate-*l/ add-log-exp
1×frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
Counts
2 → 126
Calls
2 calls:
11.0ms
(/ m (/ v (- 1.0 m)))
28.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) m)

series12.0ms

Counts
2 → 6
Calls
2 calls:
5.0ms
(/ m (/ v (- 1.0 m)))
7.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) m)

simplify69.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
05501060
126851020
250011018

prune168.0ms

Filtered
98 candidates to 132 candidates (-34.7%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1311132
Fresh167
Picked011
Done000
Total1328140

Merged error: 0.0b

Counts
140 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
233×times-frac
152×add-sqr-sqrt
127×*-un-lft-identity
117×add-cube-cbrt
64×add-exp-log
62×associate-*l*
34×add-cbrt-cube
29×div-exp
25×difference-of-squares
22×associate-/r*
21×associate-*r*
20×associate-/r/
15×prod-exp
13×cbrt-undiv
11×div-inv unswap-sqr
9×pow1 flip3-- flip--
7×cbrt-unprod
6×rec-exp 1-exp associate-/l*
4×add-log-exp
3×associate-*l/ distribute-lft-out
2×frac-2neg pow-prod-down clear-num *-commutative
1×frac-times pow-flip flip3-+ associate-*r/ flip-+ inv-pow
Counts
4 → 268
Calls
4 calls:
5.0ms
(/ v (- (* 1.0 1.0) (* m m)))
9.0ms
(/ 1 (/ v (- (* 1.0 1.0) (* m m))))
18.0ms
(* (- (* (/ 1 (/ v (- (* 1.0 1.0) (* m m)))) (/ m (+ 1.0 m))) 1.0) m)
35.0ms
(* (/ 1 (/ v (- (* 1.0 1.0) (* m m)))) (/ m (+ 1.0 m)))

series66.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(/ v (- (* 1.0 1.0) (* m m)))
10.0ms
(/ 1 (/ v (- (* 1.0 1.0) (* m m))))
18.0ms
(* (- (* (/ 1 (/ v (- (* 1.0 1.0) (* m m)))) (/ m (+ 1.0 m))) 1.0) m)
23.0ms
(* (/ 1 (/ v (- (* 1.0 1.0) (* m m)))) (/ m (+ 1.0 m)))

simplify56.0ms

Algorithm
egg-herbie
Counts
280 → 280
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
011722904
150022569

prune463.0ms

Filtered
199 candidates to 280 candidates (-40.7%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New2791280
Fresh156
Picked011
Done011
Total2808288

Merged error: 0.0b

Counts
288 → 8

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
44×times-frac
34×add-sqr-sqrt
31×add-exp-log
29×*-un-lft-identity
25×add-cube-cbrt
19×add-cbrt-cube
14×div-exp
11×associate-/r/
10×associate-*r/ associate-/r*
8×associate-*l*
7×cbrt-undiv div-inv
6×pow1 flip3-- flip-- associate-/l*
5×prod-exp
3×rec-exp 1-exp associate-*r* cbrt-unprod add-log-exp difference-of-squares
2×frac-2neg associate-*l/ clear-num distribute-lft-out--
1×pow-flip pow-prod-down *-commutative inv-pow unswap-sqr
Counts
3 → 112
Calls
3 calls:
6.0ms
(/ v (* m (- 1.0 m)))
20.0ms
(* (- (/ 1 (/ v (* m (- 1.0 m)))) 1.0) m)
9.0ms
(/ 1 (/ v (* m (- 1.0 m))))

series27.0ms

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

simplify59.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
0485854
12423709
25002695

prune99.0ms

Filtered
67 candidates to 121 candidates (-80.6%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1210121
Fresh055
Picked011
Done022
Total1218129

Merged error: 0.0b

Counts
129 → 8

regimes161.0ms

Accuracy

0% (0.2b 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
095
195

end0.0ms

sample1.0s

Algorithm
intervals
Results
398.0ms13863×body80valid
253.0ms13863×pre80true

Profiling

Loading profile data...