Details

rewrite212.0ms

Algorithm

rewrite-expression-head

Rules

18×	add-sqr-sqrt
16×	add-cube-cbrt *-un-lft-identity
12×	times-frac
11×	pow1
9×	add-log-exp
8×	add-exp-log add-cbrt-cube
5×	log-pow
4×	log-div associate-/l*
3×	log-prod flip3-+ associate-*r* associate-*l* associate-/r* flip-+
2×	associate-+l+ div-sub sum-log
1×	cbrt-undiv +-commutative associate-+l- sub-neg frac-2neg diff-log div-exp rem-log-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr

Counts

4 → 80

Calls

4 calls:

99.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
20.0ms	(* y (exp z))
35.0ms	(log (+ (- 1.0 y) (* y (exp z))))
54.0ms	(+ (- 1.0 y) (* y (exp z)))