Details

rewrite2.6m (3.8%)

Algorithm

904×	rewrite-expression-head

Calls

2568 calls:

3.7s	(* (sqrt (sqrt x)) (* (sqrt (sqrt x)) (* (sqrt x) (+ (+ (+ (+ y z) z) y) t))))
3.7s	(/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (cbrt (* (+ (* x y) z) y))))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
3.5s	(/ (+ x (- (/ (/ z (- (* t z) x)) (/ 1 y)) (/ x (- (* t z) x)))) (+ x 1.0))
2.8s	(+ (+ (+ (+ (+ x y) y) x) z) x)
2.4s	(+ (+ (* (pow (/ x (sqrt 1.0)) 3) (/ 1/8 (pow (+ (sqrt 1.0) 1.0) 2))) (+ (* 1/4 (/ (/ (pow x 3) 1.0) (pow (+ (sqrt 1.0) 1.0) 3))) (* (/ (pow x 2) (* (sqrt 1.0) (pow (+ (sqrt 1.0) 1.0) 2))) -1/2))) (/ x (+ (sqrt 1.0) 1.0)))

Rules

51047×	times-frac
48863×	*-un-lft-identity
38483×	add-sqr-sqrt
27529×	add-cube-cbrt
26473×	sqrt-prod
12542×	add-exp-log
9323×	add-cbrt-cube
8414×	distribute-lft-out
6844×	pow1
5987×	associate-*r*
5158×	cbrt-prod
4696×	associate-*l*
4065×	add-log-exp
4031×	prod-exp
3585×	difference-of-squares
3488×	associate-/r*
3109×	distribute-lft-out--
3052×	cbrt-unprod
3019×	div-exp
2934×	associate-/l*
2131×	div-inv
2039×	cbrt-undiv
2012×	associate-/r/
1952×	associate-*r/
1939×	flip-+ flip3-+
1875×	pow-prod-down
1731×	flip3-- flip--
1603×	sqrt-div
1480×	unswap-sqr
1451×	associate-*l/
1382×	frac-times
1379×	unpow-prod-down
1338×	cbrt-div
848×	distribute-rgt-in distribute-lft-in
815×	*-commutative
753×	log-prod
749×	pow1/3
733×	swap-sqr
691×	sub-neg
663×	sqrt-pow1
574×	associate-/l/
557×	sum-log
550×	clear-num frac-2neg
510×	cube-prod
502×	frac-sub
413×	pow1/2
389×	pow-prod-up
380×	pow-exp
345×	sqr-pow
337×	pow-to-exp
301×	+-commutative
298×	diff-log
276×	frac-add
266×	1-exp
263×	pow-sqr
250×	associate--l+
242×	rec-exp
240×	associate-+r+
216×	associate-+l+
166×	log-pow
142×	pow-unpow
132×	pow-plus
131×	rem-sqrt-square
119×	div-sub
110×	pow2
108×	distribute-rgt-neg-in distribute-lft-neg-in
92×	exp-sum
82×	pow-flip
80×	pow-pow tanh-def
75×	inv-pow exp-prod
73×	unpow2
64×	associate--r+
60×	exp-neg
59×	un-div-inv
58×	log-div
48×	exp-diff difference-of-sqr--1
45×	neg-sub0 sum-cubes
42×	rem-log-exp
41×	cube-div sinh-def
38×	associate-+l-
34×	distribute-lft-neg-out difference-of-sqr-1
33×	sqrt-unprod
32×	distribute-rgt-out--
31×	sub-div
30×	associate-+r-
27×	distribute-rgt-neg-out
25×	unsub-neg
24×	neg-mul-1
23×	rem-square-sqrt
22×	distribute-rgt-out
18×	unpow3 cube-mult
17×	rem-cube-cbrt difference-cubes
15×	rem-exp-log
14×	sin-mult cosh-def
10×	associate--l-
7×	unpow1/3 pow-sub associate--r-
6×	distribute-rgt1-in
5×	distribute-lft1-in count-2 distribute-neg-frac
4×	neg-log sqrt-pow2 unpow-prod-up diff-cos rem-cbrt-cube
3×	distribute-neg-out cos-diff
2×	exp-to-pow tan-quot cos-sum
1×	pow-div sqrt-undiv sin-cos-mult pow3 remove-double-div distribute-frac-neg