Details

rewrite140.0ms

Algorithm

rewrite-expression-head

Rules

261×	times-frac
221×	*-un-lft-identity
198×	log-prod
149×	add-sqr-sqrt
147×	add-cube-cbrt
144×	exp-sum
90×	distribute-rgt-in distribute-lft-in
42×	associate-/l*
37×	distribute-lft-out
24×	associate-/r/
13×	div-inv
12×	add-exp-log flip3-+ flip-+
10×	add-cbrt-cube
8×	pow1
7×	associate-/r*
4×	expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×	div-exp associate-*l*
2×	cbrt-undiv frac-2neg rem-log-exp clear-num log-pow
1×	log-div pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr

Counts

4 → 296

Calls

4 calls:

62.0ms	(/ (exp (* x (log (/ x (+ x y))))) x)
12.0ms	(/ x (+ x y))
21.0ms	(* x (log (/ x (+ x y))))
6.0ms	(log (/ x (+ x y)))