Details

rewrite30.0s (5.9%)

Algorithm

101×	rewrite-expression-head

Calls

302 calls:

Slowest

3.3s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) (+ 1 (* x1 x1))) (* x1 2)) (* (* x1 x1) 3)))
2.7s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) (+ 1 (* x1 x1))) (* x1 2)) (* (* x1 x1) 3)))
2.6s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) (+ 1 (* x1 x1))) (* x1 2)) (* (* x1 x1) 3)))
2.4s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) (+ 1 (* x1 x1))) (* x1 2)) (* (* x1 x1) 3)))
998.0ms	(/ (- (* (* x (* (* x x) 1/3)) (* x (* (* x x) 1/3))) (* (- 1 (* (* x x) 1/2)) (- 1 (* (* x x) 1/2)))) (- (* x (* (* x x) 1/3)) (- 1 (* (* x x) 1/2))))

Rules

6357×	times-frac
5777×	*-un-lft-identity
5286×	add-sqr-sqrt
3000×	add-cube-cbrt
2825×	add-exp-log
2502×	add-cbrt-cube
1972×	sqrt-prod
1114×	pow1
1101×	prod-exp
981×	cbrt-unprod
933×	difference-of-squares
844×	div-exp
834×	exp-prod
743×	associate-*r*
704×	associate-*l*
692×	distribute-lft-out
681×	cbrt-undiv
601×	add-log-exp
544×	distribute-lft-out--
440×	log-pow
402×	associate-/l*
332×	div-inv
327×	associate-/r*
325×	associate-/r/
302×	insert-posit16
294×	pow-prod-down
231×	flip-+ flip3-+
208×	unswap-sqr
199×	sqrt-div
146×	flip3-- flip--
130×	unpow-prod-down
121×	pow-prod-up
120×	swap-sqr
108×	sqr-pow
107×	sum-log
105×	difference-of-sqr-1
104×	associate-*r/
94×	*-commutative
84×	associate-*l/
77×	pow-sqr
74×	sub-neg
73×	frac-times associate-/l/
69×	frac-2neg clear-num
68×	distribute-rgt-neg-in
66×	diff-log
63×	pow-plus
57×	distribute-lft-neg-in
55×	1-exp rec-exp
50×	cbrt-prod
48×	distribute-rgt-in distribute-lft-in
45×	pow2
34×	log-prod rem-sqrt-square
33×	sqrt-pow1 pow1/2
32×	div-sub
30×	cbrt-div
26×	+-commutative
22×	frac-sub
20×	associate--r+ pow1/3
19×	neg-mul-1
14×	exp-sum rem-exp-log frac-add
11×	associate-+l+ associate-+r+ distribute-rgt-out--
10×	pow-exp pow-to-exp
9×	exp-diff log-div
8×	associate--l-
7×	pow-flip associate--l+ distribute-frac-neg distribute-lft-neg-out inv-pow rem-log-exp
6×	neg-sub0 pow-unpow
5×	associate-+r-
4×	cube-prod sub-div un-div-inv distribute-rgt-out
3×	neg-log distribute-rgt1-in
2×	remove-posit16 pow-pow exp-to-pow
1×	distribute-lft1-in sqrt-undiv cube-unmult pow3 unpow3 cube-mult associate--r-