Details

Time bar (total: 36.2s)

sample307.0ms

Algorithm
intervals
Results
88.0ms453×body80valid
29.0ms453×pre80true

simplify1.0s

Counts
1 → 1
Calls
1 calls:
Slowest
1.0s
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite121.0ms

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

series123.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
64.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
59.0ms
(/ (* m (- 1 m)) v)

simplify7.7s

Counts
52 → 68
Calls
52 calls:
Slowest
690.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
635.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
617.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
385.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
344.0ms
(* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) (- (pow 1 3) (pow m 3)))

prune571.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
171×times-frac
155×add-sqr-sqrt
137×*-un-lft-identity
81×add-cube-cbrt
40×difference-of-squares
30×associate-/r*
18×distribute-lft-out--
13×associate-*l*
12×add-cbrt-cube add-exp-log
11×flip3-- associate-/r/ flip--
6×associate-*r* div-inv associate-/l*
5×pow1
4×frac-times cbrt-undiv div-exp
3×difference-of-sqr-1 insert-posit16 add-log-exp
2×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in associate-*l/ associate-*r/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 201
Calls
3 calls:
Slowest
171.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
18.0ms
(/ m (/ v (- 1 m)))
16.0ms
(/ v (- 1 m))

series143.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
56.0ms
(/ m (/ v (- 1 m)))
46.0ms
(/ v (- 1 m))
41.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))

simplify22.4s

Counts
270 → 210
Calls
270 calls:
Slowest
595.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
535.0ms
(* (+ (/ m (/ v (- 1 m))) 1) (+ 1 m))
512.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- 1 m))
507.0ms
(/ (* (* m m) m) (* (* (/ v (- 1 m)) (/ v (- 1 m))) (/ v (- 1 m))))
480.0ms
(/ (* (cbrt m) (cbrt m)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- 1 m)) (cbrt (- 1 m)))))

prune1.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (/ m (/ (sqrt v) 1)) (/ (sqrt v) (- 1 m)))
0.3b
(/ m (/ (sqrt v) 1))
0.1b
(* (- (/ (/ m (/ (sqrt v) 1)) (/ (sqrt v) (- 1 m))) 1) (- 1 m))
0.0b
(/ (sqrt v) (- 1 m))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
11079×times-frac
5687×add-sqr-sqrt
5495×*-un-lft-identity
4136×add-cube-cbrt
2550×sqrt-prod
918×difference-of-squares
441×distribute-lft-out--
251×div-inv
191×associate-/r/
80×associate-/l*
79×flip3-- flip--
70×associate-/r*
61×associate-*l*
43×add-exp-log
34×add-cbrt-cube
28×div-exp
19×cbrt-undiv difference-of-sqr-1
6×pow1 associate-*r*
4×frac-times insert-posit16 add-log-exp
3×clear-num frac-2neg 1-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr associate-/l/
Counts
4 → 3385
Calls
4 calls:
Slowest
1.1s
(* (- (/ (/ m (/ (sqrt v) 1)) (/ (sqrt v) (- 1 m))) 1) (- 1 m))
38.0ms
(/ (/ m (/ (sqrt v) 1)) (/ (sqrt v) (- 1 m)))
9.0ms
(/ (sqrt v) (- 1 m))
6.0ms
(/ m (/ (sqrt v) 1))

series284.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
106.0ms
(/ (/ m (/ (sqrt v) 1)) (/ (sqrt v) (- 1 m)))
72.0ms
(/ m (/ (sqrt v) 1))
55.0ms
(/ (sqrt v) (- 1 m))
50.0ms
(* (- (/ (/ m (/ (sqrt v) 1)) (/ (sqrt v) (- 1 m))) 1) (- 1 m))