Details

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

23×	add-sqr-sqrt
21×	*-un-lft-identity
17×	add-cube-cbrt
12×	exp-sum
11×	add-cbrt-cube
10×	add-exp-log
9×	prod-diff
7×	pow1 add-log-exp
6×	log-prod
5×	exp-prod associate-*l*
4×	expm1-log1p-u associate-*r* log1p-expm1-u
3×	distribute-rgt-in associate-/r* distribute-lft-in times-frac
2×	cbrt-undiv exp-diff div-exp associate-*l/ prod-exp cbrt-unprod fma-udef distribute-lft-out-- difference-of-squares rem-exp-log
1×	clear-num sub-neg frac-2neg flip3-- diff-log pow-prod-down associate--l+ associate-*r/ log-pow *-commutative div-inv flip-- associate-/l* unswap-sqr associate-/l/

Counts

4 → 94

Calls

4 calls:

0.0ms	(fma y (log z) (* (- t 1.0) (log a)))
22.0ms	(* (- t 1.0) (log a))
27.0ms	(exp (- (fma y (log z) (* (- t 1.0) (log a))) b))
60.0ms	(/ (* x (exp (- (fma y (log z) (* (- t 1.0) (log a))) b))) y)