Details

Time bar (total: 9.8s)

sample285.0ms

Algorithm
intervals
Results
10.0ms426×body80valid
6.0ms426×pre80true

simplify81.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0166
1406
21056
33546
411026
531896
650026

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite130.0ms

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

series123.0ms

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

simplify58.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0389602
11946551
25003545

prune175.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite310.0ms

Algorithm
rewrite-expression-head
Rules
51×times-frac
45×*-un-lft-identity
40×add-sqr-sqrt
29×add-cube-cbrt
22×add-exp-log add-cbrt-cube
11×associate-/l*
10×associate-/r/
9×associate-*r* associate-*l*
8×pow1 flip3-- flip--
7×cbrt-undiv div-exp associate-/r*
6×associate-*r/ div-inv distribute-lft-out
5×flip3-+ flip-+
4×distribute-rgt-in frac-times sub-neg distribute-lft-in prod-exp cbrt-unprod add-log-exp difference-of-squares
3×associate-/l/
2×frac-2neg pow-prod-down associate-*l/ clear-num *-commutative distribute-lft-out-- unswap-sqr
Counts
4 → 147
Calls
4 calls:
26.0ms
(/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m))
27.0ms
(* m (- (* 1.0 1.0) (* m m)))
26.0ms
(/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v)
225.0ms
(* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) (- 1.0 m))

series299.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m))
67.0ms
(* m (- (* 1.0 1.0) (* m m)))
66.0ms
(/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v)
58.0ms
(* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) (- 1.0 m))

simplify112.0ms

Algorithm
egg-herbie
Counts
159 → 159
Iterations

Useful iterations: 1 (19.0ms)

IterNodesCost
07161692
137951514
250021514

prune348.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
3337×times-frac
1664×*-un-lft-identity
1324×add-sqr-sqrt
1279×add-cube-cbrt
200×difference-of-squares
189×distribute-lft-out
135×div-inv
110×associate-/r/
97×associate-/r*
47×flip3-+ flip-+
43×add-exp-log
34×add-cbrt-cube
28×div-exp
20×associate-/l*
19×cbrt-undiv
14×associate-*l*
7×flip3-- flip--
6×pow1
5×associate-*r*
4×frac-times add-log-exp
3×frac-2neg 1-exp clear-num associate-/l/
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/ distribute-lft-out--
1×div-sub pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 1224
Calls
4 calls:
22.0ms
(/ v (/ (- (* 1.0 1.0) (* m m)) (+ 1.0 m)))
1.8s
(* (- (/ (/ m 1) (/ v (/ (- (* 1.0 1.0) (* m m)) (+ 1.0 m)))) 1.0) (- 1.0 m))
27.0ms
(/ (- (* 1.0 1.0) (* m m)) (+ 1.0 m))
55.0ms
(/ (/ m 1) (/ v (/ (- (* 1.0 1.0) (* m m)) (+ 1.0 m))))

series246.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(/ v (/ (- (* 1.0 1.0) (* m m)) (+ 1.0 m)))
54.0ms
(* (- (/ (/ m 1) (/ v (/ (- (* 1.0 1.0) (* m m)) (+ 1.0 m)))) 1.0) (- 1.0 m))
73.0ms
(/ (- (* 1.0 1.0) (* m m)) (+ 1.0 m))
62.0ms
(/ (/ m 1) (/ v (/ (- (* 1.0 1.0) (* m m)) (+ 1.0 m))))

simplify221.0ms

Algorithm
egg-herbie
Counts
1236 → 1236
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
0500121957

prune2.9s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite599.0ms

Algorithm
rewrite-expression-head
Rules
47×times-frac
46×*-un-lft-identity
45×add-sqr-sqrt
32×frac-times
28×add-cube-cbrt
22×add-exp-log flip3-- add-cbrt-cube flip--
18×associate-*r*
16×flip3-+ associate-*l/ flip-+
13×pow1
12×associate-*r/
10×associate-*l* associate-/l*
8×sqrt-prod associate-/r/
7×difference-of-squares
6×prod-exp cbrt-unprod distribute-lft-out
5×cbrt-undiv distribute-rgt-in distribute-lft-in div-exp pow-prod-down div-inv
4×sub-neg add-log-exp
3×associate-/r* *-commutative distribute-lft-out--
2×unswap-sqr
1×frac-2neg clear-num associate-/l/
Counts
4 → 172
Calls
4 calls:
27.0ms
(* m (- (* 1.0 1.0) (* m m)))
25.0ms
(/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v)
301.0ms
(* (* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))
238.0ms
(* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))

series443.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* m (- (* 1.0 1.0) (* m m)))
67.0ms
(/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v)
150.0ms
(* (* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))
157.0ms
(* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))

simplify53.0ms

Algorithm
egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
011272981
150022684

prune553.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes44.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01610
11610

end0.0ms

sample736.0ms

Algorithm
intervals
Results
305.0ms13796×body80valid
156.0ms13796×pre80true