Details

rewrite7.5s (4.5%)

Algorithm

45×	rewrite-expression-head

Calls

135 calls:

439.0ms	(* z (sqrt (+ t a)))
338.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
329.0ms	(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
264.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
227.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))

Rules

1065×	add-sqr-sqrt
1041×	*-un-lft-identity
830×	times-frac
791×	add-cube-cbrt
546×	add-exp-log
417×	add-cbrt-cube
350×	pow1
300×	associate-*l*
295×	cbrt-prod
262×	associate-*r*
223×	add-log-exp
202×	prod-exp
190×	distribute-rgt-neg-in
176×	distribute-lft-neg-in
139×	flip-- flip3--
132×	cbrt-unprod
114×	associate-/r*
106×	pow-prod-down
92×	sub-neg
91×	associate-*r/
87×	distribute-rgt-in distribute-lft-in
73×	distribute-lft-out-- unswap-sqr
72×	frac-times
69×	associate-/l*
68×	div-exp
66×	associate-*l/
63×	*-commutative
62×	distribute-lft-out
59×	difference-of-squares
53×	div-inv
43×	cbrt-div cbrt-undiv
42×	sqrt-prod
41×	swap-sqr
39×	flip-+ flip3-+
34×	neg-mul-1
26×	pow1/3 sum-log
25×	frac-sub log-prod diff-log
21×	associate-/r/
20×	pow-to-exp pow-exp
19×	clear-num frac-2neg
18×	sqrt-div
15×	associate-/l/ associate-+r+
13×	unpow-prod-down
10×	log-pow +-commutative
9×	associate-+l+ exp-prod associate-+l- distribute-neg-frac
8×	pow1/2 neg-sub0 exp-sum sqrt-pow1
7×	1-exp rec-exp
6×	rem-sqrt-square neg-log associate--r+ associate--l+ tan-quot
5×	rem-exp-log sqr-pow associate--l- div-sub
4×	exp-diff pow-unpow frac-add pow-sqr pow-flip pow-prod-up log-div
3×	inv-pow
2×	pow2 pow-plus tan-sum cos-sum pow-pow
1×	distribute-lft-neg-out sqrt-unprod associate-+r- sub-div distribute-frac-neg acos-asin