Details

sample73.0ms

Algorithm

intervals

Results

35.0ms	233×	body	80	nan
28.0ms	256×	body	80	valid

simplify184.0ms

Calls

1 calls:

Slowest

184.0ms

(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 3 (* v v))
0.0b	(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
0.0b	(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
0.0b	(sqrt (- 1 (* 3 (* v v))))

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

247×	`add-sqr-sqrt`
172×	`frac-times`
120×	`sqrt-prod`
118×	`*-un-lft-identity`
107×	`associate-l`
106×	`sqrt-div`
92×	`flip3--` `flip--`
86×	`associate-*l/`
79×	`add-cube-cbrt`
73×	`associate-r`
72×	`associate-/l*`
70×	`unswap-sqr`
48×	`times-frac`
46×	`difference-of-squares`
36×	`associate-/r*`
23×	`add-cbrt-cube` `add-exp-log`
17×	`pow1`
14×	`*-commutative`
12×	`clear-num` `frac-2neg` `swap-sqr`
10×	`prod-exp` `associate-*r/` `cbrt-unprod`
8×	`distribute-lft-out--`
7×	`pow-prod-down`
4×	`insert-posit16` `add-log-exp`
2×	`distribute-rgt-in` `cbrt-undiv` `sub-neg` `distribute-lft-in` `div-exp` `div-inv`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Calls

4 calls:

Slowest

811.0ms	(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
170.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
66.0ms	(sqrt (- 1 (* 3 (* v v))))
17.0ms	(* 3 (* v v))

series637.0ms

Calls

4 calls:

Slowest

308.0ms	(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
211.0ms	(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
65.0ms	(sqrt (- 1 (* 3 (* v v))))
53.0ms	(* 3 (* v v))

simplify1.3m

Calls

467 calls:

Slowest

794.0ms	(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
634.0ms	(* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
623.0ms	(- (+ (* 1/4 (sqrt 2)) (* 3/32 (* (sqrt 2) (pow v 4)))) (* 5/8 (* (sqrt 2) (pow v 2))))
577.0ms	(* (* (- (sqrt 2)) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))
573.0ms	(* (* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))

prune4.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 3 (* v v))
0.0b	(/ (* (* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) (/ 4 (cbrt (sqrt 2))))
0.0b	(* (* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
0.0b	(sqrt (- 1 (* 3 (* v v))))

rewrite3.0s

Algorithm

rewrite-expression-head

Rules

13056×	`add-sqr-sqrt`
9133×	`times-frac`
6810×	`cbrt-prod`
5365×	`unswap-sqr`
5155×	`associate-l`
5105×	`sqrt-prod`
4247×	`*-un-lft-identity`
3610×	`add-cube-cbrt`
1470×	`associate-r`
1161×	`swap-sqr`
738×	`difference-of-squares`
368×	`*-commutative`
160×	`associate-/l*`
159×	`div-inv`
134×	`distribute-lft-out--`
108×	`add-cbrt-cube`
63×	`cbrt-unprod`
50×	`add-exp-log`
40×	`associate-/r*`
35×	`cbrt-undiv`
21×	`prod-exp`
19×	`pow1`
16×	`associate-*r/`
15×	`associate-/r/`
14×	`sqrt-div`
13×	`flip3--` `flip--`
12×	`div-exp`
9×	`pow-prod-down`
8×	`frac-times` `associate-/l/`
4×	`associate-*l/` `insert-posit16` `add-log-exp`
2×	`distribute-rgt-in` `clear-num` `sub-neg` `frac-2neg` `distribute-lft-in`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Calls

4 calls:

Slowest

1.5s	(/ (* (* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) (/ 4 (cbrt (sqrt 2))))
897.0ms	(* (* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
95.0ms	(sqrt (- 1 (* 3 (* v v))))
23.0ms	(* 3 (* v v))

series902.0ms

Calls

4 calls:

Slowest

483.0ms	(* (* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
310.0ms	(/ (* (* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))) (/ 4 (cbrt (sqrt 2))))
66.0ms	(sqrt (- 1 (* 3 (* v v))))
42.0ms	(* 3 (* v v))