Details

rewrite11.6m (70.5%)

Algorithm

157×	rewrite-expression-head

Calls

481 calls:

23.7s	(* (/ 1 (/ (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034)))) x)
20.1s	(/ (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034)))
12.1s	(/ 1 (/ (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))))
7.4s	(* (sqrt (/ (- (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))) (- (+ (+ alpha beta) (* 2.0 1.0))))) (/ (sqrt (/ (- (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))) (- (+ (+ alpha beta) (* 2.0 1.0))))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
6.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)

Rules

21725×	times-frac
16180×	*-un-lft-identity
12013×	add-sqr-sqrt
10004×	add-cube-cbrt
5632×	sqrt-prod
4835×	distribute-rgt-neg-in distribute-lft-neg-in
3257×	associate-*r*
2786×	distribute-lft-out
2706×	add-exp-log
2052×	pow1
2040×	add-cbrt-cube
1389×	associate-*l*
1363×	associate-/l*
1263×	associate-/r/
1167×	flip-+ flip3-+
904×	prod-exp
826×	associate-*r/
814×	add-log-exp
808×	neg-mul-1
696×	unpow-prod-down
672×	frac-times
664×	frac-add
660×	div-inv
647×	div-exp
638×	cbrt-unprod
612×	associate-*l/
530×	associate-/r*
526×	pow-prod-down
517×	log-pow
465×	difference-of-squares
420×	sqrt-div
407×	unswap-sqr
398×	cbrt-undiv
328×	cube-prod
319×	associate-/l/
309×	sqrt-pow1
306×	flip3-- flip--
289×	distribute-lft-out--
202×	swap-sqr
197×	pow1/2
180×	sqr-pow
165×	cbrt-prod
156×	*-commutative
126×	pow-prod-up
120×	frac-sub
109×	log-prod
102×	diff-log
100×	clear-num frac-2neg
99×	pow-exp
95×	1-exp rec-exp cbrt-div
93×	distribute-rgt-in distribute-lft-in
86×	sub-neg
84×	sum-log
78×	pow-sqr
75×	pow-to-exp
71×	distribute-neg-frac
70×	pow1/3
68×	cube-div
66×	exp-prod
65×	rem-sqrt-square
60×	pow-plus
57×	un-div-inv
49×	+-commutative
46×	pow-unpow
45×	pow-pow
44×	div-sub
43×	associate--l+
36×	pow2
34×	unpow3 cube-mult log-div
29×	distribute-lft1-in unpow2 distribute-rgt-out
22×	rem-cube-cbrt
21×	pow-flip
15×	inv-pow
14×	associate-+r+
13×	associate-+l+
12×	exp-sum associate--l-
11×	rem-log-exp
10×	rem-exp-log
8×	distribute-neg-in associate-+l-
7×	exp-diff associate--r+
6×	sqrt-unprod
5×	pow3 rem-square-sqrt neg-sub0
4×	difference-cubes distribute-frac-neg distribute-rgt-neg-out
3×	sqrt-pow2 exp-neg rem-cbrt-cube
2×	distribute-lft-neg-out sqrt-undiv sin-sum sum-cubes exp-to-pow
1×	cos-sum associate-+r- distribute-rgt-out-- unpow-prod-up pow-sub neg-log associate--r-