Details

rewrite269.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 139

Calls

4 calls:

58.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
30.0ms	(* m (- 1.0 m))
27.0ms	(/ (* m (- 1.0 m)) v)
136.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)