Details

rewrite9.7s (4.4%)

Algorithm

122×	rewrite-expression-head

Calls

394 calls:

321.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
232.0ms	(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
206.0ms	(* (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) c)) (/ 1 a))
202.0ms	(* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))
142.0ms	(* (/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt 2.0)) (sin y)))

Rules

9212×	*-un-lft-identity
8536×	add-sqr-sqrt
8356×	times-frac
6330×	add-cube-cbrt
3558×	prod-diff
3016×	sqrt-prod
1542×	add-exp-log
1215×	unpow-prod-down
1041×	associate-*l*
996×	add-cbrt-cube
824×	difference-of-squares
813×	distribute-lft-out
781×	cube-prod
757×	associate-*r*
725×	pow1
657×	distribute-lft-out--
648×	add-log-exp
539×	associate-/l*
511×	sqr-pow
478×	div-exp
431×	fma-neg
410×	log-prod
407×	div-inv
405×	associate-/r*
380×	log1p-expm1-u expm1-log1p-u
345×	prod-exp
343×	distribute-rgt-neg-in
316×	unswap-sqr
306×	log-pow
284×	associate-/r/
279×	exp-prod
275×	cbrt-prod
249×	associate-+l+
229×	cbrt-undiv
199×	exp-sum
196×	distribute-lft-neg-in
190×	flip-- flip3--
174×	unpow3 cube-mult
158×	cbrt-unprod
151×	flip-+ flip3-+
134×	unpow2
133×	fma-def
121×	sqrt-div
106×	swap-sqr
104×	diff-log
103×	pow-exp
100×	pow-to-exp
95×	sub-neg sqrt-pow1
83×	pow-unpow
78×	associate-/l/
77×	pow-prod-down
72×	frac-2neg rec-exp clear-num 1-exp
70×	pow1/2
68×	neg-mul-1
61×	tan-quot
56×	*-commutative
52×	log-div
51×	associate-*r/
44×	pow1/3
42×	associate-*l/
35×	rem-sqrt-square
33×	fma-udef
32×	div-sub
31×	pow-flip sum-log
30×	rem-log-exp
28×	frac-times
24×	pow-pow complex-mul-def
22×	+-commutative
21×	pow-prod-up
20×	exp-diff
17×	pow-sqr
16×	inv-pow neg-sub0 frac-sub
15×	difference-cubes
14×	frac-add associate--l-
13×	distribute-rgt-in distribute-lft-in associate--r+ associate--l+
12×	associate-+r+ neg-log
11×	rem-exp-log rem-cube-cbrt
10×	pow-div
8×	hypot-def
7×	pow2 difference-of-sqr-1 pow-plus
6×	sqrt-unprod *.c-commutative cbrt-div associate-+l-
5×	un-div-inv
4×	cube-div +.c-commutative complex-add-def exp-to-pow
3×	expm1-def associate-+r- associate--r- distribute-frac-neg
2×	sub-1-cos exp-neg sqr-cos rem-square-sqrt associate-*l*.c cos-sum cos-mult tan-sum expm1-udef associate-+l+.c rem-cbrt-cube sin-sum
1×	sub0-neg sin-cos-mult diff-atan distribute-neg-in diff-cos expm1-log1p unsub-neg sqrt-undiv sin-mult distribute-rgt-neg-out diff-sin log-rec