Details

rewrite15.6s (1.9%)

Algorithm

93×	rewrite-expression-head

Calls

275 calls:

1.0s	(+ (+ (* 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)))
986.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)))
946.0ms	(* (sqrt (* (exp c) (* (* (exp b) (exp e)) (exp a)))) (sqrt (* (exp c) (* (* (exp b) (exp e)) (exp a)))))
825.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)))
754.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))))

Rules

7067×	times-frac
5785×	*-un-lft-identity
5292×	add-sqr-sqrt
4359×	add-cube-cbrt
1596×	prod-diff
1375×	add-exp-log
1258×	add-cbrt-cube
1176×	pow1
606×	sqrt-prod
544×	associate-*r*
524×	associate-*l*
489×	add-log-exp
466×	pow-prod-down
438×	div-inv
434×	distribute-lft-out
431×	prod-exp
412×	associate-/r*
371×	cbrt-unprod
341×	difference-of-squares
340×	div-exp
334×	associate-/l*
294×	associate-/r/
279×	cbrt-undiv
278×	expm1-log1p-u
275×	associate-+r+ log1p-expm1-u insert-posit16
271×	associate-+l+
243×	sqrt-pow1
242×	distribute-lft-out--
205×	flip-+ flip3-+
175×	distribute-rgt-in distribute-lft-in
170×	distribute-rgt-neg-in
167×	fma-neg
142×	distribute-lft-neg-in
127×	fma-def
126×	frac-times associate-*r/
125×	pow-prod-up
113×	associate-*l/
108×	flip3-- unswap-sqr flip--
89×	sum-log unpow-prod-down
83×	frac-sub
80×	exp-neg
79×	pow1/2
76×	*-commutative
66×	neg-sub0
65×	frac-2neg clear-num
62×	exp-prod
60×	exp-diff
54×	pow-sqr
52×	sub-neg
51×	swap-sqr fma-udef
48×	neg-mul-1
44×	associate-/l/
41×	cbrt-prod
39×	diff-log
34×	sqr-pow
33×	1-exp rec-exp
31×	frac-add
27×	un-div-inv rem-sqrt-square
21×	pow-plus +-commutative
20×	div-sub
18×	pow1/3
16×	pow2
14×	pow-flip
10×	inv-pow
8×	pow-div hypot-def log-pow
7×	distribute-frac-neg distribute-lft-neg-out
6×	pow-exp associate--l- pow-to-exp
5×	associate--l+ rem-exp-log
4×	log-prod cube-unmult neg-log sqrt-unprod rem-square-sqrt
3×	remove-posit16 pow-unpow distribute-rgt-neg-out log1p-expm1 difference-of-sqr-1 log1p-udef
2×	associate-+r- exp-sum associate--r+ hypot-udef
1×	expm1-udef sqrt-div pow3 pow-pow rem-log-exp rem-cbrt-cube unsub-neg distribute-rgt-out