Details

rewrite234.0ms

Algorithm

rewrite-expression-head

Rules

43×	add-sqr-sqrt
39×	*-un-lft-identity
36×	prod-diff
33×	add-cube-cbrt
22×	distribute-rgt-in distribute-lft-in
12×	add-exp-log add-cbrt-cube
10×	associate-*r*
8×	flip3-- associate-*l* flip--
7×	pow1
6×	associate-*r/
4×	frac-times sub-neg
3×	expm1-log1p-u times-frac prod-exp associate-/r* cbrt-unprod log1p-expm1-u distribute-lft-out-- add-log-exp difference-of-squares
2×	cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative associate-/l/ unswap-sqr
1×	frac-2neg clear-num div-inv associate-/l*

Counts

3 → 125

Calls

3 calls:

26.0ms	(* m (- 1.0 m))
165.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
34.0ms	(/ (* m (- 1.0 m)) v)