Details

rewrite2.1m (3.1%)

Algorithm

899×	rewrite-expression-head

Calls

2572 calls:

9.7s	(/ (/ (+ (* (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (* x y) (* (* (* x y) (* x y)) (* (* x y) (* x y))))) (* (* (* (* z t) (* z t)) (* z t)) (* (* (* (* z t) (* z t)) (* z t)) (* (* (* z t) (* z t)) (* z t))))) (+ (* (* (* (* z t) (* z t)) (* z t)) (* (* (* z t) (* z t)) (* z t))) (* (* (* x y) (* (* x y) (* x y))) (- (* (* x y) (* (* x y) (* x y))) (* (* (* z t) (* z t)) (* z t)))))) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))
8.0s	(/ (+ (* (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (* x y) (* (* (* x y) (* x y)) (* (* x y) (* x y))))) (* (* (* (* z t) (* z t)) (* z t)) (* (* (* (* z t) (* z t)) (* z t)) (* (* (* z t) (* z t)) (* z t))))) (+ (* (* (* (* z t) (* z t)) (* z t)) (* (* (* z t) (* z t)) (* z t))) (* (* (* x y) (* (* x y) (* x y))) (- (* (* x y) (* (* x y) (* x y))) (* (* (* z t) (* z t)) (* z t))))))
4.7s	(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (* (* (cbrt (exp (+ (+ (* (log a) t) (- b)) (+ (* (log z) y) (* (- 1.0) (log a)))))) (cbrt (exp (+ (+ (* (log a) t) (- b)) (+ (* (log z) y) (* (- 1.0) (log a))))))) (cbrt (exp (+ (+ (* (log a) t) (- b)) (+ (* (log z) y) (* (- 1.0) (log a)))))))))) y)
3.0s	(* (/ (+ (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (+ (* (* (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (/ 1.0 3.0) x)) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (/ 1.0 3.0) x))) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (/ 1.0 3.0) x))) (* (* (* x x) (* x x)) (* x x)))) (+ (* (* x x) (* x x)) (/ (- (* (* 1.0 (- (/ 1.0 3.0) x)) (* (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) 3.0)) (* (* 3.0 (* x x)) (* 1.0 (- (/ 1.0 3.0) x)))) (* 3.0 3.0))))
2.6s	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))

Rules

39305×	times-frac
35007×	*-un-lft-identity
33689×	add-sqr-sqrt
23571×	add-cube-cbrt
15272×	associate-*r/
12010×	add-exp-log
10577×	cbrt-div
9634×	add-cbrt-cube
8123×	frac-times
7912×	pow1
6051×	associate-*r*
5532×	frac-sub
5479×	cbrt-prod
4957×	sqrt-prod
4951×	associate-*l*
4369×	associate-*l/
4241×	add-log-exp
3939×	prod-exp
3834×	flip3-- flip--
3416×	distribute-lft-out--
3215×	difference-of-squares
3170×	cbrt-unprod
3107×	associate-/r*
2666×	tanh-def
2572×	insert-posit16
2520×	associate-/l*
2489×	distribute-lft-out
2488×	div-exp
2444×	pow-prod-down
2067×	div-inv
2033×	flip-+ flip3-+
1865×	associate-/r/
1834×	cbrt-undiv
1735×	sqrt-div
1394×	unswap-sqr
1344×	exp-diff
1282×	log-prod
1215×	distribute-rgt-in distribute-lft-in
1107×	associate-/l/
943×	pow1/3
918×	swap-sqr
825×	frac-add
820×	*-commutative
811×	sub-neg
708×	associate-+r-
707×	associate-+l-
631×	sum-log
570×	sqrt-pow1
562×	pow-prod-up
531×	frac-2neg clear-num
502×	associate--l+
469×	distribute-lft-neg-out
461×	unsub-neg
458×	sub-div
342×	associate-+r+
333×	diff-log
325×	pow-sqr
323×	pow1/2
309×	1-exp
303×	+-commutative
302×	rec-exp
300×	associate-+l+
252×	exp-sum
231×	log-pow
224×	neg-sub0
220×	pow-plus
207×	un-div-inv
181×	unpow-prod-down
171×	pow-exp
140×	pow2
134×	cube-unmult
127×	cosh-def
108×	rem-sqrt-square
98×	div-sub
96×	distribute-rgt-out--
86×	sum-cubes
85×	associate--r+
82×	pow3
76×	exp-prod
72×	log-div
66×	pow-flip
57×	inv-pow
56×	rem-log-exp
55×	pow-to-exp
54×	distribute-rgt-out
49×	rem-exp-log
38×	pow-unpow
34×	sinh-def
29×	distribute-lft-neg-in distribute-rgt-neg-in
27×	sqrt-unprod
21×	sqr-pow pow-pow
18×	unpow-prod-up
17×	neg-mul-1
16×	cube-prod distribute-rgt-neg-out rem-square-sqrt
14×	difference-cubes associate--r-
12×	associate--l-
10×	distribute-lft1-in
9×	neg-log
8×	cos-sum rem-cbrt-cube diff-cos count-2 distribute-rgt1-in
6×	cos-diff
5×	unpow1/3
3×	sqrt-undiv
2×	remove-posit16 tan-quot
1×	pow-sub exp-to-pow exp-neg acos-asin