Details

rewrite21.9s (2.0%)

Algorithm

106×	rewrite-expression-head

Calls

326 calls:

Slowest

1.9s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3)))
1.7s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3)))
1.0s	(+ (+ (+ (* 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))) (/ 77617 (* 2 33096)))
956.0ms	(+ (+ (* 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)))
599.0ms	(/ (* (- 3 (* 2 v)) 0.125) (* (- 1 v) (/ 1 (* (* w r) (* w r)))))

Rules

5339×	times-frac
5110×	*-un-lft-identity
5018×	add-sqr-sqrt
2997×	add-exp-log
2419×	add-cbrt-cube
2282×	add-cube-cbrt
1359×	pow1
1265×	prod-exp
1182×	associate-*r*
1134×	difference-of-squares
965×	cbrt-unprod
799×	div-exp
749×	distribute-lft-out--
718×	add-log-exp
617×	cbrt-undiv
566×	distribute-lft-out
528×	associate-*l*
430×	div-inv
396×	associate-/l*
387×	frac-times
371×	flip-+ flip3-+
361×	pow-prod-down
326×	insert-posit16
279×	flip3-- flip--
263×	associate-/r/
258×	sqrt-prod
235×	associate-/r*
233×	cbrt-div associate-*l/
231×	associate-*r/
171×	pow-prod-up
169×	sum-log
144×	unpow-prod-down
138×	swap-sqr
135×	unswap-sqr
115×	sqr-pow
104×	frac-sub
96×	difference-of-sqr-1
92×	*-commutative
89×	pow-sqr
84×	pow-plus
83×	pow-flip
80×	log-prod
78×	distribute-rgt-neg-in
76×	exp-diff
75×	sqrt-div
74×	exp-neg
73×	sub-neg
72×	1-exp rec-exp
68×	distribute-lft-neg-in
64×	frac-2neg clear-num diff-log
63×	neg-sub0 associate-/l/
55×	pow2
46×	+-commutative
41×	frac-add
40×	exp-prod
38×	rem-sqrt-square log-div
35×	log-pow
32×	cbrt-prod
31×	sqrt-pow1
30×	pow1/2
29×	distribute-rgt-in distribute-lft-in
26×	associate-+r+
24×	neg-mul-1 un-div-inv div-sub
22×	associate-+l+ pow1/3
12×	exp-sum inv-pow
11×	associate--l+
9×	pow-exp cube-unmult associate--r+ rem-log-exp pow-to-exp
8×	pow-div distribute-frac-neg rem-exp-log associate-+l-
7×	associate--l-
6×	pow3 neg-log
4×	cube-prod associate-+r- distribute-lft-neg-out
3×	remove-posit16 pow-unpow distribute-rgt-out
2×	exp-to-pow distribute-rgt-out-- associate--r- distribute-rgt1-in
1×	distribute-lft1-in distribute-rgt-neg-out unpow3 pow-pow +-inverses sum-cubes rem-cbrt-cube cube-mult