Details

rewrite153.0ms

Algorithm

rewrite-expression-head

Rules

53×	*-un-lft-identity
29×	add-sqr-sqrt
28×	associate-+l+
27×	pow1
23×	add-cube-cbrt
22×	log-pow
21×	prod-diff distribute-lft-out
19×	log-prod
13×	fma-def
10×	add-log-exp
9×	associate-+r+
6×	distribute-rgt-in distribute-lft-in associate-*l/ distribute-lft-out--
5×	add-exp-log flip3-- associate-*l* sum-log add-cbrt-cube flip--
4×	associate-*r* frac-add
3×	expm1-log1p-u associate-+l- flip3-+ flip-+ log1p-expm1-u
2×	+-commutative log-div diff-log difference-of-squares
1×	sub-neg pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod unswap-sqr

Counts

3 → 120

Calls

3 calls:

116.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
20.0ms	(* (- a 0.5) (log t))
12.0ms	(+ (log (+ x y)) (log z))