Details

rewrite16.5s (2.3%)

Algorithm

116×	rewrite-expression-head

Calls

378 calls:

Slowest

1.2s	(* (/ 1 (sqrt 2)) (* (/ 1 (sqrt (sqrt 2))) (* (/ (+ (+ (* 1/3 (* x (* x x))) (* 1/60 (* (* x (* x x)) (* x x)))) (+ x x)) (sqrt (sqrt 2))) (sin y))))
570.0ms	(/ (* x (+ (* (* 1/91125 (* x x)) (* (* x x) (* x x))) 1/27)) (+ (* 1/3 1/3) (- (* (* (* x x) 1/45) (* (* x x) 1/45)) (* 1/3 (* (* x x) 1/45)))))
533.0ms	(* x (+ (* (* 1/91125 (* x x)) (* (* x x) (* x x))) 1/27))
514.0ms	(/ (+ (+ (* 1/3 (* x (* x x))) (* 1/60 (* (* x (* x x)) (* x x)))) (+ x x)) (sqrt 2))
466.0ms	(* (/ 1 (sqrt 2)) (* (/ (+ (+ (* 1/3 (* x (* x x))) (* 1/60 (* (* x (* x x)) (* x x)))) (+ x x)) (sqrt 2)) (sin y)))

Rules

3340×	*-un-lft-identity
3030×	add-sqr-sqrt
2515×	times-frac
1944×	add-cube-cbrt
1904×	pow1
1557×	add-exp-log
1231×	add-cbrt-cube
879×	add-log-exp
860×	sqrt-prod
586×	sqrt-div
528×	prod-exp
491×	distribute-lft-out
461×	associate-*l*
447×	pow-prod-up
441×	pow-prod-down associate-*r*
431×	cbrt-prod
400×	flip-+ flip3-+
395×	difference-of-squares
388×	cbrt-unprod
370×	insert-posit16
323×	frac-add
301×	associate-/l*
291×	frac-times
290×	associate-/r*
287×	div-exp
280×	pow-plus associate-*l/
275×	cbrt-div
267×	distribute-lft-out--
256×	div-inv
236×	sum-log
209×	flip3-- flip--
181×	pow-sqr
180×	associate-*r/
173×	cbrt-undiv
154×	associate-/r/
131×	log-prod
120×	unswap-sqr
104×	pow2
103×	sqrt-pow1
101×	unpow-prod-down
99×	pow-unpow
94×	tan-quot
89×	diff-log
88×	swap-sqr sub-neg
84×	*-commutative
76×	associate-/l/
71×	pow1/3
70×	pow1/2
65×	frac-2neg clear-num
63×	1-exp rec-exp
58×	distribute-rgt-neg-in
54×	sqr-pow
50×	log-pow
46×	neg-log
44×	distribute-neg-frac
43×	pow3
41×	exp-prod
36×	+-commutative
34×	pow-flip
33×	difference-of-sqr-1
32×	distribute-rgt-in distribute-lft-in
31×	rem-sqrt-square
29×	log-div
25×	frac-sub
19×	associate-+l+ inv-pow
18×	associate--l+
16×	div-sub
15×	rem-log-exp
14×	neg-sub0
13×	associate-+r+ associate-+l-
12×	pow-exp pow-to-exp
11×	associate--l-
9×	associate--r+ pow-pow
8×	exp-sum
7×	sum-cubes
6×	sqrt-unprod distribute-rgt-out distribute-rgt1-in
4×	exp-diff associate-+r- distribute-rgt-out-- un-div-inv
3×	sin-mult sub-div sqr-sin rem-exp-log
2×	sin-sum unsub-neg cube-unmult exp-neg pow-div difference-of-sqr--1 frac-2neg-c exp-to-pow +.c-commutative rem-square-sqrt cos-sum tan-sum
1×	diff-atan cos-mult sin-cos-mult diff-sin rem-cbrt-cube diff-cos