Details

rewrite14.1s (1.5%)

Algorithm

97×	rewrite-expression-head

Calls

276 calls:

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

Rules

6011×	times-frac
5382×	*-un-lft-identity
5098×	add-sqr-sqrt
3808×	add-cube-cbrt
2249×	sqrt-prod
1501×	prod-diff
1093×	add-exp-log
984×	add-cbrt-cube
864×	pow1
611×	difference-of-squares
550×	add-log-exp
449×	associate-*r*
394×	associate-/r*
378×	associate-*l*
367×	distribute-lft-out
348×	distribute-lft-out--
320×	div-inv
319×	associate-/l*
294×	prod-exp
280×	expm1-log1p-u
276×	log1p-expm1-u insert-posit16
266×	associate-+l+
261×	sqrt-pow1
258×	cbrt-unprod
252×	div-exp
250×	unpow-prod-down
241×	pow-prod-down
224×	associate-/r/
221×	distribute-rgt-in distribute-lft-in
192×	cbrt-undiv
185×	flip-+ flip3-+
173×	sqrt-div distribute-rgt-neg-in
169×	fma-neg
165×	distribute-lft-neg-in
161×	associate-*l/
130×	sum-log
128×	pow1/2
126×	pow-prod-up
99×	sqr-pow
97×	unswap-sqr
93×	exp-prod
92×	associate-*r/
75×	frac-times
70×	flip-- flip3--
66×	frac-2neg clear-num
65×	cbrt-prod
61×	*-commutative
55×	neg-mul-1
52×	fma-udef
51×	rem-sqrt-square
50×	swap-sqr
47×	fma-def
44×	associate-/l/ sub-neg
36×	diff-log
34×	rem-exp-log
28×	1-exp rec-exp
26×	log-pow frac-add
22×	pow-sqr
20×	pow-plus
18×	associate-+r+
17×	+-commutative
16×	div-sub
15×	exp-sum
12×	pow1/3
11×	log-prod hypot-def
10×	distribute-frac-neg
9×	pow2 distribute-lft-neg-out
8×	pow-flip sqrt-unprod inv-pow
7×	neg-sub0
6×	pow-exp pow-unpow associate--l-
5×	pow-to-exp
4×	cube-prod log1p-expm1 neg-log un-div-inv log1p-udef
3×	expm1-udef cbrt-div pow3 rem-log-exp rem-square-sqrt
2×	cube-unmult associate--r+ pow-pow
1×	unpow-prod-up expm1-log1p remove-posit16 unpow3 hypot-udef cube-mult e-exp-1 distribute-rgt-out