Details

rewrite10.7m (69.9%)

Algorithm

155×	rewrite-expression-head

Calls

461 calls:

9.2s	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
2.2s	(* (/ 1 (sqrt (+ (+ (* (* 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)))))) (/ x (/ (- (sqrt (+ (+ (* (* 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 4)) (fma x (* x 0.0072644182) 0.0424060604)) (- (fma (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971)) (fma (* 0.1049934947 x) x 1.0)))))))
1.6s	(* (/ 1 (sqrt (+ (+ (* (* 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)))))) (/ x (/ (sqrt (+ (+ (* (* 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)))))))
1.5s	(+ (/ (/ 1 (/ (/ (fma i 2.0 (+ alpha beta)) (+ alpha beta)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)
1.0s	(/ (- (sqrt (+ (+ (* (* 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 4)) (fma x (* x 0.0072644182) 0.0424060604)) (- (fma (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971)) (fma (* 0.1049934947 x) x 1.0)))))

Rules

22786×	times-frac
17970×	*-un-lft-identity
13438×	add-sqr-sqrt
10890×	add-cube-cbrt
2750×	distribute-lft-out
2400×	add-exp-log
1833×	prod-diff
1791×	add-cbrt-cube
1304×	fma-def
1285×	pow1
1205×	associate-*l*
1010×	associate-/l*
962×	distribute-lft-out--
953×	difference-of-squares
902×	associate-/r/
847×	div-inv
797×	associate-*r*
762×	prod-exp
723×	associate-/r*
694×	add-log-exp
674×	sqrt-prod
633×	div-exp
548×	flip-+ flip3-+
509×	cbrt-unprod
477×	distribute-rgt-in distribute-lft-in
458×	log1p-expm1-u expm1-log1p-u
382×	cbrt-undiv
307×	pow-prod-down
289×	cbrt-prod
264×	unpow-prod-down
248×	log-pow
243×	fma-neg
238×	log-prod
236×	associate-*r/
228×	unswap-sqr
214×	associate--l+
188×	flip3-- flip--
160×	frac-add
147×	exp-sum
146×	associate-*l/
132×	sqrt-div
127×	1-exp
114×	*-commutative
111×	distribute-rgt-neg-in distribute-lft-neg-in associate-/l/
107×	sub-neg
102×	swap-sqr
101×	frac-2neg clear-num
99×	exp-prod
98×	cube-prod
94×	frac-times
92×	diff-log
89×	sqrt-pow1
84×	rec-exp
78×	pow-exp
75×	pow1/3
73×	pow1/2
71×	associate--r+
70×	pow-unpow sqr-pow
64×	cbrt-div
54×	pow-to-exp
53×	associate-+l+
49×	associate-+r+
48×	fma-udef
41×	sum-log
38×	neg-mul-1
37×	pow-prod-up
30×	rem-sqrt-square
29×	pow-sqr
27×	pow-pow
24×	pow-flip
23×	inv-pow +-commutative
20×	rem-log-exp
19×	hypot-udef unpow3 cube-mult
18×	rem-exp-log associate--l-
16×	div-sub
15×	pow-plus pow2
12×	hypot-def
10×	distribute-rgt-out log-div
8×	frac-sub
7×	rem-cube-cbrt log-rec
6×	distribute-neg-frac
5×	exp-diff unpow2
4×	un-div-inv sqrt-unprod sin-sum rem-square-sqrt neg-sub0 distribute-rgt-neg-out
3×	cube-div distribute-rgt-out-- distribute-lft-neg-out associate-+r- unsub-neg associate-+l-
2×	distribute-neg-out sub-div distribute-frac-neg neg-log rem-cbrt-cube exp-to-pow
1×	sqrt-pow2 sum-cubes expm1-log1p cos-sum associate--r- expm1-udef