Details

rewrite10.5m (69.7%)

Algorithm

161×	rewrite-expression-head

Calls

497 calls:

6.7s	(* (sqrt (/ 1 PI)) (+ (+ (+ (/ (pow (fabs x) 7) (/ 21.0 (pow (sqrt 1.0) 2))) (* 2.0 (fabs x))) (* 0.2 (pow (fabs x) 5))) (* 0.6666666666666666 (pow (fabs x) 3))))
4.8s	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
1.2s	(- (+ 1.0 (+ (* 0.284496736 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) (* 1.453152027 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 4))))) (+ (* 1.061405429 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 5))) (+ (* 1.421413741 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 3))) (* 0.254829592 (/ (exp (- (pow (fabs x) 2))) (+ (* 0.3275911 (fabs x)) 1.0))))))
819.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)))))
688.0ms	(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (/ (/ (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i))))

Rules

20362×	times-frac
13533×	add-sqr-sqrt
12394×	*-un-lft-identity
9223×	add-cube-cbrt
5715×	sqrt-prod
3329×	add-exp-log
2556×	add-cbrt-cube
2055×	pow1
1520×	difference-of-squares
1478×	associate-*l*
1422×	associate-*r*
1372×	prod-exp
973×	cbrt-unprod
860×	flip-+ flip3-+
828×	associate-/r/
823×	add-log-exp
815×	distribute-lft-out--
772×	distribute-lft-out
738×	div-exp
705×	div-inv
531×	associate-/r*
530×	cbrt-undiv
523×	pow-prod-down
517×	unpow-prod-down
513×	cbrt-prod
489×	associate-*r/
461×	associate-/l*
425×	unswap-sqr
421×	frac-times
367×	sqrt-div
329×	associate-*l/
295×	sqrt-pow1
264×	swap-sqr
244×	pow-prod-up
233×	log-pow
206×	pow-exp
193×	sqr-pow
172×	frac-add
168×	*-commutative
167×	pow1/2
160×	log-prod
153×	pow1/3
136×	cbrt-div
135×	pow-plus
129×	pow-to-exp
126×	pow-sqr
125×	flip3-- flip--
108×	distribute-rgt-in distribute-lft-in
106×	associate-/l/
105×	pow-unpow
96×	diff-log
95×	sum-log
84×	rem-sqrt-square sub-neg
83×	cube-prod
79×	clear-num frac-2neg
68×	pow2 1-exp
65×	rec-exp
50×	unpow2 +-commutative
47×	associate--l+
32×	cube-div associate-+r+
31×	exp-prod
28×	exp-neg
27×	pow-pow
26×	exp-diff neg-sub0
23×	pow-flip
21×	associate-+l+ unpow3 cube-mult frac-sub
18×	inv-pow
17×	associate--r+
14×	div-sub un-div-inv associate--l-
11×	distribute-rgt-neg-in log-div
10×	distribute-rgt-out
9×	distribute-lft-neg-in
8×	rem-cube-cbrt rem-log-exp
7×	pow3
6×	sin-sum distribute-neg-in distribute-neg-frac
5×	rem-cbrt-cube
4×	sqrt-pow2 sqrt-unprod log-rec cos-mult associate-+l-
3×	cos-sum sqr-cos neg-mul-1 exp-sum distribute-rgt-neg-out
2×	associate-+r- unsub-neg associate--r-
1×	distribute-neg-out difference-cubes remove-double-div rem-exp-log distribute-lft-neg-out rem-square-sqrt neg-log