Details

rewrite3.9s (2.6%)

Algorithm

37×	rewrite-expression-head

Calls

93 calls:

442.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
148.0ms	(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
124.0ms	(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
121.0ms	(/ (- 1.0 (cos x)) (* x x))
116.0ms	(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))

Rules

760×	*-un-lft-identity
686×	add-sqr-sqrt
435×	times-frac
338×	add-cube-cbrt
170×	add-log-exp
154×	distribute-lft-out--
151×	add-exp-log
150×	difference-of-squares
144×	add-cbrt-cube
121×	pow1
110×	sqrt-prod
74×	log-prod
72×	associate-/l*
70×	associate-*l*
64×	distribute-lft-out
63×	flip-- flip3--
61×	associate-/r*
39×	sub-neg diff-log
29×	div-inv
26×	pow-unpow
25×	associate-*r*
23×	div-exp
22×	cbrt-undiv
20×	associate-/r/ log-pow
18×	associate-/l/
17×	unpow-prod-down
16×	distribute-rgt-in flip3-+ flip-+ clear-num frac-2neg distribute-lft-in
15×	cbrt-prod
13×	complex-mul-def prod-exp associate--l+ cbrt-unprod
11×	sqrt-div log-div distribute-rgt-neg-in div-sub
10×	unswap-sqr
9×	associate-*l/ associate--r+
8×	sqr-pow
7×	*-commutative sum-log pow-prod-down frac-sub frac-add
6×	rem-sqrt-square neg-sub0
5×	associate--l- rem-log-exp pow1/2 sqrt-pow1
4×	+-commutative tan-quot *.c-commutative frac-times associate-+l- associate-+l+
3×	+.c-commutative neg-log
2×	cos-sum exp-diff pow1/3 complex-add-def pow-pow associate-*r/ pow-to-exp tan-sum cbrt-div pow-exp exp-neg frac-2neg.c sin-sum
1×	associate-+l+.c diff-cos rem-exp-log exp-prod diff-atan associate-*l*.c exp-to-pow diff-sin