Details

rewrite10.9m (65.6%)

Algorithm

155×	rewrite-expression-head

Calls

462 calls:

9.4s	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
2.4s	(* (/ 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.8s	(* (/ 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.3s	(+ (/ (/ 1 (/ (/ (fma i 2.0 (+ alpha beta)) (+ alpha beta)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)
1.1s	(/ (- (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

119964×	times-frac
81839×	*-un-lft-identity
45284×	add-sqr-sqrt
42800×	add-cube-cbrt
39556×	sqrt-prod
20778×	distribute-lft-out
6134×	associate-/r/
3446×	div-inv
3169×	flip-+ flip3-+
2416×	add-exp-log
1818×	prod-diff
1802×	add-cbrt-cube
1365×	pow1
1301×	fma-def
1078×	associate-/r*
1062×	associate-/l*
964×	distribute-lft-out--
955×	difference-of-squares
816×	prod-exp
790×	associate-*r*
732×	associate-*l*
701×	add-log-exp
592×	div-exp
543×	cbrt-unprod
459×	distribute-rgt-in log1p-expm1-u distribute-lft-in expm1-log1p-u
357×	cbrt-undiv
349×	pow-prod-down
295×	cbrt-prod
271×	log-pow
245×	associate-*r/
243×	fma-neg
241×	log-prod
224×	unpow-prod-down
210×	associate-*l/
209×	sqrt-div
208×	associate--l+ unswap-sqr
198×	frac-add
168×	flip3-- flip--
155×	exp-sum
118×	1-exp
116×	associate-/l/ *-commutative
113×	frac-times
111×	distribute-rgt-neg-in distribute-lft-neg-in
108×	swap-sqr
102×	frac-2neg sub-neg clear-num
92×	diff-log
91×	exp-prod
89×	sqrt-pow1
77×	pow1/3
73×	pow1/2
71×	rec-exp pow-exp associate--r+
67×	cube-prod
64×	cbrt-div pow-unpow
61×	sqr-pow
53×	associate-+l+
49×	associate-+r+
45×	pow-to-exp
44×	fma-udef sum-log
38×	neg-mul-1 pow-prod-up
30×	pow-sqr
29×	rem-sqrt-square
26×	+-commutative
24×	pow-flip pow-pow
21×	inv-pow
20×	rem-log-exp
18×	associate--l- hypot-udef
17×	rem-exp-log
16×	pow-plus div-sub pow2
13×	unpow3 cube-mult
12×	hypot-def
10×	distribute-rgt-out log-div
8×	frac-sub
7×	log-rec
6×	exp-diff distribute-neg-frac
5×	rem-cube-cbrt distribute-rgt-out--
4×	sqrt-unprod sin-sum rem-square-sqrt neg-sub0 distribute-rgt-neg-out unpow2
3×	un-div-inv distribute-lft-neg-out associate-+r- unsub-neg associate-+l-
2×	cube-div 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