Details

rewrite4.9s (2.9%)

Algorithm

39×	rewrite-expression-head

Calls

102 calls:

521.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
400.0ms	(- (cbrt (+ x 1.0)) (cbrt x))
174.0ms	(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
145.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
130.0ms	(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))

Rules

3157×	*-un-lft-identity
2696×	add-sqr-sqrt
2653×	times-frac
2300×	add-cube-cbrt
1995×	prod-diff
800×	sqrt-prod
273×	distribute-lft-out
247×	associate-+l+
203×	div-inv
200×	pow1
191×	fma-neg
179×	add-log-exp
168×	add-exp-log
161×	difference-of-squares distribute-lft-out-- add-cbrt-cube
159×	associate-/r/
89×	log1p-expm1-u expm1-log1p-u
86×	associate-*l*
77×	flip-+ flip3-+
75×	sqrt-pow1
73×	associate-/l* unpow-prod-down
65×	flip-- flip3--
64×	cbrt-prod
62×	log-prod
61×	associate-/r*
55×	sqrt-div
51×	pow1/2
50×	distribute-rgt-neg-in
42×	distribute-lft-neg-in
40×	sub-neg diff-log
39×	pow-prod-up
33×	associate-*r*
28×	log-pow
26×	pow-unpow
24×	sqr-pow div-exp
23×	cbrt-undiv
21×	fma-def
19×	distribute-rgt-in distribute-lft-in
18×	associate-/l/
17×	tan-quot cbrt-unprod prod-exp
16×	pow-prod-down frac-2neg clear-num unswap-sqr
14×	neg-mul-1
13×	complex-mul-def associate--l+
11×	rem-sqrt-square pow-sqr log-div div-sub
10×	swap-sqr
8×	*-commutative associate-*l/
7×	frac-add pow-plus frac-sub
6×	sum-log
5×	associate--l- rem-log-exp
4×	+-commutative neg-sub0 frac-times *.c-commutative associate--r+
3×	+.c-commutative sqrt-unprod
2×	cbrt-div exp-diff pow-pow fma-udef exp-neg pow-to-exp pow1/3 complex-add-def neg-log tan-sum cos-sum pow-exp associate-*r/ frac-2neg.c associate-+l- sin-sum
1×	associate-+l+.c rem-exp-log diff-atan pow2 diff-cos rem-square-sqrt exp-prod associate-*l*.c exp-to-pow diff-sin