Details

sample457.0ms

Algorithm

intervals

Results

192.0ms	448×	body	80	valid
73.0ms	448×	pre	80	true

simplify881.0ms

Calls

1 calls:

Slowest

880.0ms

(* (- (/ (* m (- 1 m)) v) 1) m)

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite404.0ms

Algorithm

rewrite-expression-head

Rules

83×	`add-sqr-sqrt`
55×	`*-un-lft-identity`
51×	`times-frac`
35×	`add-cube-cbrt`
33×	`associate-r`
28×	`associate-l`
16×	`difference-of-squares`
15×	`associate-/l*`
12×	`add-cbrt-cube` `add-exp-log`
9×	`unswap-sqr`
7×	`pow1`
6×	`*-commutative` `distribute-lft-out--`
4×	`associate-*r/`
3×	`associate-/r*` `flip3--` `difference-of-sqr-1` `prod-exp` `cbrt-unprod` `insert-posit16` `flip--` `add-log-exp`
2×	`distribute-rgt-in` `cbrt-undiv` `sub-neg` `distribute-lft-in` `div-exp` `pow-prod-down` `associate-*l/` `associate-/l/`
1×	`clear-num` `frac-2neg` `div-inv`

Calls

3 calls:

Slowest

352.0ms	(* (- (/ (* m (- 1 m)) v) 1) m)
33.0ms	(/ (* m (- 1 m)) v)
16.0ms	(* m (- 1 m))

series138.0ms

Calls

3 calls:

Slowest

56.0ms	(* m (- 1 m))
43.0ms	(/ (* m (- 1 m)) v)
38.0ms	(* (- (/ (* m (- 1 m)) v) 1) m)

simplify8.9s

Calls

158 calls:

Slowest

446.0ms	(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
428.0ms	(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* m m) m))
252.0ms	(/ (* (* (* m m) m) (* (* (- 1 m) (- 1 m)) (- 1 m))) (* (* v v) v))
228.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
226.0ms	(* (* (* m m) m) (* (* (- 1 m) (- 1 m)) (- 1 m)))

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite329.0ms

Algorithm

rewrite-expression-head

Rules

171×	`times-frac`
157×	`add-sqr-sqrt`
139×	`*-un-lft-identity`
83×	`add-cube-cbrt`
40×	`difference-of-squares`
36×	`associate-/r*`
22×	`associate-/r/`
18×	`distribute-lft-out--`
13×	`associate-l`
12×	`add-cbrt-cube` `add-exp-log`
9×	`associate-/l*`
6×	`flip3--` `div-inv` `flip--`
5×	`pow1`
4×	`cbrt-undiv` `div-exp`
3×	`clear-num` `frac-2neg` `difference-of-sqr-1` `associate-r` `insert-posit16` `add-log-exp`
2×	`associate-*l/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Calls

3 calls:

Slowest

298.0ms	(* (- (/ m (/ v (- 1 m))) 1) m)
19.0ms	(/ m (/ v (- 1 m)))
8.0ms	(/ v (- 1 m))

series138.0ms

Calls

3 calls:

Slowest

57.0ms	(/ m (/ v (- 1 m)))
45.0ms	(/ v (- 1 m))
36.0ms	(* (- (/ m (/ v (- 1 m))) 1) m)

simplify19.2s

Calls

263 calls:

Slowest

556.0ms	(/ (* (cbrt m) (cbrt m)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- 1 m)) (cbrt (- 1 m)))))
505.0ms	(/ (* (* m m) m) (* (* (/ v (- 1 m)) (/ v (- 1 m))) (/ v (- 1 m))))
491.0ms	(* (* (* (- (/ m (/ v (- 1 m))) 1) (- (/ m (/ v (- 1 m))) 1)) (- (/ m (/ v (- 1 m))) 1)) (* (* m m) m))
412.0ms	(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) m)
377.0ms	(/ (sqrt m) (/ v (- (pow 1 3) (pow m 3))))

prune1.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.2s

Algorithm

rewrite-expression-head

Rules

1216×	`add-sqr-sqrt`
1073×	`times-frac`
1026×	`*-un-lft-identity`
608×	`difference-of-squares`
606×	`associate-l`
450×	`unpow-prod-down` `cube-prod`
405×	`add-cube-cbrt`
389×	`associate-/r*`
250×	`sqr-pow`
172×	`frac-times`
151×	`distribute-lft-out--`
143×	`associate-/r/`
100×	`difference-cubes` `pow-unpow`
88×	`flip3-+` `associate-*l/` `flip-+`
33×	`associate-r`
25×	`cube-mult` `distribute-lft-out`
24×	`associate-/l*`
22×	`add-cbrt-cube` `add-exp-log`
17×	`unswap-sqr`
8×	`pow1` `clear-num` `frac-2neg`
7×	`flip3--` `div-inv` `flip--`
6×	`cbrt-undiv` `div-exp` `*-commutative`
5×	`prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `+-commutative` `associate-+l+` `distribute-lft-in` `difference-of-sqr-1` `associate-*r/` `insert-posit16` `add-log-exp`
2×	`pow-prod-down`

