Details

rewrite10.5m (43.2%)

Algorithm

159×	rewrite-expression-head

Calls

470 calls:

6.9s	(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
4.0s	(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
1.4s	(/ (* (+ (+ (/ (* (* (* 1.0 (/ 1.0 (fabs x))) (pow 1.0 3)) (+ (* 3.0 (pow (fabs x) 2)) (* 4.0 (* 1.0 (/ 15.0 8.0))))) (* (pow (fabs x) 6) 4.0)) (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3)))) (/ 1.0 (fabs x))) 1.0) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
816.0ms	(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
676.0ms	(+ (log (exp (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)

Rules

4820×	add-sqr-sqrt
4676×	*-un-lft-identity
4568×	times-frac
4395×	add-exp-log
3151×	add-cube-cbrt
2353×	prod-exp
2169×	add-cbrt-cube
1726×	pow1
1138×	div-exp
1101×	sqrt-prod
1075×	associate-*r*
930×	pow-exp
890×	associate-*l*
792×	add-log-exp
769×	flip-+ flip3-+
740×	cbrt-unprod
691×	associate-*r/
625×	unpow-prod-down
594×	frac-times
588×	distribute-lft-out
539×	pow-to-exp
527×	difference-of-squares
473×	pow-prod-down
448×	associate-/r/
415×	cube-prod
413×	associate-/r*
406×	cbrt-undiv
396×	associate-/l*
361×	sqr-pow
320×	associate-*l/
305×	sqrt-div rec-exp 1-exp
302×	frac-add
260×	div-inv
245×	unswap-sqr
221×	log-pow
212×	distribute-lft-out--
203×	flip3-- flip--
196×	swap-sqr
194×	associate-/l/
158×	sqrt-pow1
150×	cbrt-prod
145×	*-commutative
135×	pow1/2
129×	log-prod
127×	pow-unpow
106×	pow-prod-up
100×	exp-prod
98×	diff-log
96×	distribute-rgt-in distribute-lft-in
90×	sub-neg
86×	sum-log
84×	frac-2neg clear-num
71×	rem-sqrt-square
68×	frac-sub
66×	cbrt-div
54×	pow-pow
52×	pow-sqr
49×	+-commutative
48×	pow-plus
41×	pow1/3
37×	associate--l+
34×	exp-diff
32×	pow2
30×	exp-neg
28×	associate-+l+ neg-sub0
26×	distribute-neg-frac
25×	cube-div
23×	unpow3 cube-mult div-sub
22×	log-div
21×	distribute-rgt-neg-in distribute-lft-neg-in
19×	rem-cube-cbrt associate-+r+ exp-sum associate--l-
17×	unpow2
13×	un-div-inv
12×	associate--r+
11×	rem-exp-log
10×	pow-flip rem-log-exp
9×	inv-pow distribute-neg-in
8×	difference-cubes
7×	associate-+r- distribute-rgt-out
6×	sin-sum associate-+l- neg-mul-1
5×	distribute-rgt1-in
4×	sqrt-pow2 distribute-lft-neg-out unsub-neg unpow-prod-up neg-log distribute-rgt-neg-out
3×	cos-sum pow3 pow-sub
2×	associate--r- rem-cbrt-cube
1×	sqrt-undiv sqrt-unprod distribute-rgt-out-- rem-square-sqrt