Details

rewrite370.0ms

Algorithm

rewrite-expression-head

Rules

34×	associate--l+
27×	log-prod
25×	*-un-lft-identity
19×	add-sqr-sqrt
17×	add-log-exp
15×	add-cube-cbrt
12×	distribute-rgt-in distribute-lft-in
10×	associate-+l+
9×	pow1
7×	diff-log
6×	add-exp-log add-cbrt-cube
5×	sub-neg
4×	associate-*r* distribute-lft-out
3×	associate-+r+ associate-*l* sum-log log-pow distribute-lft-out--
2×	flip3-- flip--
1×	+-commutative associate--l- associate-+l- flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ difference-of-squares unswap-sqr

Counts

4 → 98

Calls

4 calls:

235.0ms	(+ (- (- (* x (log y)) y) z) (log t))
106.0ms	(- (- (* x (log y)) y) z)
15.0ms	(- (* x (log y)) y)
10.0ms	(* x (log y))