Details

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

28×	add-sqr-sqrt
26×	*-un-lft-identity
16×	add-cube-cbrt
15×	log-prod
9×	prod-diff
8×	pow1
7×	add-exp-log
6×	add-cbrt-cube add-log-exp
5×	distribute-rgt-in distribute-lft-in associate-*l* distribute-lft-out-- difference-of-squares
4×	expm1-log1p-u associate-*r* log1p-expm1-u
3×	flip3-- fma-neg flip--
2×	log-div associate-*l/ log-pow fma-udef
1×	sub-neg diff-log rem-log-exp pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod unswap-sqr

Counts

4 → 92

Calls

4 calls:

66.0ms	(* (- z 1.0) (log (- 1.0 y)))
13.0ms	(- (fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y)))) t)
0.0ms	(fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y))))
12.0ms	(log (- 1.0 y))