Details

rewrite275.0ms

Algorithm

rewrite-expression-head

Rules

61×	add-sqr-sqrt
57×	*-un-lft-identity prod-diff
49×	add-cube-cbrt
22×	distribute-rgt-in distribute-lft-in
15×	times-frac
13×	add-exp-log add-cbrt-cube
10×	associate-*r*
9×	flip3-- flip--
8×	pow1 associate-*l*
7×	fma-neg
6×	associate-*r/ add-log-exp
5×	sub-neg div-inv
4×	expm1-log1p-u frac-times log1p-expm1-u distribute-lft-out-- difference-of-squares
3×	prod-exp associate-/r* cbrt-unprod
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 → 169

Calls

4 calls:

32.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
29.0ms	(* m (- 1.0 m))
39.0ms	(/ (* m (- 1.0 m)) v)
161.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))