Details

rewrite10.2m (67.7%)

Algorithm

156×	rewrite-expression-head

Calls

469 calls:

779.0ms	(* (+ (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3))) (/ (* (+ (fma 1.875 (/ 1 (pow (fabs x) 6)) (* 0.75 (/ 1 (pow (fabs x) 4)))) 1) 1.0) (fabs x))) (* (/ 1.0 (sqrt PI)) (pow (exp (fabs x)) (/ (fabs x) 2))))
477.0ms	(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
467.0ms	(* (/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (fma (fma (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971)) (fma (* 0.1049934947 x) x 1.0)) (fma (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971)) (fma (* 0.1049934947 x) x 1.0)) (- (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))))
404.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
358.0ms	(- (/ 1 (/ (+ (+ alpha beta) 2.0) beta)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))

Rules

8413×	*-un-lft-identity
7073×	add-sqr-sqrt
6819×	times-frac
5511×	add-cube-cbrt
2780×	add-exp-log
2763×	prod-diff
1718×	add-cbrt-cube
1596×	pow1
1270×	distribute-lft-out
1124×	sqrt-prod
1052×	prod-exp
863×	unpow-prod-down
833×	associate-*l*
796×	associate-*r*
764×	add-log-exp
759×	div-exp
748×	cube-prod
533×	associate-/l*
483×	cbrt-unprod
482×	associate-/r*
467×	log1p-expm1-u expm1-log1p-u
437×	associate-/r/
433×	difference-of-squares
390×	log-pow
382×	fma-neg
374×	div-inv
359×	cbrt-prod
351×	pow-prod-down
328×	distribute-lft-out--
326×	distribute-rgt-in distribute-lft-in
321×	cbrt-undiv
299×	flip-+ flip3-+
289×	pow-exp
248×	1-exp
224×	unswap-sqr
203×	exp-sum
201×	associate--l+
188×	rec-exp associate-*r/
187×	log-prod
183×	sqr-pow
168×	swap-sqr
161×	distribute-rgt-neg-in
153×	distribute-lft-neg-in
150×	pow-to-exp
140×	fma-def associate--r+ flip3-- flip--
138×	unpow3 cube-mult
134×	exp-prod
130×	*-commutative
112×	pow-prod-up
106×	sub-neg
99×	frac-2neg clear-num diff-log
85×	sqrt-div associate-*l/
79×	pow-unpow
77×	associate-/l/ pow-plus
76×	sqrt-pow1
72×	pow1/3
61×	fma-udef
60×	pow-sqr
59×	frac-times
55×	cbrt-div
54×	pow1/2
44×	neg-mul-1 exp-to-pow
42×	sum-log
38×	frac-add pow2
36×	pow-pow
32×	pow-flip
27×	+-commutative
26×	inv-pow
25×	rem-sqrt-square
23×	distribute-neg-in
22×	div-sub
20×	associate--l-
17×	rem-cube-cbrt
16×	rem-log-exp
14×	associate-+l+ frac-sub
12×	hypot-def
11×	rem-exp-log hypot-udef associate-+r+
8×	neg-log log-div
7×	sqrt-undiv
6×	cube-div exp-diff
5×	neg-sub0 distribute-rgt-neg-out
4×	pow3 sin-sum cos-sum unpow2
3×	sqrt-unprod rem-square-sqrt associate-+l-
2×	log-rec associate--r-
1×	difference-cubes sqrt-pow2 un-div-inv exp-neg unpow-prod-up pow-sub unsub-neg distribute-rgt-out-- rem-cbrt-cube