Details

Time bar (total: 5.6s)

sample116.0ms

Algorithm
intervals
Results
50.0ms244×body80nan
46.0ms256×body80valid

simplify312.0ms

Calls
1 calls:
Slowest
311.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize63.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
0.3b
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
0.2b
(* PI t)
0.2b
(* 5 (* v v))

rewrite4.2s

Algorithm
rewrite-expression-head
Rules
4184×add-sqr-sqrt
1803×unswap-sqr
1431×*-un-lft-identity
1404×associate-*l*
1368×difference-of-squares
1343×times-frac
1222×associate-*r*
642×sqrt-prod
313×*-commutative
279×add-cube-cbrt
238×swap-sqr
234×distribute-lft-out--
79×associate-/r*
30×add-cbrt-cube add-exp-log
18×associate-*r/
17×associate-/l*
16×pow1
13×prod-exp cbrt-unprod
8×flip3-- sqrt-div associate-/r/ flip--
7×pow-prod-down
4×frac-times cbrt-undiv div-exp insert-posit16 add-log-exp
2×associate-*l/ associate-/l/
1×clear-num frac-2neg div-sub div-inv
Calls
4 calls:
Slowest
3.4s
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
649.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
20.0ms
(* 5 (* v v))
5.0ms
(* PI t)

series891.0ms

Calls
4 calls:
Slowest
556.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
251.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
49.0ms
(* 5 (* v v))
36.0ms
(* PI t)