Details

Time bar (total: 2.6m)

sample123.0ms

Algorithm
intervals
Results
51.0ms242×body80nan
48.0ms256×body80valid

simplify684.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
18×associate-*r/
16×pow1
13×add-sqr-sqrt prod-exp cbrt-unprod
10×*-un-lft-identity add-cube-cbrt
8×flip3-- sqrt-div associate-*r* associate-/r/ flip--
7×associate-*l* pow-prod-down
4×frac-times cbrt-undiv div-exp insert-posit16 add-log-exp
3×times-frac *-commutative associate-/l*
2×associate-*l/ unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg div-sub sqrt-prod div-inv
Counts
4 → 98
Calls
4 calls:
Slowest
122.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
56.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
13.0ms
(* 3 (* v v))
11.0ms
(* PI t)

series874.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
580.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
235.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
30.0ms
(* 3 (* v v))
29.0ms
(* PI t)

simplify24.6s

Counts
114 → 110
Calls
114 calls:
Slowest
1.4s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))
1.2s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (* PI t)) (* PI t)) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
1.0s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI PI) PI) (* (* t t) t)) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
919.0ms
(* (* (/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))) (/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))
838.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (+ (* (* v v) 5) -1) (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI)))
0.2b
(* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI))
0.2b
(* (* v v) -6)
0.2b
(* (* v v) 5)

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
44×add-cbrt-cube add-exp-log
26×pow1
22×prod-exp cbrt-unprod
16×associate-*l/ associate-*r/
14×pow-prod-down
13×flip3-+ flip-+
12×sqrt-div
10×add-sqr-sqrt
8×frac-times *-un-lft-identity associate-/r/ add-cube-cbrt
7×associate-*r*
5×cbrt-undiv div-exp
4×insert-posit16 add-log-exp
3×times-frac associate-*l* *-commutative associate-/l*
2×unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg div-inv
Counts
4 → 109
Calls
4 calls:
Slowest
147.0ms
(/ (+ (* (* v v) 5) -1) (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI)))
73.0ms
(* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI))
18.0ms
(* (* v v) 5)
14.0ms
(* (* v v) -6)

series808.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
488.0ms
(/ (+ (* (* v v) 5) -1) (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI)))
259.0ms
(* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI))
32.0ms
(* (* v v) -6)
28.0ms
(* (* v v) 5)

simplify24.7s

Counts
128 → 121
Calls
128 calls:
Slowest
848.0ms
(/ (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI)) (sqrt (+ (* (* v v) 5) -1)))
730.0ms
(* (* (/ (+ (* (* v v) 5) -1) (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI))) (/ (+ (* (* v v) 5) -1) (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI)))) (/ (+ (* (* v v) 5) -1) (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI))))
657.0ms
(* (* (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI)) (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI))) (* (* t (+ -1 (* v v))) (* (sqrt (+ 2 (* (* v v) -6))) PI)))
595.0ms
(* (* (* (* t (+ -1 (* v v))) (* t (+ -1 (* v v)))) (* t (+ -1 (* v v)))) (* (* (* (sqrt (+ 2 (* (* v v) -6))) (sqrt (+ 2 (* (* v v) -6)))) (sqrt (+ 2 (* (* v v) -6)))) (* (* PI PI) PI)))
518.0ms
(/ (+ (* (* v v) 5) -1) (* (* t (- (* -1 -1) (* (* v v) (* v v)))) (* (sqrt (+ 2 (* (* v v) -6))) PI)))

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) PI))
0.4b
(* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v))))
0.2b
(/ 1 (/ (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) PI)))
0.2b
(* 6 (* v v))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
173×times-frac
108×add-exp-log
73×add-sqr-sqrt
72×*-un-lft-identity add-cube-cbrt
64×add-cbrt-cube
50×div-exp
31×associate-/r*
30×prod-exp
25×cbrt-undiv
18×cbrt-unprod
16×associate-*r/
15×pow1
12×flip3-- sqrt-div div-inv flip--
9×associate-*l*
8×distribute-rgt-in frac-times distribute-lft-in associate-/l/
7×rec-exp 1-exp
6×pow-prod-down associate-/r/
4×sub-neg associate-*l/ insert-posit16 associate-/l* add-log-exp
3×sqrt-prod
2×clear-num frac-2neg associate-*r* *-commutative
1×pow-flip inv-pow unswap-sqr
Counts
4 → 234
Calls
4 calls:
Slowest
83.0ms
(/ (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) PI))
64.0ms
(* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v))))
59.0ms
(/ 1 (/ (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) PI)))
13.0ms
(* 6 (* v v))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
520.0ms
(/ 1 (/ (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) PI)))
455.0ms
(/ (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) PI))
289.0ms
(* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v))))
53.0ms
(* 6 (* v v))

