Details

Time bar (total: 1.8s)

sample74.0ms

Algorithm
intervals
Results
30.0ms279×body80nan
28.0ms256×body80valid

simplify249.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
0.3b
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
0.3b
(* t PI)
0.0b
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
4137×add-sqr-sqrt
3738×times-frac
2290×*-un-lft-identity
1238×associate-*l*
1220×difference-of-squares
1192×add-cube-cbrt
957×associate-*r*
934×unswap-sqr
848×sqrt-prod
404×*-commutative
244×swap-sqr distribute-lft-out--
80×associate-/r/
68×associate-/r*
57×associate-/l*
41×div-inv
40×flip3-- flip--
34×add-cbrt-cube add-exp-log
21×associate-/l/
11×pow1
10×cbrt-undiv div-exp prod-exp cbrt-unprod
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
Calls
4 calls:
Slowest
85.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
56.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
27.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
10.0ms
(* t PI)

series1.1s

Calls
4 calls:
Slowest
606.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
380.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
74.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
22.0ms
(* t PI)