Details

Time bar (total: 5.6m)

sample123.0ms

Algorithm
intervals
Results
64.0ms256×body80valid
39.0ms250×body80nan

simplify234.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize66.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
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac
47×add-sqr-sqrt
45×*-un-lft-identity
35×add-cube-cbrt
34×add-cbrt-cube add-exp-log
24×associate-/l*
20×difference-of-squares
11×pow1
10×cbrt-undiv div-exp prod-exp cbrt-unprod
7×associate-*l*
6×associate-/r* associate-/r/
4×expm1-log1p-u associate-*r* pow-prod-down insert-posit16 log1p-expm1-u div-inv add-log-exp
3×flip3-- flip--
2×clear-num frac-2neg *-commutative
1×sqrt-prod unswap-sqr associate-/l/
Counts
4 → 152
Calls
4 calls:
Slowest
65.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
46.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
11.0ms
(* t PI)
10.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
582.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
415.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
86.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
32.0ms
(* t PI)

simplify24.5s

Counts
147 → 164
Calls
147 calls:
Slowest
1.0s
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* (* t t) t) (* (* PI PI) PI))))
990.0ms
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* (* t PI) (* t PI)) (* t PI))))
963.0ms
(/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* (* t PI) (* t PI)) (* t PI))))
888.0ms
(/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* (* t t) t) (* (* PI PI) PI))))
843.0ms
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))))

prune2.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
550×times-frac
244×add-sqr-sqrt
242×*-un-lft-identity
199×add-cube-cbrt
112×associate-/l*
86×difference-of-squares
64×sqrt-prod
34×add-cbrt-cube add-exp-log
28×associate-/r/
18×div-inv
16×cbrt-undiv div-exp
14×flip3-- flip--
10×associate-/r*
6×pow1
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*r* associate-*l*
2×associate-/l/
1×pow-prod-down *-commutative unswap-sqr
Counts
4 → 391
Calls
4 calls:
Slowest
30.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
21.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
15.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
10.0ms
(* t PI)

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
964.0ms
(/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* t PI))
513.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
71.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
27.0ms
(* t PI)

simplify1.8m

Counts
535 → 403
Calls
535 calls:
Slowest
984.0ms
(/ (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* (* t t) t) (* (* PI PI) PI)))
883.0ms
(- (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 3)))) (+ (* 4 (/ (sqrt -1/3) (* (sqrt 2) (pow v 5)))) (* 5 (/ (sqrt -1/3) (* (sqrt 2) v))))) (+ (* 5/18 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 3))))) (+ (* 17/54 (/ 1 (* (sqrt 2) (* (sqrt -1/3) (pow v 5))))) (* 5/648 (/ 1 (* (sqrt 2) (* (pow (sqrt -1/3) 3) (pow v 5))))))))
835.0ms
(/ (/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* (* t t) t) (* (* PI PI) PI)))
777.0ms
(/ (* (* (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* (* t PI) (* t PI)) (* t PI)))
770.0ms
(- (- (- (log (fma -5 (* v v) 1)) (log (- 1 (* v v)))) (log (sqrt (* 2 (fma (- (* v v)) 3 1))))) (+ (log t) (log PI)))

prune5.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

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

rewrite265.0ms

Algorithm
rewrite-expression-head
Rules
1965×times-frac
945×add-sqr-sqrt
868×*-un-lft-identity
760×add-cube-cbrt
701×cbrt-prod
304×associate-*r*
206×difference-of-squares
193×sqrt-prod
127×associate-/l*
94×add-exp-log
68×associate-/r/
55×add-cbrt-cube
50×div-exp
48×div-inv
34×flip3-- flip--
32×cbrt-undiv
25×associate-*l*
24×prod-exp
20×unswap-sqr
15×cbrt-unprod
12×associate-/r*
6×pow1 1-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×frac-times cbrt-div pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 995
Calls
4 calls:
Slowest
144.0ms
(* (/ (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1) t) (/ (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) PI))
31.0ms
(/ (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) PI)
18.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))
14.0ms
(/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))

series2.2s

Counts
4 → 12
Calls
4 calls:
Slowest
809.0ms
(/ (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) PI)
673.0ms
(/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))
647.0ms
(* (/ (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1) t) (/ (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) PI))
71.0ms
(/ (fma -5 (* v v) 1) (- 1 (* v v)))

simplify3.0m

Counts
1383 → 1007
Calls
1383 calls:
Slowest
726.0ms
(/ (/ (cbrt (/ (cbrt (fma -5 (* v v) 1)) (sqrt (- 1 (* v v))))) (cbrt (sqrt (* 2 (fma (- (* v v)) 3 1))))) PI)
709.0ms
(* (* (* (/ (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1) t) (/ (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1) t)) (/ (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1) t)) (/ (* (* (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* PI PI) PI)))
693.0ms
(* (/ (* (* (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1) (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1)) (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1)) (* (* t t) t)) (/ (* (* (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* PI PI) PI)))
601.0ms
(/ (* (* (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (/ (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* PI PI) PI))
590.0ms
(* (/ (* (* (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1) (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1)) (/ (* (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (cbrt (/ (fma -5 (* v v) 1) (- 1 (* v v))))) 1)) (* (* t t) t)) (/ (/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1))))) (* (* PI PI) PI)))

prune12.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) PI) (sqrt (fma (* -6 v) v 2))) t)
0.0b
(/ (fma (* v v) -5 1) (- 1 (* v v)))
0.0b
(/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) PI) (sqrt (fma (* -6 v) v 2)))
0.0b
(/ (/ (fma (* v v) -5 1) (- 1 (* v v))) PI)

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
6714×times-frac
2969×add-sqr-sqrt *-un-lft-identity
2674×add-cube-cbrt
1008×sqrt-prod
590×difference-of-squares
497×associate-/l*
196×associate-/r/
136×div-inv
98×flip3-- flip--
34×add-cbrt-cube add-exp-log
20×cbrt-undiv div-exp
17×associate-/r*
4×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l/
Counts
4 → 2289
Calls
4 calls:
Slowest
30.0ms
(/ (/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) PI) (sqrt (fma (* -6 v) v 2))) t)
17.0ms
(/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) PI) (sqrt (fma (* -6 v) v 2)))
12.0ms
(/ (/ (fma (* v v) -5 1) (- 1 (* v v))) PI)
7.0ms
(/ (fma (* v v) -5 1) (- 1 (* v v)))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
587.0ms
(/ (/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) PI) (sqrt (fma (* -6 v) v 2))) t)
313.0ms
(/ (/ (/ (fma (* v v) -5 1) (- 1 (* v v))) PI) (sqrt (fma (* -6 v) v 2)))
104.0ms
(/ (/ (fma (* v v) -5 1) (- 1 (* v v))) PI)
56.0ms
(/ (fma (* v v) -5 1) (- 1 (* v v)))