simplify1.5m

Counts
325 → 246
Calls
325 calls:
Slowest
1.5s
(/ (* (* 1 1) 1) (/ (* (* (* (sqrt (- 2 (* 6 (* v v)))) (sqrt (- 2 (* 6 (* v v))))) (sqrt (- 2 (* 6 (* v v))))) (* (* (* t t) t) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))) (/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* PI PI) PI))))
1.2s
(/ (* (* 1 1) 1) (/ (* (* (* (sqrt (- 2 (* 6 (* v v)))) (sqrt (- 2 (* 6 (* v v))))) (sqrt (- 2 (* 6 (* v v))))) (* (* (* t (- 1 (* v v))) (* t (- 1 (* v v)))) (* t (- 1 (* v v))))) (/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* PI PI) PI))))
1.1s
(/ (* (* 1 1) 1) (/ (* (* (* (sqrt (- 2 (* 6 (* v v)))) (sqrt (- 2 (* 6 (* v v))))) (sqrt (- 2 (* 6 (* v v))))) (* (* (* t t) t) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))) (* (* (/ (- 1 (* 5 (* v v))) PI) (/ (- 1 (* 5 (* v v))) PI)) (/ (- 1 (* 5 (* v v))) PI))))
1.0s
(/ (* (* 1 1) 1) (/ (* (* (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v)))) (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v))))) (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v))))) (* (* (/ (- 1 (* 5 (* v v))) PI) (/ (- 1 (* 5 (* v v))) PI)) (/ (- 1 (* 5 (* v v))) PI))))
1.0s
(/ (* (* 1 1) 1) (/ (* (* (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v)))) (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v))))) (* (sqrt (- 2 (* 6 (* v v)))) (* t (- 1 (* v v))))) (/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* PI PI) PI))))

prune3.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1 (/ (sqrt (- 2 (* 6 (* v v)))) (/ (sqrt (- 1 (* 5 (* v v)))) 1)))
0.5b
(/ (/ 1 (/ (sqrt (- 2 (* 6 (* v v)))) (/ (sqrt (- 1 (* 5 (* v v)))) 1))) (/ (* t (- 1 (* v v))) (/ (sqrt (- 1 (* 5 (* v v)))) PI)))
0.4b
(/ (* t (- 1 (* v v))) (/ (sqrt (- 1 (* 5 (* v v)))) PI))
0.2b
(* 6 (* v v))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
61009×times-frac
20696×add-sqr-sqrt
20695×*-un-lft-identity add-cube-cbrt
14331×sqrt-prod
1483×div-inv
536×associate-/r/
420×associate-/l*
363×add-exp-log
287×div-exp
186×associate-/r*
132×add-cbrt-cube
86×cbrt-undiv
42×1-exp
31×prod-exp
24×rec-exp
13×cbrt-unprod
10×pow1
4×insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*l* pow-prod-down associate-/l/
2×associate-*r/
1×flip3-- associate-*r* *-commutative pow-flip flip-- inv-pow unswap-sqr
Counts
4 → 12440
Calls
4 calls:
Slowest
65.0ms
(/ (* t (- 1 (* v v))) (/ (sqrt (- 1 (* 5 (* v v)))) PI))
60.0ms
(/ (/ 1 (/ (sqrt (- 2 (* 6 (* v v)))) (/ (sqrt (- 1 (* 5 (* v v)))) 1))) (/ (* t (- 1 (* v v))) (/ (sqrt (- 1 (* 5 (* v v)))) PI)))
18.0ms
(* 6 (* v v))
16.0ms
(/ 1 (/ (sqrt (- 2 (* 6 (* v v)))) (/ (sqrt (- 1 (* 5 (* v v)))) 1)))

series923.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
435.0ms
(/ (/ 1 (/ (sqrt (- 2 (* 6 (* v v)))) (/ (sqrt (- 1 (* 5 (* v v)))) 1))) (/ (* t (- 1 (* v v))) (/ (sqrt (- 1 (* 5 (* v v)))) PI)))
269.0ms
(/ (* t (- 1 (* v v))) (/ (sqrt (- 1 (* 5 (* v v)))) PI))
169.0ms
(/ 1 (/ (sqrt (- 2 (* 6 (* v v)))) (/ (sqrt (- 1 (* 5 (* v v)))) 1)))
50.0ms
(* 6 (* v v))