Details

Time bar (total: 11.4s)

sample54.0ms

Algorithm
intervals
Results
22.0ms218×body80nan
14.0ms256×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01620
13220
29020
325620
458120
5104120
6122020
done122020

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize16.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))))))

rewrite228.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:
112.0ms
(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
19.0ms
(* 6.0 (* v v))
94.0ms
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

series1.2s

Counts
3 → 9
Calls
3 calls:
435.0ms
(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
49.0ms
(* 6.0 (* v v))
733.0ms
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

simplify1.9s

Counts
93 → 93
Iterations

Useful iterations: 2 (650.0ms)

IterNodesCost
02862451
18002240
233181927
done50001927

prune355.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite181.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
41×add-sqr-sqrt
40×add-cube-cbrt *-un-lft-identity
31×add-exp-log add-cbrt-cube
30×sqrt-prod
18×associate-/r/
16×associate-*r/
12×associate-/l*
10×cbrt-undiv div-exp
9×flip3-- prod-exp flip-- cbrt-unprod div-inv
8×pow1
7×associate-/r*
3×associate-*l* pow-prod-down add-log-exp
2×frac-2neg sqrt-div clear-num
1×associate-*r* *-commutative associate-/l/ unswap-sqr
Counts
3 → 134
Calls
3 calls:
85.0ms
(/ (/ 4.0 (* (* 3.0 PI) (- 1.0 (* v v)))) (sqrt (- 2.0 (* 6.0 (* v v)))))
42.0ms
(/ 4.0 (* (* 3.0 PI) (- 1.0 (* v v))))
44.0ms
(* 6.0 (* v v))

series944.0ms

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

simplify2.0s

Counts
143 → 143
Iterations

Useful iterations: 2 (611.0ms)

IterNodesCost
03344044
18503735
231093444
done50003444

prune476.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01620
11920
done1920

end0.0ms

sample2.0s

Algorithm
intervals
Results
914.0ms8000×body80valid
699.0ms8055×body80nan