Details

rewrite10.5m (69.7%)

Algorithm

163×	rewrite-expression-head

Calls

507 calls:

7.5s	(* (/ (+ (+ (+ (+ (+ 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.3s	(/ (+ (+ (+ (+ (+ 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)))))
888.0ms	(/ (* (+ (+ (* 1.0 (/ (+ (* 1.875 (/ 1 (pow (fabs x) 2))) 0.75) (pow (fabs x) 5))) (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3)))) (/ 1.0 (fabs x))) 1.0) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
482.0ms	(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
431.0ms	(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (* (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (/ (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (+ (+ alpha beta) (* 2.0 i)))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))

Rules

10989×	times-frac
9875×	*-un-lft-identity
7401×	add-sqr-sqrt
5609×	add-cube-cbrt
3079×	flip-+ flip3-+
2817×	add-exp-log
2704×	frac-times
2135×	add-cbrt-cube
2001×	associate-/r/
1788×	pow1
1739×	distribute-lft-out
1544×	frac-add
1373×	associate-*r*
1274×	sqrt-prod
1117×	associate-*r/
1066×	prod-exp
995×	associate-*l/
978×	associate-*l*
896×	associate-/l*
849×	add-log-exp
727×	cbrt-unprod
651×	distribute-lft-out--
611×	div-exp
491×	pow-prod-down
485×	difference-of-squares
466×	cbrt-prod
411×	associate-/r*
409×	div-inv
382×	cbrt-undiv
377×	unpow-prod-down sqrt-div
314×	unswap-sqr
306×	flip-- flip3--
302×	sqrt-pow1
250×	log-pow
215×	swap-sqr
210×	log-prod
204×	cube-prod
184×	cbrt-div
177×	pow1/2
150×	*-commutative
140×	sqr-pow
119×	pow-exp
112×	distribute-rgt-in distribute-lft-in
106×	exp-neg
99×	diff-log
98×	exp-diff
96×	associate-/l/
95×	pow-to-exp
94×	exp-prod
93×	pow-prod-up sum-log
91×	neg-sub0
87×	sub-neg
83×	frac-2neg clear-num
78×	pow1/3
76×	pow-unpow rem-sqrt-square
64×	rec-exp 1-exp
63×	pow-sqr
55×	+-commutative
45×	pow-pow
44×	associate-+l+
40×	cube-div associate--l+
35×	pow-plus
30×	pow2
29×	unpow3 cube-mult
27×	rem-cube-cbrt associate-+r+
24×	un-div-inv
22×	distribute-rgt-neg-in distribute-lft-neg-in exp-sum
20×	rem-log-exp
19×	pow-flip
17×	inv-pow div-sub associate--l-
16×	unpow2
14×	distribute-rgt-out
11×	log-div
9×	rem-exp-log distribute-neg-in
8×	sin-sum distribute-neg-frac
6×	associate--r+
5×	distribute-lft1-in sqrt-unprod rem-square-sqrt associate-+l- neg-mul-1
4×	neg-log distribute-rgt1-in rem-cbrt-cube distribute-rgt-neg-out
2×	pow-div difference-cubes sqrt-pow2 distribute-rgt-out-- cos-sum frac-sub exp-to-pow associate-+r-
1×	pow3 unpow-prod-up pow-sub associate--r- log-rec