Details

Time bar (total: 1.9s)

sample154.0ms

Algorithm
intervals
Results
69.0ms244×body80nan
58.0ms256×body80valid

simplify269.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize29.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (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.2b
(* t PI)
0.0b
(sqrt (* 2 (fma (- (* v v)) 3 1)))

rewrite316.0ms

Algorithm
rewrite-expression-head
Rules
4065×add-sqr-sqrt
3693×times-frac
2237×*-un-lft-identity
1237×associate-*l*
1180×difference-of-squares
1175×add-cube-cbrt
960×associate-*r*
928×unswap-sqr
860×sqrt-prod
397×*-commutative
236×swap-sqr distribute-lft-out--
78×associate-/r/
54×associate-/l*
53×associate-/r*
40×div-inv
39×flip3-- flip--
32×add-cbrt-cube add-exp-log
21×associate-/l/
14×pow1
10×prod-exp cbrt-unprod
9×cbrt-undiv div-exp
5×pow-prod-down
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1
1×pow1/2
Calls
4 calls:
Slowest
142.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
48.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
6.0ms
(sqrt (* 2 (fma (- (* v v)) 3 1)))
5.0ms
(* t PI)

series1.1s

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