Details

rewrite26.5s

Algorithm

93×	rewrite-expression-head

Calls

266 calls:

Slowest

4.2s	(+ (+ (* (* (* 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)))
3.8s	(+ (+ (* (* (* 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.0s	(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (/ 1 (sqrt (+ (* x1 x1) 1))) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (sqrt (+ (* x1 x1) 1))) -3)) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* x1 x1))) (* (- 6) (* x1 x1)))
1.3s	(* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 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)))

Rules

8708×	*-un-lft-identity
8342×	add-sqr-sqrt
7983×	times-frac
6902×	add-cube-cbrt
6652×	prod-diff
3478×	exp-sum
2121×	associate-+l+
1919×	distribute-rgt-in distribute-lft-in
1330×	pow1
1196×	add-exp-log
1060×	add-cbrt-cube
952×	sqrt-prod
708×	associate-*r*
627×	cbrt-prod
536×	difference-of-squares
533×	add-log-exp
492×	distribute-lft-out
462×	associate-*l*
427×	div-inv
420×	pow-prod-down
401×	distribute-lft-out--
395×	prod-exp
390×	associate-/l*
363×	sub-neg
345×	cbrt-unprod
296×	associate-/r*
269×	expm1-log1p-u
266×	log1p-expm1-u insert-posit16
241×	div-exp
221×	associate-/r/
203×	distribute-rgt-neg-in
202×	fma-neg
181×	cbrt-undiv
180×	flip-+ flip3-+
178×	pow-prod-up
174×	distribute-lft-neg-in
148×	sqrt-pow1
127×	unswap-sqr
123×	sum-log
120×	associate-*r/
117×	swap-sqr
112×	fma-def
111×	associate-+r+
104×	pow-sqr
99×	flip3-- flip--
87×	frac-times
80×	pow-plus
76×	associate-*l/
75×	cbrt-div
72×	*-commutative
58×	neg-mul-1 pow1/2
56×	fma-udef exp-prod
55×	frac-2neg clear-num
51×	associate-/l/
49×	pow2
40×	diff-log
33×	unpow-prod-down
29×	sqrt-div
28×	1-exp rec-exp
24×	div-sub log-pow frac-add
23×	+-commutative rem-sqrt-square
20×	pow1/3
13×	pow-flip
12×	sqr-pow
11×	distribute-lft-neg-out
10×	pow3
9×	associate--l+
8×	frac-sub rem-exp-log
7×	log-prod cube-unmult associate--l- hypot-def
6×	neg-sub0 pow-exp distribute-frac-neg inv-pow pow-to-exp
5×	difference-cubes un-div-inv
4×	neg-log
3×	remove-posit16 pow-unpow log1p-expm1 sqrt-unprod rem-square-sqrt unsub-neg log1p-udef
2×	rem-log-exp
1×	expm1-udef associate-+r- pow-pow associate-+l- rem-cbrt-cube