Details

rewrite52.2s (9.8%)

Algorithm

104×	rewrite-expression-head

Calls

307 calls:

Slowest

10.2s	(* (/ 1 (sqrt (+ 1 (* x1 x1)))) (* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (sqrt (+ 1 (* x1 x1)))) (+ (* (* (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) 2) x1) (+ 1 (* x1 x1))) (* (* x1 x1) 3))))
8.6s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* (* (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) 2) x1) (+ 1 (* x1 x1))) (* (* x1 x1) 3)))
8.6s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* (* (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) 2) x1) (+ 1 (* x1 x1))) (* (* x1 x1) 3)))
8.3s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (sqrt (+ 1 (* x1 x1)))) (+ (* (* (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) 2) x1) (+ 1 (* x1 x1))) (* (* x1 x1) 3)))
629.0ms	(+ (* (* (* 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)))

Rules

4624×	times-frac
4290×	*-un-lft-identity
3921×	add-sqr-sqrt
2546×	add-exp-log
2476×	add-cube-cbrt
2371×	add-cbrt-cube
1244×	pow1
1068×	prod-exp
1002×	cbrt-unprod
723×	add-log-exp
642×	associate-*r*
632×	div-exp
604×	associate-*l*
600×	difference-of-squares
541×	cbrt-undiv
530×	sqrt-prod
503×	distribute-lft-out
417×	pow-prod-down
393×	associate-/r/
370×	distribute-lft-out--
354×	associate-/l*
347×	associate-/r*
338×	div-inv
307×	insert-posit16
286×	flip-+ flip3-+
171×	flip3-- flip--
168×	sum-log
157×	associate-*r/
147×	unpow-prod-down
145×	swap-sqr
139×	exp-prod
125×	pow-prod-up
116×	sqr-pow
111×	unswap-sqr
104×	frac-times
102×	sub-neg
94×	sqrt-div
92×	*-commutative
91×	associate-*l/
89×	difference-of-sqr-1
85×	diff-log
76×	log-prod log-pow
71×	associate-/l/
70×	frac-2neg clear-num distribute-rgt-neg-in
65×	pow-sqr
57×	distribute-lft-neg-in
54×	pow-plus
51×	distribute-rgt-in distribute-lft-in
49×	cbrt-prod
43×	exp-sum
41×	1-exp rec-exp rem-sqrt-square
38×	frac-sub pow2
35×	+-commutative frac-add
34×	cbrt-div
30×	sqrt-pow1 associate-+r+
28×	pow1/2
22×	div-sub
21×	distribute-rgt-out--
19×	pow-exp neg-mul-1 log-div
18×	associate-+l+
15×	associate--l+ associate--r+
13×	pow-flip inv-pow rem-log-exp rem-exp-log
11×	associate--l-
10×	rem-cube-cbrt pow-to-exp
9×	exp-diff
8×	pow-div
7×	distribute-lft-neg-out distribute-frac-neg pow-pow
6×	neg-sub0 pow-unpow
5×	cube-prod associate-+r-
4×	pow1/3 cube-unmult pow3 neg-log
3×	distribute-lft1-in sub-div un-div-inv cube-div associate--r- distribute-rgt-out
2×	unpow3 exp-to-pow cube-mult
1×	sum-cubes rem-cbrt-cube