Details

rewrite2.5m (3.0%)

Algorithm

891×	rewrite-expression-head

Calls

2566 calls:

11.8s	(+ (/ x y) (+ (- (/ (/ (sqrt 2.0) 1) (/ t (/ (sqrt 2.0) z))) 2.0) (/ 2.0 t)))
9.2s	(/ (- (* (* (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0)) 1.0) (* 1.0 1.0)) (* (* (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (/ (- x y) (- 1.0 y)))) (+ (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0)) (* (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))) (+ (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y)))))))
3.0s	(log (/ (- (* (* (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0)) 1.0) (* 1.0 1.0)) (* (* (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (/ (- x y) (- 1.0 y)))) (+ (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0)) (* (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))) (+ (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))))))
2.4s	(- (* (* (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0)) 1.0) (* 1.0 1.0)) (* (* (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (/ (- x y) (- 1.0 y))))
1.9s	(* (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) y)

Rules

59588×	times-frac
46238×	*-un-lft-identity
44465×	add-sqr-sqrt
30949×	add-cube-cbrt
12261×	add-exp-log
9331×	add-cbrt-cube
7436×	pow1
6764×	sqrt-prod
6640×	cbrt-prod
6029×	associate-*r*
4867×	distribute-lft-out--
4851×	difference-of-squares
4725×	associate-*l*
4359×	cbrt-div
4173×	add-log-exp
3816×	prod-exp
3695×	associate-/r*
3554×	frac-times
3341×	associate-*r/
3298×	flip3-- flip--
3153×	cbrt-unprod
3014×	distribute-lft-out
2994×	associate-/r/
2840×	div-exp
2603×	div-inv
2582×	associate-*l/
2282×	associate-/l*
2206×	flip-+ flip3-+
2128×	pow-prod-down
2058×	cbrt-undiv
1512×	log-prod
1399×	unswap-sqr
1268×	swap-sqr
1139×	pow1/3
963×	distribute-rgt-in distribute-lft-in
805×	frac-sub
801×	*-commutative
795×	associate-/l/
750×	sub-neg
734×	sqrt-div
575×	sum-log
514×	frac-2neg clear-num
502×	pow-prod-up
415×	frac-add
388×	sqrt-pow1
369×	diff-log
353×	pow-sqr
343×	1-exp
315×	associate-+r+
280×	associate--l+
266×	+-commutative pow1/2
251×	rec-exp
249×	log-pow
237×	pow-plus
213×	associate-+l+
212×	tanh-def
172×	pow2
120×	div-sub
111×	log-div
107×	un-div-inv
101×	cube-unmult
97×	exp-diff
91×	exp-prod
85×	rem-sqrt-square
82×	pow-flip pow-unpow
77×	rem-log-exp
75×	associate--r+ unpow-prod-down
59×	pow3
58×	inv-pow
51×	pow-exp
50×	distribute-rgt-out
43×	pow-to-exp
42×	distribute-rgt-neg-in
39×	exp-sum associate-+l-
38×	sum-cubes
33×	distribute-lft-neg-in
31×	pow-pow
30×	rem-exp-log
29×	sqr-pow
28×	associate-+r-
25×	sqrt-unprod difference-cubes
24×	distribute-rgt-out-- associate--r-
21×	distribute-rgt-neg-out
18×	sub-div unpow1/3 sinh-def
17×	associate--l-
16×	rem-square-sqrt
15×	distribute-rgt1-in
14×	neg-mul-1 rem-cbrt-cube unsub-neg
13×	distribute-lft-neg-out
12×	distribute-lft1-in
11×	count-2
8×	cos-mult
6×	cosh-def distribute-neg-in
5×	sqr-cos
4×	tan-quot diff-cos
3×	neg-sub0 exp-to-pow cos-diff
2×	pow-div sin-mult exp-neg cos-sum
1×	sqrt-undiv