Details

rewrite2.3m (4.0%)

Algorithm

121×	rewrite-expression-head

Calls

388 calls:

14.8s	(* (/ 1 (sqrt 2.0)) (/ (+ (+ (* (* (* x (* x x)) (* x x)) 1/60) (* (* (* x x) x) 1/3)) (+ x x)) (/ (sqrt 2.0) (sin y))))
13.0s	(* (/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (/ (+ (+ (* (* (* x (* x x)) (* x x)) 1/60) (* (* (* x x) x) 1/3)) (+ x x)) (/ (sqrt 2.0) (sin y))))
10.2s	(/ (+ (+ (* (* (* x (* x x)) (* x x)) 1/60) (* (* (* x x) x) 1/3)) (+ x x)) (/ (sqrt 2.0) (sin y)))
5.4s	(/ x (/ (+ (* 0.3333333333333333 0.3333333333333333) (- (* (* (* x 0.022222222222222223) x) (* (* x 0.022222222222222223) x)) (* 0.3333333333333333 (* (* x 0.022222222222222223) x)))) (+ (* 0.3333333333333333 (* 0.3333333333333333 0.3333333333333333)) (* (* (* (* 0.022222222222222223 x) x) (* (* 0.022222222222222223 x) x)) (* (* 0.022222222222222223 x) x)))))
5.1s	(* x (+ (* 0.3333333333333333 (* 0.3333333333333333 0.3333333333333333)) (* (* (* (* 0.022222222222222223 x) x) (* (* 0.022222222222222223 x) x)) (* (* 0.022222222222222223 x) x))))

Rules

7424×	frac-times
6237×	*-un-lft-identity
6039×	times-frac
5225×	add-sqr-sqrt
4634×	flip3-- flip--
3452×	add-cube-cbrt
3278×	associate-*l/
3092×	sqrt-prod
2949×	exp-diff
2264×	associate-*r/
2196×	frac-sub
2000×	pow1
1570×	add-exp-log
1352×	add-cbrt-cube
1054×	distribute-lft-out
811×	associate-*l*
739×	associate-*r*
660×	add-log-exp
482×	prod-exp
477×	distribute-lft-out--
458×	pow-prod-down
456×	associate-/l*
455×	pow-prod-up
429×	difference-of-squares
410×	cbrt-unprod
391×	cbrt-prod
325×	associate-/r*
308×	div-exp
280×	unswap-sqr
239×	cbrt-undiv
226×	div-inv
212×	pow-sqr
191×	flip-+ flip3-+
189×	associate-/r/
182×	pow-plus
174×	swap-sqr
158×	log-prod
132×	pow2
123×	unpow-prod-down
121×	sub-neg
111×	sqrt-div
109×	diff-log
98×	log-pow
96×	associate-/l/ pow-unpow
94×	frac-add *-commutative
86×	distribute-rgt-neg-in
79×	exp-prod
73×	distribute-lft-neg-in
68×	frac-2neg clear-num
66×	sqr-pow
64×	distribute-rgt-in distribute-lft-in
61×	pow1/3
52×	sqrt-pow1
42×	pow1/2
39×	sum-log
35×	associate--l+ log-div
34×	div-sub
28×	cbrt-div
27×	1-exp rec-exp
26×	rem-sqrt-square
25×	+-commutative pow-exp
24×	pow-pow neg-mul-1
23×	cube-unmult
22×	tan-quot
21×	pow-to-exp pow-flip associate--r+
18×	pow3
17×	sum-cubes
15×	associate-+l+ rem-log-exp
14×	associate--l-
13×	associate-+r+
12×	complex-mul-def
11×	rem-exp-log
10×	pow-div exp-sum
9×	neg-sub0
8×	cos-sum
6×	inv-pow associate-+r-
5×	sqr-cos
4×	un-div-inv distribute-frac-neg neg-log sin-mult cos-mult associate-+l- distribute-neg-frac
3×	unpow1/3 sqrt-unprod +.c-commutative *.c-commutative sin-sum
2×	sin-cos-mult associate--r- exp-neg distribute-neg-in complex-add-def distribute-rgt-out tan-sum
1×	difference-cubes associate-+l+.c diff-atan diff-cos associate-*l*.c quot-tan rem-cbrt-cube distribute-rgt-neg-out frac-2neg.c diff-sin exp-to-pow