Details

rewrite26.3s (3.7%)

Algorithm

104×	rewrite-expression-head

Calls

284 calls:

1.7s	(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
1.6s	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
1.2s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
1.1s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
977.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

Rules

9982×	times-frac
9794×	*-un-lft-identity
8607×	add-sqr-sqrt
7291×	add-cube-cbrt
4996×	prod-diff
1303×	add-exp-log
1082×	distribute-rgt-in distribute-lft-in
1075×	add-cbrt-cube
912×	distribute-lft-out
798×	div-inv
778×	associate-*r*
661×	pow1
607×	add-log-exp
493×	unpow-prod-down
456×	associate-*l*
449×	difference-of-squares
391×	associate-+l+
387×	prod-exp
372×	associate-*l/
371×	frac-times
358×	distribute-lft-out--
350×	flip3-- flip--
329×	cube-prod
325×	cbrt-prod
315×	cbrt-div
314×	associate-/l*
313×	associate-*r/
303×	div-exp
291×	cbrt-unprod
284×	log1p-expm1-u expm1-log1p-u
278×	sqrt-prod
271×	associate-/r/
269×	fma-neg
255×	associate-/r*
231×	flip-+ flip3-+
227×	cbrt-undiv
162×	unswap-sqr
159×	pow-prod-down
148×	frac-add
137×	sum-log
125×	fma-def
123×	sqr-pow
112×	distribute-rgt-neg-in
107×	distribute-lft-neg-in frac-sub
80×	exp-neg
79×	swap-sqr
75×	sub-neg
68×	*-commutative
67×	neg-sub0
60×	exp-diff
58×	clear-num frac-2neg
56×	diff-log
55×	associate-/l/
50×	sqrt-pow1
45×	fma-udef
40×	log-prod
37×	cube-mult +-commutative
36×	unpow2 unpow3
35×	neg-mul-1
34×	sqrt-div
31×	pow-exp
30×	pow1/2 rec-exp 1-exp
28×	pow-prod-up
25×	pow-to-exp
24×	un-div-inv
23×	associate-+r+
20×	pow-sqr
19×	log-pow div-sub
16×	pow1/3
14×	pow-plus
12×	pow-unpow pow2
10×	rem-sqrt-square log-div
9×	rem-cube-cbrt associate--l+
8×	cube-div associate--l- distribute-frac-neg
7×	distribute-lft-neg-out associate--r+
5×	inv-pow hypot-udef pow-flip sum-cubes rem-cbrt-cube
4×	neg-log pow-pow
3×	unsub-neg rem-log-exp
2×	associate-+r- sqrt-unprod sub-div rem-square-sqrt associate--r- distribute-rgt-out-- distribute-rgt-neg-out expm1-udef distribute-neg-frac
1×	distribute-rgt1-in expm1-log1p distribute-rgt-out associate-+l-