Details

rewrite2.0m (10.0%)

Algorithm

160×	rewrite-expression-head

Calls

483 calls:

24.9s	(* (/ 1 (sqrt (+ (+ (+ (+ (+ (+ 1 (* 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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))) (* (/ (+ (+ (+ (+ (+ 1 (* 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)))) (sqrt (+ (+ (+ (+ (+ (+ 1 (* 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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))) x))
16.0s	(* (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
9.0s	(/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
8.9s	(/ (+ (+ (+ (+ (+ 1 (* 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)))) (sqrt (+ (+ (+ (+ (+ (+ 1 (* 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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))))
6.8s	(log (exp (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))))

Rules

15489×	times-frac
14039×	add-exp-log
10963×	*-un-lft-identity
9495×	add-sqr-sqrt
8654×	prod-exp
7404×	add-cube-cbrt
5096×	pow1
4100×	div-exp
3391×	sqrt-prod
2852×	add-cbrt-cube
2120×	pow-prod-up
1926×	1-exp rec-exp
1275×	distribute-lft-out
1162×	cbrt-unprod
1042×	associate-*r*
953×	pow-prod-down
885×	pow-plus associate-/r/
853×	associate-*l*
810×	flip-+ flip3-+
697×	associate-/r*
696×	add-log-exp
683×	difference-of-squares
650×	sqrt-div
645×	pow-flip
581×	cbrt-undiv
553×	associate-/l*
517×	pow-sqr
512×	div-inv
505×	distribute-lft-out--
483×	insert-posit16
474×	associate-*r/
410×	cbrt-prod
379×	pow2
358×	pow-exp
332×	frac-times
308×	associate-*l/
306×	unswap-sqr
256×	cbrt-div
254×	swap-sqr
249×	log-pow
217×	sqrt-pow1
202×	inv-pow
198×	flip3-- flip--
183×	pow-to-exp
166×	associate-/l/
163×	pow1/3
155×	*-commutative
139×	pow1/2
138×	frac-add
105×	unpow-prod-down
94×	frac-sub
85×	frac-2neg clear-num
76×	log-prod
69×	sqr-pow sub-neg
64×	rem-sqrt-square
63×	cube-unmult
62×	sum-log
55×	diff-log
49×	cube-prod
44×	pow3
40×	+-commutative
39×	un-div-inv
34×	distribute-rgt-in distribute-lft-in
25×	rem-log-exp log-div
21×	div-sub
19×	associate--l+
15×	exp-prod
12×	associate-+l+ associate--r+ pow-unpow
10×	exp-sum distribute-rgt-out
9×	distribute-rgt1-in
7×	associate-+r+ difference-cubes associate-+l-
6×	sum-cubes
5×	exp-diff pow-pow
4×	associate--l- sin-sum difference-of-sqr-1 sqrt-unprod rem-square-sqrt
3×	rem-exp-log cube-mult rem-cbrt-cube associate--r-
2×	rem-cube-cbrt sqrt-undiv unpow-prod-up cos-sum pow-sub
1×	remove-posit16 associate-+r- unpow3 cube-div count-2 unpow1/3