Details

rewrite21.2s

Algorithm

117×	rewrite-expression-head

Calls

389 calls:

Slowest

2.7s	(* (/ (/ 1 (sqrt (sqrt 2))) (sqrt (sqrt 2))) (/ (* (+ (+ (* 1/60 (* x (* (* x x) (* x x)))) (+ x x)) (* (* 1/3 x) (* x x))) (sin y)) (sqrt 2)))
2.3s	(* (/ 1 (sqrt 2)) (/ (* (+ (+ (* 1/60 (* x (* (* x x) (* x x)))) (+ x x)) (* (* 1/3 x) (* x x))) (sin y)) (sqrt 2)))
1.4s	(/ (* (+ (+ (* 1/60 (* x (* (* x x) (* x x)))) (+ x x)) (* (* 1/3 x) (* x x))) (sin y)) (sqrt 2))
676.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)))))
545.0ms	(+ (+ (- (/ (sqrt 3) -4)) (- (/ (sqrt 3) -4))) (+ (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)) (+ (/ (sqrt 3) 2) (* (/ (sqrt 3) -4) 10))))

Rules

8560×	times-frac
7671×	*-un-lft-identity
5940×	add-sqr-sqrt
4507×	add-cube-cbrt
4110×	sqrt-prod
1664×	pow1
1469×	add-exp-log
1365×	distribute-lft-out
1281×	add-cbrt-cube
897×	add-log-exp
780×	associate-*l*
737×	associate-/l*
508×	pow-prod-down
473×	associate-/r*
452×	difference-of-squares
434×	associate-*r*
413×	prod-exp
381×	insert-posit16
373×	cbrt-unprod
351×	flip-+ flip3-+
350×	div-inv
324×	exp-prod
317×	distribute-lft-out--
311×	div-exp
302×	pow-prod-up
243×	associate-/r/
238×	frac-add
236×	sum-log
226×	associate-*l/
208×	cbrt-undiv
206×	log-prod
202×	unswap-sqr
201×	pow-unpow
174×	flip3-- flip--
173×	unpow-prod-down
160×	cbrt-prod
154×	sqrt-div pow-sqr
149×	swap-sqr
126×	sqrt-pow1
97×	pow-plus
96×	frac-times
94×	*-commutative diff-log
93×	sub-neg
86×	associate-*r/
83×	frac-sub sqr-pow
82×	distribute-rgt-neg-in
75×	log-pow
73×	pow-flip frac-2neg clear-num
72×	pow1/2
62×	associate-/l/
58×	pow2
53×	pow1/3
49×	log-div
46×	neg-log
44×	distribute-neg-frac
43×	inv-pow
42×	1-exp rec-exp
38×	tan-quot
37×	rem-sqrt-square
35×	+-commutative
27×	distribute-rgt-in distribute-lft-in distribute-rgt-out
26×	associate-+r+
25×	associate--l+
24×	cbrt-div rem-log-exp
22×	associate-+l+
19×	associate-+l-
18×	difference-of-sqr-1 distribute-rgt1-in
17×	pow-pow
16×	pow-div div-sub
15×	pow-exp
14×	associate--r+ pow-to-exp
13×	associate--l- distribute-lft1-in
12×	neg-sub0
11×	exp-sum cube-unmult
10×	sin-mult
6×	associate-+r- difference-of-sqr--1 associate--r-
5×	cos-mult sqrt-unprod
4×	exp-to-pow
3×	exp-diff sin-sum unsub-neg sin-cos-mult pow3 log-rec sqr-sin rem-exp-log cos-sum
2×	rem-cube-cbrt sub-div un-div-inv tan-sum frac-2neg-c exp-neg +.c-commutative distribute-rgt-out-- rem-square-sqrt
1×	remove-posit16 cube-prod diff-atan sqrt-undiv unpow3 diff-sin cube-mult diff-cos