Details

sample261.0ms

Algorithm

intervals

Results

142.0ms

561×

body

valid

simplify216.0ms

Calls

1 calls:

Slowest

215.0ms

(- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5)

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize67.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* w r) (* w r))
0.4b	(/ 2 (* r r))
0.3b	(/ (fma v -2 3) (/ (- 1 v) 0.125))
0.1b	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

184×	`add-sqr-sqrt`
183×	`times-frac`
160×	`*-un-lft-identity`
117×	`add-cube-cbrt`
43×	`pow1`
40×	`associate-/r*`
38×	`associate-l`
36×	`associate-r`
26×	`add-cbrt-cube` `swap-sqr` `add-exp-log` `difference-of-squares`
17×	`pow-prod-down`
16×	`unswap-sqr`
14×	`associate-/r/`
13×	`distribute-lft-out--`
12×	`associate-/l*`
9×	`prod-exp` `*-commutative` `cbrt-unprod`
6×	`div-inv`
5×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `pow-sqr` `pow-prod-up` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`clear-num` `frac-2neg`
2×	`pow-plus` `associate-/l/`
1×	`pow2` `flip3--` `fma-udef` `flip--`

Calls

4 calls:

Slowest

73.0ms	(* (* w r) (* w r))
12.0ms	(/ (fma v -2 3) (/ (- 1 v) 0.125))
9.0ms	(/ 2 (* r r))
0.0ms	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

series302.0ms

Calls

4 calls:

Slowest

139.0ms	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
67.0ms	(/ (fma v -2 3) (/ (- 1 v) 0.125))
48.0ms	(* (* w r) (* w r))
46.0ms	(/ 2 (* r r))

simplify18.5s

Calls

375 calls:

Slowest

898.0ms	(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
705.0ms	(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
647.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
530.0ms	(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
331.0ms	(/ (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3))) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* (cbrt 0.125) (cbrt 0.125))))

prune4.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (* (* (* (/ (fma -2 v 3) (- 1 v)) 0.125) (* (/ (fma -2 v 3) (- 1 v)) 0.125)) (* (/ (fma -2 v 3) (- 1 v)) 0.125)))
0.4b	(* (* w r) (* w r))
0.4b	(/ 2 (* r r))
0.1b	(fma (cbrt (* (* (* (/ (fma -2 v 3) (- 1 v)) 0.125) (* (/ (fma -2 v 3) (- 1 v)) 0.125)) (* (/ (fma -2 v 3) (- 1 v)) 0.125))) (* (* w r) (* w r)) 4.5)

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

6408×	`associate-*l/`
3888×	`frac-times`
3057×	`associate-/r*`
3024×	`add-sqr-sqrt`
2724×	`*-un-lft-identity`
2196×	`cbrt-div`
1524×	`associate-/l*`
1132×	`add-cube-cbrt`
1044×	`difference-of-squares`
528×	`distribute-lft-out--`
508×	`clear-num` `frac-2neg`
330×	`associate-l`
208×	`cbrt-prod`
197×	`times-frac` `unswap-sqr`
168×	`associate-*r/`
119×	`associate-r`
77×	`swap-sqr`
43×	`pow1`
21×	`add-cbrt-cube` `add-exp-log`
20×	`*-commutative`
17×	`pow-prod-down`
10×	`associate-/r/`
9×	`prod-exp` `cbrt-unprod`
6×	`div-inv`
5×	`flip3--` `flip--`
4×	`expm1-log1p-u` `pow-sqr` `pow-prod-up` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cbrt-undiv` `pow-plus` `div-exp` `pow3` `rem-cbrt-cube`
1×	`pow2` `pow1/3` `fma-udef`

Calls

4 calls:

Slowest

880.0ms	(cbrt (* (* (* (/ (fma -2 v 3) (- 1 v)) 0.125) (* (/ (fma -2 v 3) (- 1 v)) 0.125)) (* (/ (fma -2 v 3) (- 1 v)) 0.125)))
70.0ms	(* (* w r) (* w r))
18.0ms	(/ 2 (* r r))
0.0ms	(fma (cbrt (* (* (* (/ (fma -2 v 3) (- 1 v)) 0.125) (* (/ (fma -2 v 3) (- 1 v)) 0.125)) (* (/ (fma -2 v 3) (- 1 v)) 0.125))) (* (* w r) (* w r)) 4.5)

series405.0ms

Calls

4 calls:

Slowest

220.0ms	(fma (cbrt (* (* (* (/ (fma -2 v 3) (- 1 v)) 0.125) (* (/ (fma -2 v 3) (- 1 v)) 0.125)) (* (/ (fma -2 v 3) (- 1 v)) 0.125))) (* (* w r) (* w r)) 4.5)
116.0ms	(cbrt (* (* (* (/ (fma -2 v 3) (- 1 v)) 0.125) (* (/ (fma -2 v 3) (- 1 v)) 0.125)) (* (/ (fma -2 v 3) (- 1 v)) 0.125)))
37.0ms	(/ 2 (* r r))
31.0ms	(* (* w r) (* w r))