Details

rewrite560.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 112

Calls

4 calls:

38.0ms	(* (- t 1.0) (log a))
18.0ms	(* y (log z))
157.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
341.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)