Details

rewrite20.9s

Algorithm

103×	rewrite-expression-head

Calls

312 calls:

Slowest

1.8s	(* (/ (+ (* (* 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.8s	(* (/ (+ (* (* 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 (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3))))
879.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))) (/ 77617 (* 2 33096)))
841.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)))

Rules

3700×	times-frac
3670×	*-un-lft-identity
3473×	add-sqr-sqrt
2189×	add-cube-cbrt
1498×	add-exp-log
1368×	add-cbrt-cube
953×	pow1
773×	associate-*r*
717×	sqrt-prod
716×	add-log-exp
495×	difference-of-squares
478×	associate-*l*
472×	prod-exp
424×	distribute-lft-out cbrt-unprod
385×	cbrt-prod
373×	associate-/r*
339×	div-exp
312×	insert-posit16
301×	cbrt-undiv
284×	associate-/l*
263×	flip-+ flip3-+
261×	pow-prod-down
245×	distribute-lft-out--
229×	div-inv
193×	associate-/r/
190×	unpow-prod-down
180×	sum-log
144×	unswap-sqr
133×	flip3-- flip--
127×	associate-*r/
126×	sqr-pow
121×	sqrt-div
119×	swap-sqr
99×	associate-*l/
97×	frac-times
89×	difference-of-sqr-1
88×	*-commutative
72×	sub-neg
65×	distribute-rgt-neg-in associate-/l/
62×	frac-2neg clear-num diff-log
61×	sqrt-pow1
57×	exp-prod
56×	log-prod cbrt-div pow-prod-up log-pow
54×	distribute-lft-neg-in
51×	+-commutative
45×	exp-sum
41×	pow1/2
40×	distribute-rgt-in distribute-lft-in pow-sqr
32×	frac-add
31×	pow-plus
30×	rem-sqrt-square
24×	associate-+r+
20×	frac-sub
19×	pow1/3 log-div
18×	associate-+l+ 1-exp rec-exp pow2 neg-mul-1
17×	div-sub
14×	distribute-rgt-out--
12×	pow-exp pow-to-exp rem-log-exp
8×	neg-sub0 associate--r+
7×	exp-diff associate--l- associate--l+
6×	pow-unpow pow-flip distribute-frac-neg inv-pow
5×	neg-log distribute-lft-neg-out distribute-rgt-out
4×	cube-prod
3×	remove-posit16 associate-+r- pow3 sub-div rem-exp-log associate-+l-
2×	pow-pow un-div-inv exp-to-pow associate--r-
1×	distribute-lft1-in sqrt-undiv cube-unmult unpow3 sqrt-unprod rem-square-sqrt rem-cbrt-cube cube-mult distribute-rgt1-in