Details

rewrite26.9m (59.9%)

Algorithm

96×	rewrite-expression-head

Calls

278 calls:

6.2m	(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
5.0m	(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* x1 x1))) (* (- 6) (* x1 x1)))
2.2m	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
55.7s	(* (/ (/ (/ PI 1) 1) 1) (/ (+ (/ (/ (/ 1 (+ a b)) 2) a) (- (/ (/ (/ 1 (+ a b)) 2) b))) (- b a)))
31.8s	(* 100 (* (/ 1 i) (* i (* (+ (+ 1 (* 1/6 (* i i))) (* 1/2 i)) n))))

Rules

2511264×	times-frac
1864687×	*-un-lft-identity
1842743×	associate-/l*
1830889×	associate-/l/
1443858×	add-sqr-sqrt
1376303×	add-cube-cbrt
780831×	frac-add
776501×	distribute-neg-frac
759577×	frac-times
268374×	associate-/r*
227435×	distribute-lft-out
130341×	div-inv
128476×	associate-/r/
79957×	clear-num
79925×	frac-2neg
64221×	flip-+ flip3-+
46565×	associate-*l*
33789×	associate-*r*
21961×	unswap-sqr
19082×	difference-of-squares
14875×	cbrt-prod
11712×	distribute-lft-out--
11037×	distribute-rgt-neg-in
10499×	associate-*r/
9900×	*-commutative
8115×	frac-sub
6387×	swap-sqr
5981×	sqrt-prod
2268×	distribute-lft-neg-in
1655×	add-exp-log
1391×	add-cbrt-cube
1063×	unpow-prod-down
754×	pow1
752×	neg-mul-1
656×	sqrt-div
651×	associate-*l/
635×	add-log-exp
512×	div-exp
494×	prod-exp
474×	exp-prod
450×	flip3-- flip--
414×	sqr-pow
406×	cbrt-unprod
370×	cbrt-undiv
277×	insert-posit16
271×	difference-of-sqr-1
230×	log-pow
203×	pow-prod-down
201×	distribute-rgt-out
182×	sub-div
161×	sum-log
143×	un-div-inv
115×	+-commutative
82×	associate-+l+ 1-exp
81×	exp-neg
74×	associate-+r+
73×	neg-sub0
72×	distribute-rgt1-in
63×	sub-neg
61×	exp-diff
54×	rem-sqrt-square
50×	diff-log
42×	rec-exp distribute-rgt-in distribute-lft-in
38×	pow-prod-up
37×	div-sub
35×	sqrt-pow1
32×	log-prod
31×	pow1/2
24×	pow-plus
21×	pow-flip
18×	pow-sqr
16×	exp-sum
15×	pow2
14×	pow1/3
12×	remove-double-div distribute-rgt-out--
9×	rem-exp-log
8×	cbrt-div associate--r+
7×	inv-pow rem-log-exp
6×	cube-prod associate-+r- pow-unpow cube-unmult log-div
5×	pow-exp distribute-frac-neg neg-log pow-to-exp unsub-neg
4×	distribute-lft1-in remove-posit16 associate--l- associate--l+ pow3 distribute-lft-neg-out associate-+l-
3×	unpow3
2×	pow-pow exp-to-pow
1×	cube-mult