Details

rewrite27.0s (5.1%)

Algorithm

96×	rewrite-expression-head

Calls

278 calls:

6.4s	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
951.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)))
932.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)))
734.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)))
576.0ms	(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

Rules

4036×	times-frac
3763×	add-sqr-sqrt
3587×	*-un-lft-identity
2210×	add-cube-cbrt
1471×	add-exp-log
1320×	add-cbrt-cube
1175×	pow1
863×	sqrt-prod
843×	associate-*r*
599×	difference-of-squares
588×	add-log-exp
577×	associate-*r/
570×	associate-*l*
508×	prod-exp
462×	frac-times
435×	flip3-- flip--
410×	cbrt-unprod
394×	cbrt-div
385×	distribute-lft-out--
378×	associate-/l*
344×	div-exp
305×	flip-+ flip3-+
289×	cbrt-undiv
278×	insert-posit16
270×	pow-prod-down
259×	distribute-lft-out
256×	div-inv
240×	associate-/r*
232×	associate-/r/ associate-*l/
224×	frac-add
221×	pow-prod-up
139×	unswap-sqr
132×	sqrt-div
124×	unpow-prod-down
121×	sum-log
115×	pow-plus
105×	sqr-pow
100×	pow-sqr
95×	difference-of-sqr-1
93×	frac-sub
83×	*-commutative
82×	exp-prod
81×	exp-neg
79×	sub-neg
68×	exp-diff associate-/l/
66×	neg-sub0 pow2
64×	distribute-rgt-neg-in
62×	diff-log
58×	distribute-lft-neg-in
56×	pow-flip swap-sqr
55×	frac-2neg clear-num cbrt-prod
47×	distribute-rgt-in distribute-lft-in
46×	sqrt-pow1
40×	log-pow
37×	log-prod
34×	+-commutative
28×	un-div-inv
27×	1-exp rec-exp pow1/2 rem-sqrt-square
26×	associate-+l+
24×	pow1/3
22×	neg-mul-1
19×	exp-sum
17×	associate-+r+ div-sub
13×	associate--l+
11×	rem-exp-log
9×	distribute-rgt-neg-out log-div
8×	pow-exp pow-div pow-to-exp
7×	inv-pow
6×	associate--l- distribute-rgt-out-- rem-log-exp
5×	cube-unmult pow3 distribute-frac-neg
4×	neg-log associate-+l-
3×	distribute-lft1-in remove-posit16 pow-unpow distribute-lft-neg-out unsub-neg
2×	associate-+r- associate--r+ distribute-rgt-out
1×	sub-div pow-pow sum-cubes rem-cbrt-cube