Details

rewrite182.0ms

Algorithm

rewrite-expression-head

Rules

38×	add-sqr-sqrt
26×	associate-*l*
22×	add-exp-log times-frac add-cbrt-cube
20×	add-cube-cbrt *-un-lft-identity
18×	frac-times
17×	sqrt-prod
16×	sqrt-div
15×	pow1
14×	flip3-- flip--
11×	associate-*r*
10×	associate-*r/ prod-exp cbrt-unprod
9×	associate-*l/
7×	pow-prod-down unswap-sqr
3×	*-commutative add-log-exp
2×	cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in div-exp
1×	div-inv difference-of-squares

Counts

3 → 113

Calls

3 calls:

103.0ms	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
52.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
21.0ms	(* 3.0 (* v v))