Details

Time bar (total: 12.2s)

sample76.0ms

Algorithm
intervals
Results
24.0ms256×body80valid
24.0ms267×body80nan

simplify5.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01620
13220
29020
325920
473020
5177420
6305420
7394620
8493820
done500020

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
0.2b
(* 6.0 (* v v))
1.0b
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

rewrite254.0ms

Algorithm
rewrite-expression-head
Rules
31×add-exp-log add-cbrt-cube
17×pow1
16×associate-*r/
15×prod-exp cbrt-unprod
12×flip3-- sqrt-div flip--
9×add-sqr-sqrt pow-prod-down
8×frac-times add-cube-cbrt *-un-lft-identity associate-/r/
7×associate-*r*
4×cbrt-undiv div-exp associate-*l* associate-*l/
3×times-frac sqrt-prod associate-/l* add-log-exp
2×*-commutative
1×frac-2neg clear-num associate-/r* div-inv unswap-sqr
Counts
3 → 84
Calls
3 calls:
124.0ms
(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
30.0ms
(* 6.0 (* v v))
94.0ms
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

series890.0ms

Counts
3 → 9
Calls
3 calls:
322.0ms
(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
29.0ms
(* 6.0 (* v v))
539.0ms
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

simplify2.5s

Counts
93 → 93
Iterations

Useful iterations: 2 (814.0ms)

IterNodesCost
02862451
18602274
248991953
done50011953

prune335.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 1 expressions with local error:

0.2b
(* 6.0 (* v v))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×add-sqr-sqrt associate-*l* pow-prod-down prod-exp cbrt-unprod
2×add-cube-cbrt *-un-lft-identity
1×associate-*r* *-commutative add-log-exp unswap-sqr
Counts
1 → 19
Calls
1 calls:
28.0ms
(* 6.0 (* v v))

series41.0ms

Counts
1 → 3
Calls
1 calls:
41.0ms
(* 6.0 (* v v))

simplify822.0ms

Counts
22 → 22
Iterations

Useful iterations: done (821.0ms)

IterNodesCost
034162
195159
2550133
done5000129

prune47.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01620
11920
done1920

end0.0ms

sample1.8s

Algorithm
intervals
Results
733.0ms7965×body80nan
668.0ms8000×body80valid