Details

rewrite23.8s (4.3%)

Algorithm

95×	rewrite-expression-head

Calls

268 calls:

1.5s	(+ (+ (+ (* 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)))
1.5s	(* (sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))) (sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))))
1.4s	(+ (+ (* 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)))
1.2s	(+ (* (* (* 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)))
1.1s	(+ (* (* (* 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)) (- (* (cbrt 6) (* (cbrt 6) (cbrt 6))))) (* x1 x1)) (* (+ (- 6) 6) (* x1 x1))))

Rules

4532×	*-un-lft-identity
4220×	add-sqr-sqrt
4173×	times-frac
3139×	add-cube-cbrt
2364×	pow1
1482×	pow-prod-down
1333×	prod-diff
1232×	add-exp-log
1070×	add-cbrt-cube
659×	associate-*r*
555×	add-log-exp
462×	sqrt-pow1
457×	difference-of-squares
425×	distribute-lft-out
404×	prod-exp
358×	sqrt-prod
351×	associate-*l*
348×	cbrt-unprod
302×	associate-/r*
296×	associate-+l+
295×	associate-/l*
270×	expm1-log1p-u
269×	log1p-expm1-u
268×	insert-posit16
264×	div-inv
246×	div-exp
222×	distribute-lft-out--
198×	associate-/r/
184×	cbrt-undiv
176×	flip-+ flip3-+
175×	distribute-rgt-in distribute-lft-in
168×	fma-neg
144×	unpow-prod-down
141×	cbrt-prod
121×	sum-log
120×	difference-of-sqr-1
113×	pow-prod-up associate-*r/
112×	distribute-rgt-neg-in
109×	fma-def
107×	sqr-pow
105×	distribute-lft-neg-in
101×	unswap-sqr
97×	flip3-- flip--
87×	fma-udef
79×	pow-sqr
76×	associate-*l/
68×	frac-times exp-sum *-commutative
59×	sub-neg
58×	pow1/2
56×	frac-2neg clear-num
54×	frac-add
51×	diff-log
50×	associate-/l/
35×	neg-mul-1
31×	associate-+r+ swap-sqr
29×	+-commutative
28×	log-prod 1-exp rec-exp
27×	cbrt-div
24×	rem-sqrt-square
23×	associate--r+
22×	div-sub
20×	sqrt-div exp-prod
18×	associate--l+
13×	frac-sub
12×	pow-exp pow-to-exp log-pow
10×	pow-flip pow-plus inv-pow
9×	pow2
8×	hypot-def
7×	distribute-rgt-out
6×	pow-div log-div
5×	associate--l- rem-exp-log
4×	expm1-udef exp-diff pow1/3 cube-unmult distribute-frac-neg
3×	neg-sub0 remove-posit16 pow-unpow log1p-expm1 associate--r- expm1-def log1p-udef
2×	neg-log sqrt-unprod distribute-lft-neg-out un-div-inv rem-log-exp exp-to-pow sub-div associate-+l- rem-square-sqrt
1×	expm1-log1p sub0-neg pow-pow log1p-def