Details

Time bar (total: 13.3s)

sample111.0ms

Algorithm
intervals
Results
51.0ms256×body80valid
41.0ms292×body80nan

simplify239.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
238.0ms
(/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 3 expressions with local error:

1.0b
(/ 4/3 (- PI (* (* v v) PI)))
0.2b
(* -6 (* v v))
0.2b
(* (* v v) PI)

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
16×add-sqr-sqrt
15×add-cbrt-cube add-exp-log
14×add-cube-cbrt
13×pow1
12×times-frac
6×pow-prod-down prod-exp cbrt-unprod
4×associate-/r* distribute-rgt-out-- associate-*r* associate-*l*
3×insert-posit16 associate-/l* add-log-exp
2×associate-/r/ *-commutative unswap-sqr
1×cbrt-undiv clear-num frac-2neg flip3-- div-exp div-inv flip--
Counts
3 → 74
Calls
3 calls:
Slowest
31.0ms
(* -6 (* v v))
30.0ms
(* (* v v) PI)
14.0ms
(/ 4/3 (- PI (* (* v v) PI)))

series168.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
84.0ms
(/ 4/3 (- PI (* (* v v) PI)))
44.0ms
(* -6 (* v v))
41.0ms
(* (* v v) PI)

simplify7.8s

Counts
96 → 83
Calls
96 calls:
Slowest
518.0ms
(log (/ 4/3 (- PI (* (* v v) PI))))
452.0ms
(* (* (* -6 (* v v)) (* -6 (* v v))) (* -6 (* v v)))
366.0ms
(/ (* (* 4/3 4/3) 4/3) (* (* (- PI (* (* v v) PI)) (- PI (* (* v v) PI))) (- PI (* (* v v) PI))))
365.0ms
(* (* (/ 4/3 (- PI (* (* v v) PI))) (/ 4/3 (- PI (* (* v v) PI)))) (/ 4/3 (- PI (* (* v v) PI))))
351.0ms
(+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI))))

prune661.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 1 expressions with local error:

0.2b
(* -6 (* v v))

rewrite32.0ms

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

series44.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
44.0ms
(* -6 (* v v))

simplify1.3s

Counts
23 → 23
Calls
23 calls:
Slowest
457.0ms
(* (* (* -6 (* v v)) (* -6 (* v v))) (* -6 (* v v)))
270.0ms
(* (* (* -6 -6) -6) (* (* (* v v) (* v v)) (* v v)))
249.0ms
(* (* (* -6 -6) -6) (* (* (* v v) v) (* (* v v) v)))
71.0ms
(exp (* -6 (* v v)))
39.0ms
(log (* -6 (* v v)))

prune202.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.1s7702×body80nan
1.1s8000×body80valid