Details

rewrite900.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 114

Calls

4 calls:

384.0ms	(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
10.0ms	(* y (log z))
158.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
338.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)