Details

rewrite11.9s (7.3%)

Algorithm

45×	rewrite-expression-head

Calls

94 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)))
945.0ms	(+ (* (* (* 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)))
940.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
688.0ms	(+ (+ (+ (+ e d) c) b) a)

Rules

1672×	*-un-lft-identity
1561×	add-sqr-sqrt
1297×	times-frac
1205×	add-cube-cbrt
890×	prod-diff
308×	add-log-exp
283×	add-exp-log
278×	add-cbrt-cube
249×	distribute-rgt-in distribute-lft-in
248×	pow1
203×	associate-*r*
170×	distribute-lft-out
164×	difference-of-squares
140×	associate-+l+
118×	div-inv
113×	flip3-+ flip-+
111×	sum-log
110×	frac-times
96×	associate-*r/
94×	sqrt-prod log1p-expm1-u expm1-log1p-u
93×	distribute-lft-out--
85×	frac-sub
80×	fma-def
78×	pow-prod-down
77×	prod-exp
75×	cbrt-unprod
74×	exp-neg
73×	flip-- flip3--
70×	fma-neg
61×	unpow-prod-down
60×	associate-*l/ neg-sub0 associate-*l*
56×	exp-diff
54×	associate-/l* associate-/r*
48×	associate-/r/
41×	cbrt-undiv div-exp
38×	sqr-pow
32×	distribute-rgt-neg-in
28×	sub-neg
26×	unswap-sqr distribute-lft-neg-in
24×	frac-add pow1/2 sqrt-pow1
23×	sqrt-div
21×	diff-log +-commutative
20×	associate-/l/
19×	associate-+r+
18×	*-commutative un-div-inv
16×	pow-prod-up clear-num frac-2neg
13×	swap-sqr
12×	exp-prod
11×	fma-udef
10×	pow-sqr pow-plus neg-mul-1
7×	div-sub sqrt-unprod
5×	neg-log rem-sqrt-square pow2
4×	log-prod rem-exp-log
3×	pow-unpow
2×	associate-+l- associate--l- pow-exp pow-to-exp log-div
1×	distribute-lft-neg-out rem-square-sqrt distribute-frac-neg unsub-neg distribute-rgt-out hypot-def pow3 rem-log-exp associate-+r- pow-pow log-pow