Details

rewrite4.3s (2.5%)

Algorithm

39×	rewrite-expression-head

Calls

102 calls:

562.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
154.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
136.0ms	(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
133.0ms	(/ (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
116.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

Rules

3138×	*-un-lft-identity
2636×	times-frac
2634×	add-sqr-sqrt
2269×	add-cube-cbrt
1959×	prod-diff
776×	sqrt-prod
287×	distribute-lft-out
247×	associate-+l+
202×	div-inv
200×	pow1
181×	add-log-exp
179×	fma-neg
163×	add-exp-log
159×	associate-/r/
156×	add-cbrt-cube
153×	distribute-lft-out--
145×	difference-of-squares
89×	log1p-expm1-u expm1-log1p-u
82×	flip-+ flip3-+
77×	sqrt-pow1
73×	unpow-prod-down
71×	associate-/l*
70×	associate-*l*
64×	distribute-rgt-neg-in cbrt-prod
62×	log-prod
61×	flip-- associate-/r* flip3--
59×	sqrt-div
53×	pow1/2
48×	distribute-lft-neg-in
39×	pow-prod-up
38×	fma-def sub-neg diff-log
30×	associate-*r*
28×	log-pow
26×	pow-unpow
24×	sqr-pow
23×	div-exp
22×	cbrt-undiv
19×	distribute-rgt-in distribute-lft-in
18×	associate-/l/
17×	tan-quot
16×	frac-2neg neg-mul-1 clear-num
15×	pow-prod-down cbrt-unprod prod-exp
14×	unswap-sqr
13×	rem-sqrt-square complex-mul-def associate--l+
11×	pow-sqr log-div div-sub
10×	swap-sqr
9×	sum-log
8×	neg-sub0
7×	frac-add *-commutative pow-plus associate-*l/ frac-sub
6×	associate-+l-
5×	associate--l- +-commutative rem-log-exp
4×	neg-log 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 hypot-def tan-sum cos-sum pow-exp associate-*r/ frac-2neg.c 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