Details

rewrite1.8m (2.4%)

Algorithm

908×	rewrite-expression-head

Calls

2638 calls:

7.0s	(* (- (/ (* (* x y) (* x y)) (- (* (* x y) (* (* x y) (* x y))) (* (* (* z t) (* z t)) (* z t)))) (/ (* (* z t) (* z t)) (- (* (* x y) (* (* x y) (* x y))) (* (* (* z t) (* z t)) (* z t))))) (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))))
1.5s	(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
1.4s	(* (* (+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c) (+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c)) (+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c))
1.1s	(/ (- (* (* (* x x) (* x x)) (* x x)) (* (* (* (* z 4.0) y) (* (* z 4.0) y)) (* (* z 4.0) y))) (+ (* (* x x) (+ (* (* z 4.0) y) (* x x))) (* (* (* z 4.0) y) (* (* z 4.0) y))))
948.0ms	(* (+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c) (+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c))

Rules

49249×	times-frac
42617×	*-un-lft-identity
39542×	add-sqr-sqrt
27292×	add-cube-cbrt
13208×	add-exp-log
9959×	add-cbrt-cube
8220×	pow1
6332×	associate-*r*
5624×	associate-*l*
4944×	sqrt-prod
4271×	cbrt-prod
4243×	cbrt-div
4215×	add-log-exp
4163×	distribute-lft-out--
4014×	difference-of-squares
3936×	associate-/r*
3896×	distribute-lft-out
3830×	prod-exp
3617×	div-exp
3244×	frac-times
2968×	cbrt-unprod
2662×	flip-+ flip3-+
2638×	insert-posit16
2625×	flip3-- flip--
2571×	associate-/l*
2537×	associate-*r/
2509×	pow-prod-down
2469×	associate-/r/
2409×	div-inv
2397×	associate-*l/
2056×	cbrt-undiv
1550×	sqrt-div
1482×	unswap-sqr
1226×	log-prod
1211×	distribute-rgt-in distribute-lft-in
1171×	swap-sqr
862×	sub-neg
860×	pow1/3
844×	*-commutative
734×	sqrt-pow1
654×	1-exp
581×	associate-/l/
579×	frac-2neg clear-num
578×	pow-prod-up
539×	sum-log
508×	rec-exp
417×	frac-sub
401×	associate--l+
369×	pow1/2
362×	pow-sqr
357×	diff-log
295×	+-commutative
253×	associate-+r+
247×	associate-+l+
226×	exp-sum
223×	pow-plus
221×	frac-add
214×	log-pow
159×	pow2
131×	div-sub
111×	rem-sqrt-square
88×	unpow-prod-down
87×	pow-flip
77×	cosh-def
74×	log-div
72×	exp-prod
66×	inv-pow
62×	associate--r+ rem-log-exp
61×	cube-unmult pow3
60×	pow-exp
59×	distribute-rgt-out
58×	tanh-def
54×	un-div-inv distribute-rgt-out--
48×	distribute-rgt-neg-in
46×	cos-mult
44×	associate-+l-
43×	pow-unpow
42×	sub-div
38×	distribute-lft-neg-in
35×	pow-to-exp
34×	rem-exp-log
32×	sinh-def
31×	sqrt-unprod
26×	distribute-lft-neg-out associate-+r- pow-pow
24×	sqr-pow
23×	difference-cubes
22×	distribute-neg-frac
21×	exp-diff
20×	sum-cubes
19×	neg-mul-1 rem-square-sqrt
16×	unsub-neg associate--r-
15×	rem-cbrt-cube
14×	distribute-rgt-neg-out
13×	unpow1/3
12×	associate--l-
9×	sqr-cos
7×	sin-mult count-2
6×	tan-quot distribute-rgt1-in
5×	distribute-lft1-in exp-to-pow diff-cos
4×	difference-of-sqr-1
3×	cos-diff
2×	neg-sub0 remove-posit16 cos-sum
1×	sqrt-undiv neg-log sqr-sin exp-neg sum-cos