Details

Time bar (total: 3.0s)

sample387.0ms

Algorithm
intervals
Results
261.0ms561×body80valid

simplify192.0ms

Calls
1 calls:
Slowest
191.0ms
(- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5)

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize49.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* w r) (* w r))
0.4b
(/ 2 (* r r))
0.4b
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
0.3b
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
28059×times-frac
25756×add-sqr-sqrt
20436×*-un-lft-identity
8785×add-cube-cbrt
7754×associate-*l*
6170×difference-of-squares
5844×associate-*r*
4509×distribute-lft-out--
4344×unswap-sqr
3414×swap-sqr
2383×associate-/r*
1219×*-commutative
590×associate-/r/
244×div-inv
239×flip3-- flip--
115×add-cbrt-cube add-exp-log
114×associate-/l*
43×pow1 cbrt-undiv div-exp
41×prod-exp cbrt-unprod
40×associate-/l/
17×pow-prod-down
6×clear-num frac-2neg
4×pow-sqr pow-prod-up insert-posit16 add-log-exp
2×pow-plus div-sub
1×pow2
Calls
4 calls:
Slowest
184.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
111.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
44.0ms
(* (* w r) (* w r))
23.0ms
(/ 2 (* r r))

series298.0ms

Calls
4 calls:
Slowest
115.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
83.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
52.0ms
(/ 2 (* r r))
48.0ms
(* (* w r) (* w r))