Details

rewrite211.0ms

Algorithm

rewrite-expression-head

Rules

29×	add-sqr-sqrt
25×	*-un-lft-identity
21×	log-prod
13×	add-cube-cbrt
11×	pow1
10×	associate-*l*
9×	add-exp-log add-log-exp
8×	distribute-rgt-in distribute-lft-in associate-*r* add-cbrt-cube
6×	distribute-lft-out-- difference-of-squares
4×	flip3-- associate-*l/ flip--
3×	log-pow
2×	log-div diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×	sub-neg rem-log-exp associate--l+ sum-log

Counts

4 → 94

Calls

4 calls:

102.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
51.0ms	(* (- z 1.0) (log (- 1.0 y)))
44.0ms	(* (- x 1.0) (log y))
11.0ms	(log (- 1.0 y))