Calls

4 calls:

Slowest

7.3s	(* (- (/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))) 1) m)
485.0ms	(/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)))
293.0ms	(* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))
22.0ms	(/ v (- (pow 1 3) (pow m 3)))

series414.0ms

Calls

4 calls:

Slowest

120.0ms	(/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)))
120.0ms	(* (- (/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))) 1) m)
101.0ms	(* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))
73.0ms	(/ v (- (pow 1 3) (pow m 3)))

simplify6.7m

Calls

1704 calls:

Slowest

939.0ms	(/ (* (* m m) m) (* (/ (* (* v v) v) (* (* (- (pow 1 3) (pow m 3)) (- (pow 1 3) (pow m 3))) (- (pow 1 3) (pow m 3)))) (* (* (+ (+ (* m m) m) 1) (+ (+ (* m m) m) 1)) (+ (+ (* m m) m) 1))))
900.0ms	(/ (* (* m m) m) (* (* (* (/ v (- (pow 1 3) (pow m 3))) (/ v (- (pow 1 3) (pow m 3)))) (/ v (- (pow 1 3) (pow m 3)))) (* (* (+ (+ (* m m) m) 1) (+ (+ (* m m) m) 1)) (+ (+ (* m m) m) 1))))
775.0ms	(/ (* (cbrt m) (cbrt m)) (/ (sqrt v) (+ (pow 1 3) (pow (sqrt m) 3))))
750.0ms	(/ (* (* m m) m) (* (* (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)) (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))) (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))))
705.0ms	(/ (sqrt m) (* (/ v (- (pow (sqrt 1) 3) (pow m (/ 3 2)))) (+ (+ (* m m) m) 1)))

prune14.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (- (/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))) 1) (sqrt m)) (sqrt m))
0.2b	(* (- (/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))) 1) (sqrt m))
0.1b	(* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))
0.0b	(/ v (- (pow 1 3) (pow m 3)))

rewrite30.7s

Algorithm

rewrite-expression-head

Rules

500×	`add-sqr-sqrt`
353×	`*-un-lft-identity`
256×	`difference-of-squares`
247×	`times-frac`
180×	`unpow-prod-down` `cube-prod`
179×	`associate-l`
148×	`associate-/r*`
103×	`add-cube-cbrt`
100×	`sqr-pow`
86×	`frac-times`
62×	`distribute-lft-out--`
49×	`associate-*l/`
44×	`flip3-+` `flip-+`
40×	`difference-cubes` `pow-unpow`
28×	`unswap-sqr`
24×	`associate-r`
18×	`add-cbrt-cube` `add-exp-log`
16×	`sqrt-prod`
13×	`pow1`
12×	`associate-/l*`
10×	`cube-mult`
8×	`difference-of-sqr-1`
6×	`prod-exp` `cbrt-unprod`
5×	`pow-prod-down` `distribute-lft-out`
4×	`distribute-rgt-in` `+-commutative` `associate-+l+` `clear-num` `frac-2neg` `distribute-lft-in` `flip3--` `associate-/r/` `*-commutative` `insert-posit16` `flip--` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `associate-*r/` `div-inv`

Calls

4 calls:

Slowest

22.9s	(* (* (- (/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))) 1) (sqrt m)) (sqrt m))
7.4s	(* (- (/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))) 1) (sqrt m))
278.0ms	(* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))
20.0ms	(/ v (- (pow 1 3) (pow m 3)))

series460.0ms

Calls

4 calls:

Slowest

184.0ms	(* (- (/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))) 1) (sqrt m))
116.0ms	(* (* (- (/ m (* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))) 1) (sqrt m)) (sqrt m))
90.0ms	(* (/ v (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))
70.0ms	(/ v (- (pow 1 3) (pow m 3)))