Details

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

20×	*-un-lft-identity
19×	add-sqr-sqrt
15×	add-cube-cbrt
12×	prod-diff
10×	pow1
8×	log-prod
6×	log-pow add-log-exp
5×	add-exp-log
4×	expm1-log1p-u fma-neg add-cbrt-cube log1p-expm1-u
3×	exp-prod associate--l+ distribute-lft-out--
2×	log-div flip3-- flip-- fma-udef difference-of-squares
1×	sub-neg diff-log rem-log-exp exp-sum rem-exp-log

Counts

4 → 78

Calls

4 calls:

19.0ms	(- (log z) t)
4.0ms	(exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))))
1.0ms	(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
13.0ms	(log (- 1.0 z))