Details

rewrite12.2m (49.0%)

Algorithm

158×	rewrite-expression-head

Calls

478 calls:

15.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)
9.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)))))
6.6s	(/ (/ 1 (/ (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) 1)) (/ (/ (fma i 2.0 (+ alpha beta)) (/ (fma beta alpha (* i (+ (+ alpha beta) i))) (fma i 2.0 (+ alpha beta)))) (/ i (/ (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) (+ (+ alpha beta) i)))))
1.2s	(* (/ (* (/ (+ alpha beta) (fma i 2.0 (+ alpha beta))) (/ (- beta alpha) (- (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- (+ alpha beta) (* 2.0 i)) (sqrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))))
1.1s	(- (pow (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) 3) (pow (pow 1.0 3) 3))

Rules

1880117×	times-frac
1004090×	*-un-lft-identity
762902×	add-sqr-sqrt
615622×	add-cube-cbrt
180215×	distribute-lft-out
73684×	difference-of-squares
55778×	div-inv
39433×	sqrt-prod
36497×	distribute-lft-out--
29475×	associate-/r/
7900×	flip-+ flip3-+
5802×	unpow-prod-down
5709×	associate-/r*
5620×	cube-prod
5057×	prod-diff
3111×	add-exp-log
2108×	add-cbrt-cube
1555×	pow1
1538×	associate-*r*
1228×	div-exp
1053×	associate-/l*
835×	associate-*l*
834×	cbrt-prod
794×	prod-exp
656×	add-log-exp
641×	sqr-pow
629×	cbrt-undiv
499×	unpow3 cube-mult
497×	cbrt-unprod
478×	expm1-log1p-u
477×	log1p-expm1-u
365×	pow-prod-down
311×	fma-neg
274×	sqrt-div
252×	distribute-rgt-in unswap-sqr distribute-lft-in
235×	sqrt-pow1
220×	cbrt-div
204×	log-pow
188×	1-exp
166×	associate-*r/
147×	fma-def
144×	pow1/2
138×	exp-sum
133×	flip3-- *-commutative flip--
131×	pow-prod-up
129×	swap-sqr
121×	log-prod
113×	frac-times
112×	pow-exp
110×	associate--l+
100×	associate-*l/
96×	frac-2neg clear-num
95×	rec-exp
93×	pow1/3
89×	pow-unpow
79×	sub-neg
73×	distribute-rgt-neg-in distribute-lft-neg-in
71×	associate--r+
70×	pow-to-exp
69×	associate-/l/
66×	diff-log
65×	pow-sqr
54×	fma-udef
51×	exp-prod
42×	neg-mul-1
35×	pow-pow pow-plus
33×	rem-sqrt-square sum-log
29×	cube-div
25×	pow2
19×	div-sub
18×	rem-cube-cbrt hypot-udef
17×	pow3 +-commutative hypot-def
16×	unpow2
15×	associate-+l+ pow-flip
14×	sqrt-unprod
12×	inv-pow
11×	associate--l-
10×	rem-log-exp
9×	rem-exp-log
8×	frac-sub
7×	neg-log rem-cbrt-cube
6×	rem-square-sqrt neg-sub0
4×	sin-sum distribute-neg-in expm1-log1p expm1-udef
3×	sqrt-pow2 log1p-udef log1p-expm1 distribute-frac-neg associate-+l- log-div
2×	exp-diff difference-cubes distribute-lft-neg-out associate-+r- cos-sum distribute-rgt-neg-out exp-to-pow
1×	exp-neg unpow-prod-up pow-sub unsub-neg associate--r- mul-1-neg