Details

rewrite11.2m (32.9%)

Algorithm

161×	rewrite-expression-head

Calls

491 calls:

21.8s	(* (/ (+ (* (* x x) (+ (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.1049934947)) (+ (+ 1.0 (* (* (* x x) (* x x)) 0.0424060604)) (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))))) (+ (* (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* x x))) (+ (* (* (* x x) 0.0001789971) 2.0) 0.0008327945)) (+ (* (* x x) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0140005442) 0.0694555761)) (+ 0.7715471019 (* (* x x) 0.2909738639)))) 1.0))) x)
11.4s	(/ (+ (* (* x x) (+ (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.1049934947)) (+ (+ 1.0 (* (* (* x x) (* x x)) 0.0424060604)) (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))))) (+ (* (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* x x))) (+ (* (* (* x x) 0.0001789971) 2.0) 0.0008327945)) (+ (* (* x x) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0140005442) 0.0694555761)) (+ 0.7715471019 (* (* x x) 0.2909738639)))) 1.0)))
3.0s	(* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)
2.9s	(+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z)))))))
2.7s	(+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z)))))))

Rules

25499×	frac-times
16273×	associate-*r/
12197×	times-frac
10058×	associate-*l/
8612×	*-un-lft-identity
8036×	flip-+ flip3-+
7883×	exp-neg
7508×	frac-add
7490×	add-sqr-sqrt
6959×	exp-diff
6824×	neg-sub0
6243×	add-cube-cbrt
3957×	pow1
3303×	sqrt-prod
2821×	add-exp-log
2396×	add-cbrt-cube
1583×	cbrt-div
1287×	pow-prod-up
1217×	associate-*r*
1162×	prod-exp
1129×	un-div-inv
1107×	associate-*l*
1100×	distribute-lft-out
912×	cbrt-unprod
804×	pow-prod-down
773×	add-log-exp
660×	associate-/r/
652×	pow-plus
587×	div-exp
473×	div-inv
432×	associate-/r*
410×	cbrt-prod
409×	cbrt-undiv
385×	associate-/l*
337×	pow-sqr
325×	swap-sqr
285×	difference-of-squares
282×	unswap-sqr
244×	pow2
234×	sqrt-div
214×	flip3-- flip--
205×	associate-+l-
187×	log-pow
169×	*-commutative
168×	pow-exp
145×	unpow-prod-down
140×	sqrt-pow1
138×	distribute-lft-out--
131×	sum-log
112×	pow1/2 cube-div
105×	pow1/3
94×	associate-/l/
90×	cube-prod
81×	log-prod
80×	pow-to-exp
79×	frac-2neg clear-num
74×	sqr-pow
70×	rem-sqrt-square
67×	associate-+r- 1-exp unsub-neg
60×	distribute-rgt-in distribute-lft-in
59×	cube-unmult
56×	rec-exp
52×	sub-neg
49×	+-commutative
38×	diff-log
37×	exp-sum
36×	pow-unpow
29×	rem-cube-cbrt
27×	pow-pow
20×	frac-sub
19×	exp-prod
18×	distribute-rgt-neg-in
14×	associate-+r+
13×	div-sub distribute-rgt-out
10×	pow3 log-div distribute-rgt1-in
9×	associate-+l+ unpow3 cube-mult
7×	rem-exp-log
6×	pow-flip sin-sum distribute-lft-neg-in associate--r+ rem-log-exp
5×	inv-pow cos-sum
4×	neg-log
3×	sqrt-unprod associate--l+
2×	sqrt-undiv difference-cubes rem-square-sqrt associate--r-
1×	unpow-prod-up sum-cubes neg-mul-1 distribute-rgt-out-- distribute-neg-in rem-cbrt-cube pow-sub