Details

rewrite14.3s (2.4%)

Algorithm

96×	rewrite-expression-head

Calls

249 calls:

2.1s	(+ (+ (* (+ (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (fma (* -6 x1) (/ (fma 3 (* x1 x1) (- (* 2 x2) x1)) (fma x1 x1 1)) (* (* x1 x1) (fma 4 (/ (fma 3 (* x1 x1) (- (* 2 x2) x1)) (fma x1 x1 1)) -6)))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1))
1.1s	(+ (+ (+ (* 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)))
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)))
897.0ms	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (+ (* (fma 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (* (sqrt 6) (sqrt 6)))) (* x1 x1)) (* 0 (* x1 x1))))
721.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

7600×	times-frac
6647×	*-un-lft-identity
5996×	add-sqr-sqrt
5083×	add-cube-cbrt
2760×	prod-diff
1142×	add-exp-log
1014×	add-cbrt-cube
945×	sqrt-prod
803×	cbrt-prod
798×	pow1
566×	distribute-lft-out
501×	add-log-exp
489×	associate-*r*
465×	associate-*l*
409×	div-inv
405×	associate-/r*
396×	distribute-rgt-neg-in
353×	prod-exp
343×	distribute-lft-neg-in
315×	cbrt-unprod
302×	difference-of-squares
286×	associate-/l*
269×	associate-+l+
252×	expm1-log1p-u
249×	log1p-expm1-u insert-posit16
243×	div-exp
226×	pow-prod-down
222×	associate-/r/
212×	fma-neg
206×	unpow-prod-down
191×	flip-+ flip3-+
190×	distribute-lft-out--
184×	cbrt-undiv
149×	distribute-rgt-in distribute-lft-in
117×	sum-log
110×	unswap-sqr
97×	neg-mul-1
93×	fma-def
77×	sqr-pow
75×	associate-*r/
72×	flip3-- flip--
66×	*-commutative
62×	associate-*l/
59×	fma-udef
52×	frac-2neg clear-num pow-prod-up
49×	swap-sqr
47×	frac-times
46×	sqrt-div
40×	associate-/l/ sub-neg
36×	sqrt-pow1 frac-add
35×	pow1/2 diff-log
34×	pow-sqr
31×	1-exp rec-exp
30×	pow-plus
29×	+-commutative
26×	div-sub rem-sqrt-square
21×	associate-+r+
19×	exp-sum
17×	pow-flip pow2
15×	distribute-frac-neg
13×	exp-prod
12×	cube-prod hypot-def
11×	inv-pow
9×	pow-exp pow-to-exp
8×	neg-sub0 distribute-neg-frac log-pow pow-div
7×	distribute-lft-neg-out
4×	log-prod pow1/3 associate--l- un-div-inv
3×	frac-sub pow-unpow log1p-expm1 unpow3 rem-exp-log cube-mult log1p-udef
2×	remove-posit16 associate-+r- distribute-rgt-out-- cube-unmult associate--l+ pow3 neg-log sub-div unsub-neg
1×	expm1-udef exp-diff distribute-lft1-in sqrt-unprod pow-pow rem-log-exp remove-double-div rem-square-sqrt distribute-rgt-out