Details

rewrite2.4m (3.3%)

Algorithm

901×	rewrite-expression-head

Calls

2603 calls:

3.7s	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
2.2s	(- (/ (/ 1 1) (/ (/ y x) (/ 1 y))) 3.0)
1.5s	(* (* (- y z) (/ (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z)))) (- a x))
1.1s	(/ (- (* (/ (* z (sqrt (+ t a))) (* (cbrt t) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.0s	(* (/ (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))))

Rules

51729×	times-frac
40659×	add-sqr-sqrt
39765×	*-un-lft-identity
28255×	add-cube-cbrt
12766×	add-exp-log
9256×	add-cbrt-cube
8568×	associate-*r*
7992×	cbrt-prod
7166×	pow1
4869×	sqrt-prod
4709×	associate-*l*
4208×	difference-of-squares
4038×	add-log-exp
3964×	prod-exp
3741×	distribute-lft-out--
3692×	associate-/r*
3174×	div-exp
2965×	cbrt-unprod
2746×	div-inv
2619×	flip3-- flip--
2579×	cbrt-div
2393×	associate-*r/
2265×	associate-*l/
2262×	associate-/l*
2116×	pow-prod-down
2086×	distribute-lft-out
2019×	frac-times
1993×	associate-/r/
1955×	cbrt-undiv
1796×	flip-+ flip3-+
1586×	unswap-sqr
1282×	log-prod
1078×	unpow-prod-down
1021×	distribute-rgt-in distribute-lft-in
986×	pow1/3
936×	swap-sqr
811×	*-commutative
768×	sqrt-div
697×	frac-sub
636×	sub-neg
631×	associate-/l/
543×	clear-num frac-2neg
542×	sum-log
522×	sqrt-pow1
521×	distribute-rgt-neg-in
520×	distribute-lft-neg-in
435×	sqr-pow
386×	1-exp
366×	pow-prod-up
338×	pow1/2
336×	cube-prod
326×	+-commutative
321×	rec-exp
312×	frac-add associate--l+
303×	associate-+r+
288×	pow-sqr
274×	pow-exp
264×	diff-log
258×	associate-+l+
227×	pow-to-exp
214×	log-pow
176×	exp-sum
138×	pow-plus
128×	neg-mul-1
123×	pow2
122×	pow-unpow
113×	div-sub
107×	rem-sqrt-square
105×	exp-prod
88×	log-div
79×	pow-flip
66×	cube-div
64×	inv-pow
62×	un-div-inv
61×	pow-pow unpow2
54×	associate--r+
50×	tanh-def
47×	rem-log-exp
34×	unpow-prod-up
33×	sinh-def
31×	associate-+l-
30×	sum-cubes
28×	sqrt-unprod associate-+r-
27×	distribute-rgt-out--
25×	distribute-rgt-out
23×	unsub-neg
22×	difference-cubes distribute-lft-neg-out sub-div rem-square-sqrt
21×	unpow3 cube-mult
18×	cosh-def
14×	rem-exp-log distribute-rgt-neg-out distribute-neg-frac
13×	associate--r-
11×	neg-sub0
10×	exp-diff associate--l-
9×	unpow1/3
8×	rem-cube-cbrt
7×	diff-cos pow-sub neg-log
6×	distribute-rgt1-in
5×	sqrt-pow2 distribute-lft1-in count-2
4×	difference-of-sqr-1
3×	cos-diff sin-mult
2×	cos-sum sqrt-undiv rem-cbrt-cube exp-neg tan-quot cos-mult exp-to-pow
1×	sin-cos-mult pow3 distribute-frac-neg acos-asin