Details

rewrite195.0ms

Algorithm

rewrite-expression-head

Rules

40×	add-sqr-sqrt
26×	associate-*l*
22×	add-exp-log add-cube-cbrt *-un-lft-identity times-frac add-cbrt-cube
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
6×	prod-diff
5×	distribute-rgt-in distribute-lft-in
3×	expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
2×	cbrt-undiv sub-neg div-exp
1×	div-inv difference-of-squares

Counts

3 → 125

Calls

3 calls:

79.0ms	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
75.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
35.0ms	(* 3.0 (* v v))