Details

Time bar (total: 6.8m)

sample298.0ms

Algorithm
intervals
Results
165.0ms508×body80valid

simplify269.0ms

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

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
315×times-frac
153×add-sqr-sqrt *-un-lft-identity
115×add-cbrt-cube add-exp-log
99×add-cube-cbrt
43×pow1 cbrt-undiv div-exp
41×prod-exp cbrt-unprod
36×difference-of-squares
30×associate-/r* associate-/l*
18×distribute-lft-out--
17×pow-prod-down
13×associate-/r/ div-inv
6×flip3-- flip--
4×pow-sqr pow-prod-up insert-posit16 add-log-exp
3×clear-num frac-2neg
2×pow-plus div-sub
1×pow2 swap-sqr associate-*r* associate-*l* *-commutative associate-/l/
Counts
4 → 288
Calls
4 calls:
Slowest
63.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
40.0ms
(* (* w r) (* w r))
36.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
15.0ms
(/ 2 (* r r))

series274.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
108.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
93.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
39.0ms
(* (* w r) (* w r))
34.0ms
(/ 2 (* r r))

simplify1.5m

Counts
371 → 300
Calls
371 calls:
Slowest
1.5s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))))
1.4s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.2s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r)))))
1.2s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.2s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))))

prune4.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
1787×times-frac
820×add-sqr-sqrt *-un-lft-identity
604×add-cube-cbrt
296×add-exp-log
144×difference-of-squares
138×div-exp
132×add-cbrt-cube
113×div-inv
105×prod-exp
83×pow1 associate-/l*
72×distribute-lft-out--
58×cbrt-undiv
57×associate-/r/
41×cbrt-unprod
34×pow-prod-down
24×flip3-- flip--
20×rec-exp 1-exp
16×pow-flip
9×associate-/r*
8×pow-sqr pow-prod-up
4×pow-plus insert-posit16 add-log-exp
3×clear-num frac-2neg
2×pow2
1×swap-sqr associate-*r* associate-*l* *-commutative inv-pow associate-/l/
Counts
4 → 814
Calls
4 calls:
Slowest
78.0ms
(/ (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (/ 1 (* (* w r) (* w r))))
71.0ms
(/ 1 (* (* w r) (* w r)))
40.0ms
(* (* w r) (* w r))
6.0ms
(/ 2 (* r r))

series213.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
80.0ms
(/ (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (/ 1 (* (* w r) (* w r))))
63.0ms
(* (* w r) (* w r))
42.0ms
(/ 2 (* r r))
27.0ms
(/ 1 (* (* w r) (* w r)))

simplify5.0m

Counts
1323 → 826
Calls
1323 calls:
Slowest
1.1s
(/ (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (* (* (/ 1 (* (* w r) (* w r))) (/ 1 (* (* w r) (* w r)))) (/ 1 (* (* w r) (* w r)))))
1.0s
(/ (* (* (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (/ 0.125 (/ (- 1 v) (- 3 (* 2 v))))) (/ 0.125 (/ (- 1 v) (- 3 (* 2 v))))) (* (* (/ 1 (* (* w r) (* w r))) (/ 1 (* (* w r) (* w r)))) (/ 1 (* (* w r) (* w r)))))
1.0s
(/ (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (/ (* (* 1 1) 1) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r)))))
966.0ms
(/ (/ (* (* 0.125 0.125) 0.125) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v))))) (/ (* (* 1 1) 1) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
959.0ms
(/ (/ (* (* 0.125 0.125) 0.125) (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v))))) (* (* (/ 1 (* (* w r) (* w r))) (/ 1 (* (* w r) (* w r)))) (/ 1 (* (* w r) (* w r)))))

prune8.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
1859×times-frac
860×add-sqr-sqrt *-un-lft-identity
644×add-cube-cbrt
296×add-exp-log
144×difference-of-squares
139×div-exp
132×add-cbrt-cube
117×div-inv
104×prod-exp
93×associate-/l*
83×pow1
72×distribute-lft-out--
59×cbrt-undiv
57×associate-/r/
40×cbrt-unprod
34×pow-prod-down
24×flip3-- flip--
20×rec-exp 1-exp
16×pow-flip
11×associate-/r*
8×pow-sqr pow-prod-up
4×pow-plus insert-posit16 add-log-exp
3×clear-num frac-2neg
2×pow2 associate-/l/
1×swap-sqr associate-*r* associate-*l* *-commutative inv-pow
Counts
4 → 863
Calls
4 calls:
Slowest
54.0ms
(/ (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (/ 1 (* (* w r) (* w r))))
36.0ms
(/ 1 (* (* w r) (* w r)))
21.0ms
(* (* w r) (* w r))
7.0ms
(/ (/ 2 r) r)

series152.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
64.0ms
(/ (/ 0.125 (/ (- 1 v) (- 3 (* 2 v)))) (/ 1 (* (* w r) (* w r))))
38.0ms
(* (* w r) (* w r))
27.0ms
(/ (/ 2 r) r)
24.0ms
(/ 1 (* (* w r) (* w r)))