Details

rewrite11.4m (45.4%)

Algorithm

154×	rewrite-expression-head

Calls

463 calls:

24.4s	(* (/ 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.6s	(/ (+ (+ (* (* (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.3s	(/ 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.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))))) x)
4.1s	(/ (+ (+ (+ (+ (+ 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)))))

Rules

8451×	times-frac
7453×	*-un-lft-identity
6269×	add-sqr-sqrt
4708×	add-cube-cbrt
2251×	add-exp-log
2161×	sqrt-prod
1904×	add-cbrt-cube
1816×	pow1
1249×	associate-*r*
1156×	cbrt-prod
1145×	distribute-lft-out
829×	associate-*l*
801×	prod-exp
762×	associate-/r*
748×	flip-+ flip3-+
713×	add-log-exp
647×	cbrt-unprod
604×	associate-/r/
562×	associate-/l*
516×	frac-times
476×	difference-of-squares
445×	pow-prod-down
434×	associate-*r/
419×	div-exp
410×	log-pow
387×	cbrt-div
376×	unpow-prod-down
336×	div-inv
329×	distribute-lft-out--
316×	cbrt-undiv
276×	sqrt-div
269×	associate-*l/
246×	cube-prod
239×	unswap-sqr
231×	sqr-pow
205×	flip3-- flip--
195×	log-prod
164×	sqrt-pow1
142×	*-commutative
138×	pow1/2
131×	swap-sqr
127×	distribute-rgt-in distribute-lft-in
113×	associate-/l/
99×	pow-prod-up pow-exp
96×	pow1/3
94×	frac-2neg clear-num
88×	frac-add
82×	sub-neg
72×	diff-log
67×	sum-log
63×	associate-+r+
61×	pow-to-exp
57×	pow-sqr
52×	rem-sqrt-square
45×	1-exp
43×	pow-plus
41×	+-commutative
40×	cube-div
38×	rec-exp
33×	pow-unpow
32×	exp-prod
29×	exp-neg
28×	exp-diff
26×	pow2
25×	unpow3 cube-mult neg-sub0 associate--l+
24×	frac-sub
21×	associate-+l+
19×	distribute-lft-neg-in inv-pow pow-flip distribute-rgt-neg-in
18×	pow-pow
17×	associate--r+
16×	rem-cube-cbrt
15×	div-sub
14×	exp-sum
12×	unpow2
11×	pow3
10×	distribute-rgt-out
9×	un-div-inv distribute-neg-in rem-log-exp
8×	rem-exp-log associate--l- distribute-neg-frac log-div
7×	sin-sum
6×	neg-mul-1
5×	rem-cbrt-cube
4×	sub-div log-rec neg-log distribute-rgt-neg-out
3×	distribute-lft-neg-out associate-+l-
2×	cos-sum sqrt-undiv difference-cubes unpow1/3 sqrt-unprod rem-square-sqrt sum-cubes
1×	distribute-neg-out associate-+r- distribute-rgt-out-- unpow-prod-up pow-sub unsub-neg distribute-frac-neg associate--r- sin-diff