Details

rewrite27.6s (4.8%)

Algorithm

110×	rewrite-expression-head

Calls

327 calls:

1.8s	(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
1.5s	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
1.2s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
1.1s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
979.0ms	(* (/ (+ (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) i) (* (- (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) n))

Rules

13122×	times-frac
12195×	*-un-lft-identity
11252×	add-sqr-sqrt
9294×	add-cube-cbrt
6543×	prod-diff
1499×	add-exp-log
1268×	add-cbrt-cube
1060×	distribute-lft-out
910×	unpow-prod-down
892×	difference-of-squares
861×	div-inv
792×	associate-+l+
770×	associate-*r*
665×	distribute-rgt-in distribute-lft-in
651×	add-log-exp
634×	pow1
564×	cube-prod
457×	associate-/r*
443×	associate-/l*
439×	associate-*l*
415×	distribute-lft-out--
413×	prod-exp
384×	flip-- flip3--
379×	div-exp
356×	associate-/r/
350×	sqr-pow
344×	frac-times
343×	associate-*l/
328×	log1p-expm1-u expm1-log1p-u
325×	cbrt-unprod
316×	fma-neg
303×	associate-*r/
300×	cbrt-undiv
283×	cbrt-div
266×	sqrt-prod
228×	flip-+ flip3-+
194×	cbrt-prod
153×	frac-add
136×	distribute-rgt-neg-in
135×	pow-prod-down
133×	fma-def
130×	sum-log
123×	unpow3 cube-mult
117×	distribute-lft-neg-in
113×	unswap-sqr
98×	frac-sub
75×	sub-neg
74×	associate-/l/ clear-num frac-2neg
72×	exp-neg
63×	neg-sub0
62×	*-commutative
61×	diff-log
59×	fma-udef
54×	exp-diff
50×	pow-unpow
39×	neg-mul-1
37×	1-exp rec-exp
33×	sqrt-div +-commutative
27×	swap-sqr
26×	un-div-inv
25×	pow-exp
24×	associate-+r+ exp-sum
23×	pow-to-exp div-sub
19×	pow1/3 exp-prod
18×	log-pow
17×	pow-prod-up
16×	pow-plus
14×	pow-pow
13×	difference-cubes
12×	sqrt-pow1
11×	pow1/2 rem-sqrt-square pow-sqr
10×	pow2
8×	inv-pow pow-flip distribute-frac-neg
7×	log-prod
6×	hypot-udef rem-cbrt-cube
5×	rem-cube-cbrt associate--l- neg-log expm1-udef associate-+l- unpow2
4×	expm1-log1p
3×	log1p-udef log1p-expm1
2×	distribute-lft-neg-out distribute-rgt-neg-out associate--l+ rem-log-exp log-div
1×	cube-div associate-+r- pow3 unsub-neg distribute-rgt-out hypot-def