Details

rewrite1.7m (2.1%)

Algorithm

868×	rewrite-expression-head

Calls

2338 calls:

3.6s	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.6s	(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
1.6s	(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
1.6s	(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
1.5s	(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

Rules

106752×	times-frac
75168×	*-un-lft-identity
71757×	add-sqr-sqrt
53286×	add-cube-cbrt
15611×	prod-diff
11402×	sqrt-prod
10250×	add-exp-log
9367×	cbrt-prod
8080×	frac-sub
7984×	add-cbrt-cube
7580×	distribute-lft-out--
7386×	difference-of-squares
7084×	frac-times
6830×	pow1
5334×	tanh-def
5285×	div-inv
4585×	associate-*r*
4045×	distribute-rgt-in distribute-lft-in
3734×	associate-/r*
3682×	associate-*l*
3662×	distribute-lft-out
3587×	associate-/r/
3174×	add-log-exp
2739×	prod-exp
2639×	div-exp
2607×	cbrt-div
2581×	flip3-- flip--
2403×	associate-/l*
2338×	expm1-log1p-u log1p-expm1-u insert-posit16
2275×	cbrt-unprod
1770×	pow-prod-down
1743×	cbrt-undiv
1480×	associate-*l/
1305×	log-pow
1284×	associate-*r/
1212×	unswap-sqr
1134×	pow1/3
1123×	flip-+ flip3-+
1110×	swap-sqr
1000×	log-prod
968×	fma-neg
830×	fma-def
632×	exp-prod
602×	*-commutative
558×	sqrt-pow1
541×	pow-prod-up
522×	frac-2neg clear-num
426×	associate-/l/
408×	sqrt-div
405×	1-exp
379×	sub-neg
366×	associate-+r+ associate--l+
359×	pow-sqr
356×	fma-udef
348×	rec-exp
346×	pow1/2
257×	associate-+l+
249×	associate--r+
237×	diff-log
224×	sum-log
216×	pow-plus
175×	frac-add
168×	pow2
132×	+-commutative
119×	pow-unpow pow-flip
118×	div-sub
113×	exp-sum
102×	rem-sqrt-square
93×	distribute-rgt-out
87×	unpow-prod-down
84×	inv-pow
60×	rem-log-exp
59×	log-div
46×	distribute-rgt-neg-in
45×	distribute-lft-neg-in
42×	distribute-rgt-out--
41×	sqr-pow
40×	exp-diff
39×	un-div-inv
27×	rem-exp-log
26×	pow-pow
25×	neg-mul-1
24×	cos-sum
21×	sqrt-unprod
20×	pow-exp
19×	distribute-lft-neg-out cube-unmult pow3 associate-+l-
18×	sinh-def
16×	sub-div pow-to-exp
15×	cos-mult distribute-rgt1-in distribute-lft1-in
13×	rem-square-sqrt
12×	associate-+r- hypot-def
10×	unsub-neg count-2
9×	associate--l- distribute-rgt-neg-out
8×	tan-quot sqr-cos associate--r-
7×	neg-sub0 exp-to-pow rem-cbrt-cube
6×	difference-cubes cos-diff diff-cos
4×	cosh-def
3×	sqrt-undiv sin-mult cos-neg unpow1/3 remove-posit16
2×	expm1-log1p expm1-udef
1×	sin-sum unpow1/2 log1p-expm1 distribute-frac-neg neg-log sqr-sin exp-neg sin-diff sin-neg log1p-udef