Details

Time bar (total: 5.2s)

sample284.0ms

Algorithm
intervals
Results
11.0ms435×body80valid
7.0ms435×pre80true

simplify79.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0166
1406
21056
33546
411026
531896
650026

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite86.0ms

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

series156.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(- (/ (* m (- 1.0 m)) v) 1.0)
44.0ms
(* m (- 1.0 m))
41.0ms
(/ (* m (- 1.0 m)) v)
45.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

simplify58.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
0400725
11959665
25002653

prune210.0ms

Filtered
109 candidates to 72 candidates (66.1%)
Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite295.0ms

Algorithm
rewrite-expression-head
Rules
144×times-frac
128×add-sqr-sqrt
112×*-un-lft-identity
74×add-cube-cbrt
26×associate-/r*
23×difference-of-squares
19×distribute-lft-out--
13×add-exp-log add-cbrt-cube
12×flip3-- flip--
11×associate-/r/
7×associate-*l*
6×pow1 div-inv associate-/l* add-log-exp
5×associate-*r*
4×cbrt-undiv frac-times div-exp
3×sub-neg
2×distribute-rgt-in frac-2neg distribute-lft-in associate-*r/ associate-*l/ clear-num
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 191
Calls
4 calls:
67.0ms
(- (/ m (/ v (- 1.0 m))) 1.0)
5.0ms
(/ v (- 1.0 m))
9.0ms
(/ m (/ v (- 1.0 m)))
204.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))

series134.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(- (/ m (/ v (- 1.0 m))) 1.0)
34.0ms
(/ v (- 1.0 m))
41.0ms
(/ m (/ v (- 1.0 m)))
36.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))

simplify93.0ms

Algorithm
egg-herbie
Counts
203 → 203
Iterations

Useful iterations: 2 (76.0ms)

IterNodesCost
06991623
134481558
250011557

prune462.0ms

Filtered
203 candidates to 152 candidates (74.9%)
Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite349.0ms

Algorithm
rewrite-expression-head
Rules
247×add-sqr-sqrt
154×times-frac
142×*-un-lft-identity
114×difference-of-squares
86×associate-*l*
84×unpow-prod-down cube-prod
68×add-cube-cbrt
56×sqr-pow
37×distribute-lft-out--
26×associate-/r*
22×add-exp-log add-cbrt-cube
9×associate-/r/
8×pow1 frac-times flip3-- associate-*r* flip--
7×difference-cubes
6×cbrt-undiv associate-*r/ div-exp associate-/l*
5×prod-exp cbrt-unprod
4×flip3-+ associate-*l/ flip-+ add-log-exp
3×distribute-rgt-in distribute-lft-in div-inv unswap-sqr
2×sub-neg frac-2neg pow-prod-down clear-num *-commutative
Counts
4 → 285
Calls
4 calls:
27.0ms
(/ m (* (/ v (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
29.0ms
(/ v (- (pow 1.0 3) (pow m 3)))
97.0ms
(* (/ v (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
174.0ms
(* (- (/ m (* (/ v (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))) 1.0) (- 1.0 m))

series323.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(/ m (* (/ v (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
46.0ms
(/ v (- (pow 1.0 3) (pow m 3)))
87.0ms
(* (/ v (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
90.0ms
(* (- (/ m (* (/ v (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))) 1.0) (- 1.0 m))

simplify64.0ms

Algorithm
egg-herbie
Counts
297 → 297
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
012273583
150013368

prune811.0ms

Filtered
297 candidates to 184 candidates (62.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
32×frac-times
27×add-sqr-sqrt
23×flip3-- *-un-lft-identity flip--
19×associate-*r*
18×add-exp-log add-cbrt-cube
16×associate-*l/
14×associate-*r/
13×pow1
12×flip3-+ flip-+
11×add-cube-cbrt
9×associate-*l*
8×sqrt-prod
6×prod-exp cbrt-unprod difference-of-squares
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×sub-neg distribute-lft-out-- add-log-exp
3×times-frac associate-/r* *-commutative
2×cbrt-undiv div-exp associate-/l/ distribute-lft-out unswap-sqr
1×frac-2neg clear-num div-inv associate-/l*
Counts
4 → 135
Calls
4 calls:
11.0ms
(* m (- 1.0 m))
6.0ms
(/ (* m (- 1.0 m)) v)
75.0ms
(* (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))
50.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))

series346.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* m (- 1.0 m))
35.0ms
(/ (* m (- 1.0 m)) v)
132.0ms
(* (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))
133.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))

simplify38.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
08551758
150021540

prune386.0ms

Filtered
147 candidates to 105 candidates (71.4%)
Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes74.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

sample730.0ms

Algorithm
intervals
Results
317.0ms13835×body80valid
184.0ms13835×pre80true