Details

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

68×	*-un-lft-identity
54×	log-prod
48×	times-frac
42×	add-sqr-sqrt
40×	add-cube-cbrt
18×	distribute-rgt-in distribute-lft-in
14×	distribute-lft-out
11×	add-exp-log
8×	pow1 associate-/r/ add-cbrt-cube
6×	add-log-exp
5×	flip3-+ flip-+
4×	expm1-log1p-u associate-*r* associate-/r* log1p-expm1-u div-inv
3×	fma-def associate-*l* associate-/l*
2×	div-exp rem-log-exp log-pow
1×	cbrt-undiv +-commutative log-div frac-2neg pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod unswap-sqr

Counts

4 → 140

Calls

4 calls:

66.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
5.0ms	(/ y (+ z y))
11.0ms	(* y (log (/ y (+ z y))))
4.0ms	(log (/ y (+ z y)))