Details

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

27×	log-prod
24×	add-sqr-sqrt
23×	*-un-lft-identity
22×	associate--l+
17×	distribute-rgt-in distribute-lft-in
14×	add-cube-cbrt associate-+r+
10×	associate-+l+ associate-*r/
9×	add-log-exp
8×	pow1
7×	add-exp-log
6×	sub-neg flip3-- associate-*r* add-cbrt-cube flip--
5×	distribute-lft-out--
4×	frac-add difference-of-squares
3×	exp-prod associate-*l*
2×	log-div sum-log log-pow rem-exp-log
1×	+-commutative flip3-+ rem-log-exp exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr

Counts

4 → 101

Calls

4 calls:

17.0ms	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
15.0ms	(* y (- (log z) t))
13.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
2.0ms	(log (- 1.0 z))