Details

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

22×	add-sqr-sqrt
21×	*-un-lft-identity
16×	add-cube-cbrt
12×	pow1 prod-diff
8×	log-prod
6×	add-exp-log log-pow add-cbrt-cube
5×	add-log-exp
4×	expm1-log1p-u fma-neg associate-*l* log1p-expm1-u
3×	associate-*r* 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 pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr

Counts

4 → 85

Calls

4 calls:

13.0ms	(* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x)
11.0ms	(- (log z) t)
1.0ms	(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
13.0ms	(log (- 1.0 z))