Details

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

20×	*-un-lft-identity
16×	log-prod
12×	add-sqr-sqrt
10×	add-cube-cbrt
8×	distribute-rgt-in distribute-lft-in associate--l+
6×	pow1
5×	add-exp-log add-cbrt-cube distribute-lft-out add-log-exp
4×	associate-*r* associate-*l*
3×	expm1-log1p-u prod-diff log1p-expm1-u
2×	associate-*l/ fma-udef
1×	sub-neg flip3-- flip3-+ fma-neg diff-log pow-prod-down prod-exp log-pow *-commutative flip-- cbrt-unprod flip-+ associate--r+ unswap-sqr

Counts

3 → 69

Calls

3 calls:

33.0ms	(* (+ n 1.0) (log (+ n 1.0)))
0.0ms	(fma (log n) n 1.0)
21.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))