Details

rewrite8.6s (3.8%)

Algorithm

125×	rewrite-expression-head

Calls

422 calls:

478.0ms	(/ (+ (* (* (/ 1 (pow N 2)) (- (pow (/ 0.3333333333333333 N) 3) (pow 0.5 3))) N) (* (+ (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)) (+ (* 0.5 0.5) (* (/ 0.3333333333333333 N) 0.5))) 1.0)) (* N (+ (* 0.5 (+ 0.5 (/ 0.3333333333333333 N))) (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)))))
390.0ms	(/ (pow (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)) 3) (pow (- (+ (exp (+ (* -1 x) (* -1 x))) (exp (+ x x))) (exp (+ (* -1 x) x))) 3))
240.0ms	(/ (- (pow (pow (exp (* a x)) 3) 3) (pow (pow 1.0 3) 3)) (* (+ (+ (pow (exp (* a x)) 6) (pow 1.0 6)) (* (pow (exp (* a x)) 3) (pow 1.0 3))) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0))))
214.0ms	(* (* (sqrt (sqrt (+ (/ 1 b) (/ 1 a)))) (sqrt (sqrt (+ (/ 1 b) (/ 1 a))))) (sqrt (+ (/ 1 b) (/ 1 a))))
196.0ms	(+ x (- 1.0 x))

Rules

6004×	*-un-lft-identity
5660×	add-sqr-sqrt
5329×	times-frac
3113×	add-cube-cbrt
1735×	add-exp-log
1578×	unpow-prod-down
1485×	sqrt-prod
1207×	add-cbrt-cube
1128×	cube-prod
1004×	difference-of-squares
957×	pow1
926×	associate-*r*
821×	distribute-lft-out
758×	add-log-exp
754×	associate-*l*
730×	distribute-lft-out--
625×	associate-/l*
497×	sqr-pow
494×	prod-exp
441×	sqrt-div
437×	associate-*l/
432×	div-exp
424×	flip3-- flip--
389×	frac-times
349×	div-inv
332×	associate-/r*
321×	unswap-sqr
311×	associate-*r/
285×	flip-+ flip3-+
270×	cbrt-unprod
262×	associate-/r/
236×	associate-/l/ cbrt-undiv
225×	cbrt-prod
220×	frac-sub
205×	frac-add
187×	pow-prod-down sqrt-pow1
179×	swap-sqr
174×	log-prod
167×	exp-prod
140×	pow-unpow
138×	unpow2
127×	sub-neg
126×	diff-log
124×	exp-neg
123×	neg-sub0
122×	pow1/2
113×	cbrt-div
111×	exp-diff
108×	log-pow
102×	distribute-rgt-neg-in
101×	pow-prod-up
100×	pow-to-exp pow-exp
90×	*-commutative
79×	frac-2neg clear-num
77×	unpow3 cube-mult
63×	pow-sqr
62×	pow1/3
61×	1-exp
55×	sum-log
53×	rec-exp
50×	sin-mult cos-mult
38×	sum-cubes
37×	distribute-rgt-in distribute-lft-in
34×	rem-sqrt-square
32×	tan-quot
31×	log-div
30×	associate--l+
29×	+-commutative
26×	div-sub
25×	pow-plus
24×	complex-mul-def
23×	associate--r+
22×	associate-+l+ exp-sum
21×	un-div-inv
20×	distribute-lft-neg-in rem-log-exp
17×	associate--l-
16×	pow-pow
15×	pow2
13×	cube-div neg-log
12×	sub-div pow-flip
9×	sqrt-unprod associate-+l- exp-to-pow
8×	difference-cubes inv-pow neg-mul-1
7×	rem-exp-log associate-+r+
6×	*.c-commutative
5×	associate--r-
4×	rem-cube-cbrt associate-+r- +.c-commutative complex-add-def rem-square-sqrt
2×	sin-cos-mult sqr-sin associate-+l+.c distribute-rgt-out-- pow-sub difference-of-sqr-1 unsub-neg cos-sum tan-sum associate-*l*.c pow-neg sin-sum rem-cbrt-cube
1×	sqrt-pow2 diff-atan diff-cos log-rec frac-2neg.c diff-sin mul-1-neg