Details

rewrite1.7m (2.9%)

Algorithm

896×	rewrite-expression-head

Calls

2563 calls:

5.6s	(* (/ (/ (+ (* (* (- (cos x) (cos y)) (- (sin y) (/ (sin x) 16.0))) (* (- (sin x) (/ (sin y) 16.0)) (sqrt 2.0))) 2.0) 3.0) (+ (* (* (cos y) (/ (- (* 3.0 3.0) 5.0) (* 2.0 (+ 3.0 (sqrt 5.0))))) (* (* (cos y) (/ (- (* 3.0 3.0) 5.0) (* 2.0 (+ 3.0 (sqrt 5.0))))) (* (cos y) (/ (- (* 3.0 3.0) 5.0) (* 2.0 (+ 3.0 (sqrt 5.0))))))) (* (+ (* (cos x) (/ (- (sqrt 5.0) 1.0) 2.0)) 1.0) (* (+ (* (cos x) (/ (- (sqrt 5.0) 1.0) 2.0)) 1.0) (+ (* (cos x) (/ (- (sqrt 5.0) 1.0) 2.0)) 1.0))))) (+ (* (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x)))) (- (* (* (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)) (* (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (cos y))) (* (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (cos y))))))
2.1s	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.7s	(/ (+ (* (* (* 4.0 (- 0.75 (/ (- z x) y))) (* 4.0 (- 0.75 (/ (- z x) y)))) (* 4.0 (- 0.75 (/ (- z x) y)))) (* 1.0 (* 1.0 1.0))) (+ (* (* 4.0 (- 0.75 (/ (- z x) y))) (* 4.0 (- 0.75 (/ (- z x) y)))) (* 1.0 (- 1.0 (* 4.0 (- 0.75 (/ (- z x) y)))))))
1.6s	(* (/ (+ (* x 0.27061) 2.30753) (+ (* (* (* (+ (* 0.04481 x) 0.99229) x) (* (+ (* 0.04481 x) 0.99229) x)) (* (+ (* 0.04481 x) 0.99229) x)) (* 1.0 (* 1.0 1.0)))) (+ (* 1.0 1.0) (- (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))) (* 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
1.3s	(cbrt (* (* (exp (- (+ x (* y (log y))) z)) (exp (- (+ x (* y (log y))) z))) (exp (- (+ x (* y (log y))) z))))

Rules

39606×	times-frac
37230×	*-un-lft-identity
35235×	add-sqr-sqrt
23504×	add-cube-cbrt
12568×	add-exp-log
9807×	add-cbrt-cube
8079×	pow1
6321×	cbrt-prod
6033×	sqrt-prod
6030×	associate-*r*
5792×	associate-*l*
3975×	add-log-exp
3966×	prod-exp
3937×	distribute-lft-out--
3700×	difference-of-squares
3474×	associate-/r*
3296×	associate-*r/
3286×	distribute-lft-out
3238×	frac-times
3127×	cbrt-unprod
3008×	associate-*l/
2925×	div-exp
2769×	cbrt-div
2756×	flip-+ flip3-+
2563×	insert-posit16
2543×	associate-/r/
2456×	flip3-- flip--
2253×	pow-prod-down
2227×	associate-/l*
2124×	cbrt-undiv
1982×	div-inv
1653×	sqrt-div
1528×	unswap-sqr
1455×	sqrt-pow1
1352×	log-prod
1242×	swap-sqr
1039×	distribute-rgt-in distribute-lft-in
1019×	pow1/3
840×	*-commutative
839×	frac-add
807×	pow-prod-up
679×	sub-neg
654×	pow1/2
616×	frac-sub
607×	log-pow
566×	associate-/l/
507×	sum-log
504×	frac-2neg clear-num
484×	exp-prod
475×	pow-sqr
371×	1-exp
353×	associate-+r+
351×	associate--l+
318×	rec-exp
302×	diff-log
266×	+-commutative
253×	pow-plus
195×	associate-+l+
181×	pow2
130×	rem-sqrt-square
125×	div-sub
119×	distribute-rgt-out--
86×	distribute-lft-neg-in distribute-rgt-neg-in
81×	exp-sum
77×	cube-unmult
72×	log-div
69×	pow-flip
67×	associate--r+
65×	sub-div
64×	rem-log-exp
60×	inv-pow un-div-inv
53×	unpow-prod-down
45×	sinh-def
43×	tanh-def distribute-rgt-out
42×	exp-diff pow3
39×	sqrt-unprod
37×	pow-unpow
36×	sum-cubes rem-exp-log
32×	distribute-rgt-neg-out associate-+l-
30×	distribute-lft-neg-out
24×	rem-square-sqrt
22×	pow-exp associate--r-
21×	unpow-prod-up sqr-pow unsub-neg
17×	pow-to-exp
16×	associate-+r-
14×	neg-mul-1 pow-pow
13×	cos-mult rem-cbrt-cube
12×	cosh-def
11×	unpow1/3
9×	associate--l- difference-cubes
7×	sqrt-undiv distribute-rgt1-in
6×	distribute-lft1-in distribute-frac-neg difference-of-sqr-1 count-2
5×	distribute-neg-frac sqr-cos
4×	exp-to-pow diff-cos
3×	sin-mult cos-diff
2×	pow-sub tan-quot cos-sum
1×	neg-sub0 remove-posit16 sin-cos-mult exp-neg e-exp-1