Details

rewrite26.4s (2.3%)

Algorithm

96×	rewrite-expression-head

Calls

320 calls:

2.2s	(/ (* 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.8s	(/ (* 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.8s	(/ (* 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.8s	(/ (* 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.8s	(/ (* 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

8418×	times-frac
7150×	*-un-lft-identity
6828×	add-sqr-sqrt
5512×	add-cube-cbrt
2103×	prod-diff
1522×	add-exp-log
1228×	add-cbrt-cube
996×	pow1
639×	log-pow
634×	associate-/r*
602×	exp-prod
576×	sqrt-prod
531×	difference-of-squares
489×	add-log-exp
482×	div-inv
476×	distribute-rgt-neg-in
466×	distribute-lft-out--
429×	prod-exp
398×	distribute-lft-neg-in
393×	div-exp
385×	associate-*l*
371×	cbrt-prod
370×	distribute-lft-out
365×	cbrt-unprod
325×	associate-/l*
320×	expm1-log1p-u log1p-expm1-u insert-posit16 associate-*r*
278×	pow-prod-down
273×	associate-/r/
271×	fma-neg
248×	cbrt-undiv
239×	associate-+r+
183×	log-prod
167×	flip3-- flip--
132×	neg-mul-1
131×	associate--r+
117×	exp-sum
101×	distribute-rgt-in distribute-lft-in
88×	unswap-sqr
82×	fma-def
77×	frac-2neg clear-num *-commutative
75×	associate-*r/
72×	sub-neg
70×	associate-+l+
63×	associate-/l/ diff-log
62×	1-exp sqrt-div rec-exp
52×	tan-quot
51×	pow-prod-up
50×	pow1/3
49×	fma-udef
47×	flip-+ flip3-+ associate-*l/
41×	exp-diff swap-sqr
37×	pow-sqr
33×	sqrt-pow1 pow1/2
32×	sum-log
28×	sin-mult
24×	cos-mult cbrt-div pow-plus
23×	frac-times rem-sqrt-square
21×	frac-sub
18×	pow-flip pow-unpow
17×	pow2
16×	associate--l+ +-commutative rem-exp-log
15×	inv-pow unpow-prod-down
14×	div-sub
13×	sub-div
12×	neg-sub0
11×	associate-+l- log-div
10×	neg-log
9×	associate--l- frac-add
5×	sqr-pow
4×	pow-exp associate-+r- difference-of-sqr-1 pow-pow pow-to-exp expm1-def
3×	cos-2 un-div-inv rem-log-exp rem-cbrt-cube
2×	distribute-frac-neg distribute-rgt-neg-out cos-sum tan-sum exp-to-pow distribute-neg-frac unpow2 exp-lft-cube
1×	distribute-lft-neg-out sqrt-unprod remove-posit16 associate--r-