Details

rewrite10.4m (72.8%)

Algorithm

147×	rewrite-expression-head

Calls

435 calls:

7.2s	(* (/ (+ (+ (+ (+ (+ 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.2s	(/ (+ (+ (+ (+ (+ 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)))))
629.0ms	(* (* (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (sqrt (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) 1) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))))) (sqrt (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (sqrt (+ (+ alpha beta) (* 2.0 1.0))))))
503.0ms	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
456.0ms	(+ (/ (* (* (/ 1 (* (fabs (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1)) (/ (- beta alpha) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (/ (+ alpha beta) (fma i 2.0 (+ alpha beta)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

Rules

6676×	*-un-lft-identity
5786×	times-frac
5703×	add-sqr-sqrt
4566×	add-cube-cbrt
2418×	add-exp-log
1712×	prod-diff
1600×	add-cbrt-cube
1316×	pow1
1295×	sqrt-prod
899×	distribute-lft-out
876×	associate-*r*
853×	prod-exp
751×	associate-*l*
657×	div-exp
639×	add-log-exp
563×	cbrt-prod
478×	associate-/r*
444×	cbrt-unprod
438×	associate-/l*
433×	log1p-expm1-u expm1-log1p-u
337×	log-pow
336×	div-inv
322×	associate-/r/
321×	cbrt-undiv
305×	log-prod
298×	pow-prod-down
265×	exp-sum
264×	difference-of-squares
249×	fma-neg
246×	distribute-rgt-in distribute-lft-in
215×	1-exp
211×	flip-+ distribute-lft-out-- flip3-+ unswap-sqr
198×	swap-sqr
194×	unpow-prod-down
157×	sqrt-pow1
148×	fma-def
140×	exp-prod associate--l+
123×	rec-exp
119×	flip3-- flip--
112×	pow1/2 *-commutative
111×	pow-exp
98×	sqrt-div
93×	frac-2neg clear-num
90×	associate-*l/
89×	pow1/3 sub-neg
88×	cube-prod
83×	pow-prod-up
79×	associate-/l/ diff-log
78×	associate-+l+
76×	associate-*r/
72×	distribute-rgt-neg-in distribute-lft-neg-in
71×	associate--r+
66×	pow-to-exp
65×	fma-udef
64×	cbrt-div
59×	sqr-pow
55×	pow-unpow
54×	frac-times
43×	pow-sqr
37×	neg-mul-1
34×	associate-+r+ sum-log
28×	pow-plus pow-flip
24×	rem-sqrt-square
23×	unpow3 cube-mult
22×	inv-pow
21×	+-commutative
18×	pow2 rem-log-exp pow-pow
16×	div-sub hypot-def
15×	associate--l-
12×	hypot-udef
10×	distribute-neg-in distribute-rgt-out
8×	rem-exp-log rem-cube-cbrt sqrt-unprod log-div
7×	neg-log frac-sub
6×	cube-div neg-sub0 distribute-rgt-neg-out
5×	un-div-inv distribute-lft1-in
4×	exp-diff sin-sum rem-square-sqrt rem-cbrt-cube unpow2
3×	associate-+l-
2×	expm1-log1p distribute-frac-neg log-rec cos-sum expm1-udef exp-to-pow associate-+r-
1×	sqrt-pow2 unpow1/3 pow3 exp-neg unpow-prod-up pow-sub unsub-neg associate--r-