Details

rewrite3.7s (2.4%)

Algorithm

37×	rewrite-expression-head

Calls

97 calls:

392.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
151.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
138.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
117.0ms	(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
111.0ms	(/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

Rules

790×	*-un-lft-identity
699×	add-sqr-sqrt
446×	times-frac
352×	add-cube-cbrt
176×	add-log-exp
160×	add-exp-log
153×	add-cbrt-cube
152×	distribute-lft-out--
146×	difference-of-squares
129×	pow1
116×	sqrt-prod
86×	associate-*l*
74×	distribute-lft-out log-prod
72×	associate-/l*
63×	flip-- flip3--
61×	associate-/r*
39×	diff-log sub-neg
30×	div-inv
28×	associate-*r*
26×	pow-unpow
24×	div-exp
23×	cbrt-undiv
20×	associate-/r/ log-pow
19×	flip3-+ flip-+
18×	associate-/l/
17×	unpow-prod-down
16×	distribute-rgt-in clear-num frac-2neg distribute-lft-in
15×	sqrt-div prod-exp cbrt-prod cbrt-unprod
13×	distribute-rgt-neg-in associate--l+ complex-mul-def
12×	unswap-sqr
11×	log-div div-sub
10×	associate-*l/
9×	associate--r+
8×	*-commutative sum-log rem-sqrt-square sqr-pow pow-prod-down
7×	frac-sub frac-add pow1/2 sqrt-pow1
6×	neg-sub0
5×	+-commutative associate--l- rem-log-exp
4×	associate-+l- tan-quot *.c-commutative frac-times associate-+l+
3×	neg-log +.c-commutative
2×	exp-diff pow1/3 complex-add-def pow-pow associate-*r/ pow-to-exp tan-sum cos-sum cbrt-div pow-exp exp-neg frac-2neg.c sin-sum
1×	associate-+l+.c associate-*l*.c rem-exp-log diff-cos exp-prod diff-atan exp-to-pow diff-sin