Details

rewrite270.0ms

Algorithm

rewrite-expression-head

Rules

36×	add-sqr-sqrt
32×	*-un-lft-identity
21×	log-prod
20×	add-cube-cbrt
11×	pow1
10×	associate-*l*
9×	add-exp-log prod-diff add-log-exp
8×	distribute-rgt-in distribute-lft-in associate-*r* add-cbrt-cube
6×	distribute-lft-out-- difference-of-squares
4×	expm1-log1p-u flip3-- associate-*l/ flip-- log1p-expm1-u
3×	fma-neg 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 → 114

Calls

4 calls:

161.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
67.0ms	(* (- z 1.0) (log (- 1.0 y)))
25.0ms	(* (- x 1.0) (log y))
11.0ms	(log (- 1.0 y))