Details

rewrite245.0ms

Algorithm

rewrite-expression-head

Rules

43×	add-sqr-sqrt
26×	associate-*l*
24×	add-cube-cbrt *-un-lft-identity
23×	add-exp-log add-cbrt-cube
22×	times-frac
20×	sqrt-prod
18×	frac-times sqrt-div
17×	pow1
15×	flip3-- flip--
11×	associate-*r*
10×	associate-*r/ prod-exp cbrt-unprod
9×	associate-*l/
7×	pow-prod-down unswap-sqr
6×	prod-diff
5×	distribute-rgt-in distribute-lft-in
4×	expm1-log1p-u log1p-expm1-u add-log-exp
3×	*-commutative
2×	cbrt-undiv sub-neg div-exp
1×	rem-sqrt-square sqrt-pow1 pow1/2 div-inv difference-of-squares

Counts

4 → 142

Calls

4 calls:

16.0ms	(sqrt (- 1.0 (* 3.0 (* v v))))
132.0ms	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
53.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
31.0ms	(* 3.0 (* v v))