Details

rewrite15.2s (2.5%)

Algorithm

99×	rewrite-expression-head

Calls

283 calls:

Slowest

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))) (/ 77617 (* 2 33096)))
909.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)))
854.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)))
619.0ms	(cbrt (* (* (/ 1 (/ (fma y y (* x x)) (* (- x y) (+ y x)))) (/ 1 (/ (fma y y (* x x)) (* (- x y) (+ y x))))) (/ 1 (/ (fma y y (* x x)) (* (- x y) (+ y x))))))
587.0ms	(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

Rules

18083×	times-frac
11933×	add-sqr-sqrt
11767×	*-un-lft-identity
10196×	add-cube-cbrt
5006×	prod-diff
1446×	unpow-prod-down
1328×	add-exp-log
1130×	add-cbrt-cube
1111×	sqrt-prod
889×	div-inv
775×	pow1
677×	associate-*r*
674×	difference-of-squares
559×	sqr-pow
554×	add-log-exp
466×	associate-/r*
457×	associate-/l*
422×	associate-*l*
389×	distribute-lft-out
370×	prod-exp
328×	div-exp
317×	distribute-lft-out--
308×	cbrt-unprod
291×	log1p-expm1-u
285×	expm1-log1p-u
283×	insert-posit16
263×	associate-/r/
262×	cbrt-prod
249×	cbrt-undiv
219×	fma-neg
206×	flip-- flip3--
199×	pow-prod-down
196×	associate-*r/
190×	distribute-rgt-neg-in
181×	flip-+ flip3-+
177×	distribute-lft-neg-in
172×	frac-times
156×	distribute-rgt-in distribute-lft-in
150×	associate-*l/
149×	unswap-sqr
142×	associate-+l+
117×	sum-log
115×	swap-sqr
99×	difference-of-sqr-1
88×	frac-sub
76×	exp-neg
71×	fma-def
70×	frac-2neg clear-num
64×	cbrt-div
63×	neg-sub0 *-commutative
61×	associate-/l/
59×	neg-mul-1
58×	sub-neg
57×	exp-diff
56×	frac-add
54×	fma-udef
50×	pow-prod-up
48×	diff-log
43×	sqrt-pow1
41×	pow1/2
37×	1-exp rec-exp
36×	sqrt-div
34×	pow-sqr
30×	rem-sqrt-square
29×	associate-+r+
27×	pow-plus
25×	un-div-inv
24×	div-sub
22×	pow-exp pow-to-exp
21×	+-commutative
19×	pow1/3
17×	pow2
15×	exp-sum
14×	distribute-lft-neg-out
13×	pow-flip inv-pow
12×	expm1-udef
9×	hypot-def
8×	expm1-log1p
7×	distribute-frac-neg
6×	pow-div
5×	associate--l-
4×	cube-prod log-prod log1p-expm1 pow3 neg-log log1p-udef
3×	pow-unpow hypot-udef expm1-def
2×	cube-unmult sqrt-unprod rem-square-sqrt log-pow log-div
1×	difference-cubes unpow3 pow-pow rem-log-exp log1p-def rem-cbrt-cube cube-mult distribute-rgt-out