Details

rewrite11.3m (49.1%)

Algorithm

152×	rewrite-expression-head

Calls

460 calls:

16.9s	(* (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (/ (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
13.2s	(* (/ (sqrt (/ 1.0 (sqrt 1))) (* (fabs (cbrt 9.0)) (sqrt (cbrt (* (cbrt 9.0) (cbrt 9.0)))))) (/ (* (sqrt (/ 1.0 (sqrt 1))) rand) (sqrt (* (cbrt (cbrt 9.0)) (- a (/ 1.0 3.0))))))
906.0ms	(* (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (fma 1.0 2.0 (+ alpha beta))) (- (+ alpha beta) (* 2.0 1.0))) (fma 1.0 2.0 (+ alpha beta))) (/ (- (+ alpha beta) (* 2.0 1.0)) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
797.0ms	(* (+ (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3))) (/ (* 1.0 (+ (fma 1.875 (pow (fabs x) (- 6)) (* 0.75 (/ 1 (pow (fabs x) 4)))) 1)) (fabs x))) (* (/ 1.0 (sqrt PI)) (pow (exp (fabs x)) (/ (fabs x) 2))))
788.0ms	(* (+ (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3))) (/ (* 1.0 (+ (fma 1.875 (/ 1 (pow (fabs x) 6)) (* 0.75 (/ 1 (pow (fabs x) 4)))) 1)) (fabs x))) (* (/ 1.0 (sqrt PI)) (pow (exp (fabs x)) (/ (fabs x) 2))))

Rules

593521×	*-un-lft-identity
293049×	distribute-lft-out
276506×	times-frac
173827×	add-sqr-sqrt
144325×	associate-/l*
123464×	add-cube-cbrt
113689×	frac-times
104512×	associate-*l*
99993×	associate-/r*
94458×	sqrt-prod
66500×	sqrt-div
37303×	associate-*l/
34980×	frac-add
31661×	associate-/l/
28356×	associate-*r*
25665×	unpow-prod-down
20735×	unswap-sqr
13600×	cbrt-prod
13008×	prod-diff
9813×	clear-num
9756×	frac-2neg
7643×	frac-sub
7217×	distribute-lft-out--
7150×	div-inv
6458×	associate-/r/
5791×	associate-*r/
5439×	difference-of-squares
4624×	*-commutative
4349×	flip-+ flip3-+
3701×	distribute-rgt-in distribute-lft-in
3213×	swap-sqr
2822×	pow1
2580×	add-exp-log
2178×	sqr-pow
1956×	add-cbrt-cube
1922×	unpow3
1610×	log-pow
1602×	fma-def
999×	distribute-rgt-neg-in
982×	distribute-lft-neg-in
839×	prod-exp
694×	div-exp
650×	add-log-exp
614×	cbrt-unprod
590×	fma-neg
560×	flip-- flip3--
494×	associate-+r+
461×	log1p-expm1-u
459×	expm1-log1p-u
391×	cbrt-undiv
362×	pow-prod-down
338×	hypot-def
195×	log-prod
166×	+-commutative
147×	1-exp
143×	un-div-inv
125×	exp-sum
112×	sqrt-pow1
99×	neg-mul-1
98×	pow-unpow
97×	associate--l+
89×	pow1/3
84×	associate-+l+
81×	pow1/2
78×	pow-exp
77×	rec-exp distribute-rgt-out-- distribute-rgt-out sub-neg
73×	pow-prod-up
71×	associate--r+
66×	cbrt-div
65×	diff-log
57×	rem-sqrt-square
56×	pow-plus
51×	fma-udef
42×	sum-log
41×	pow-to-exp
34×	exp-prod
31×	pow-sqr
24×	log-div
23×	distribute-neg-in
22×	pow-pow
21×	pow-flip
20×	pow2
19×	rem-cube-cbrt
16×	hypot-udef
15×	distribute-lft1-in
13×	inv-pow unpow-prod-up
10×	associate-+r- rem-log-exp associate--l-
9×	div-sub distribute-neg-frac
8×	pow3 sin-sum cos-sum
6×	remove-double-div sqrt-unprod expm1-log1p neg-log distribute-rgt-neg-out
5×	rem-exp-log
4×	difference-cubes distribute-lft-neg-out rem-cbrt-cube
3×	sqrt-pow2 rem-square-sqrt neg-sub0 expm1-udef associate-+l- log-rec
1×	exp-diff log1p-udef exp-neg log1p-expm1 pow-sub unsub-neg distribute-frac-neg sqrt-undiv associate--r-