Details

rewrite10.4s (4.7%)

Algorithm

122×	rewrite-expression-head

Calls

383 calls:

308.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
179.0ms	(* (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) (fma (- 0.25) (+ (/ 1 (* (pow x 2) n)) (/ (log (/ 1 x)) (* x (pow n 2)))) (/ (/ 0.5 n) x)))
179.0ms	(* (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) (fma (- 0.25) (+ (/ 1 (log1p (expm1 (* (pow x 2) n)))) (/ (log (/ 1 x)) (* x (pow n 2)))) (/ (/ 0.5 n) x)))
176.0ms	(* (/ (- x (sin x)) (- (pow x 3) (pow (tan x) 3))) (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))))
142.0ms	(/ (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) c)) a)

Rules

12824×	*-un-lft-identity
12801×	times-frac
11535×	add-sqr-sqrt
8228×	add-cube-cbrt
4008×	prod-diff
3576×	sqrt-prod
1860×	unpow-prod-down
1632×	difference-of-squares
1628×	cube-prod
1576×	cbrt-prod
1250×	distribute-lft-out
1175×	add-exp-log
1119×	distribute-lft-out--
931×	add-cbrt-cube
825×	associate-*l*
771×	associate-/l*
756×	pow1
705×	sqr-pow
614×	add-log-exp
510×	div-inv
446×	fma-neg
407×	associate-/r*
395×	distribute-rgt-neg-in
373×	expm1-log1p-u
368×	log1p-expm1-u log-prod
366×	associate-/r/
337×	associate-*r*
299×	associate-+l+
256×	prod-exp div-exp
201×	distribute-lft-neg-in unswap-sqr
196×	unpow3 cube-mult
195×	flip-- flip3--
193×	flip-+ flip3-+
191×	pow-unpow
185×	cbrt-undiv
173×	log-pow
155×	cbrt-unprod exp-sum
137×	sqrt-div
108×	associate-*l/
107×	tan-quot
103×	pow-prod-down
100×	diff-log sub-neg
90×	fma-def
86×	sqrt-pow1
74×	exp-prod
72×	frac-2neg swap-sqr clear-num
71×	associate-/l/
70×	frac-times
69×	associate-*r/
67×	neg-mul-1
61×	pow-to-exp pow-exp
60×	*-commutative
53×	pow1/2
49×	difference-cubes
47×	distribute-rgt-in distribute-lft-in
42×	log-div unpow2
39×	pow1/3
37×	fma-udef
30×	1-exp
29×	div-sub
27×	rem-sqrt-square rec-exp
26×	sum-log
25×	rem-log-exp
24×	pow-pow complex-mul-def
23×	cbrt-div
21×	pow-flip
19×	pow-prod-up associate-+r+
17×	sum-cubes neg-sub0
16×	+-commutative
15×	pow-sqr
14×	frac-sub
13×	associate--l- neg-log hypot-def
12×	cube-div rem-cube-cbrt
11×	frac-add pow-plus
10×	pow-div
9×	associate-+l-
8×	exp-diff pow2 associate--l+
7×	inv-pow cos-mult
6×	associate--r+ distribute-rgt-out-- *.c-commutative
5×	log1p-udef associate-+r- log1p-expm1 rem-cbrt-cube expm1-udef
4×	rem-exp-log sqrt-unprod sub-div +.c-commutative complex-add-def sin-mult
3×	sin-cos-mult un-div-inv expm1-log1p
2×	associate-+l+.c expm1-def exp-neg difference-of-sqr-1 associate-*l*.c cos-sum tan-sum exp-to-pow sin-sum
1×	diff-atan diff-cos rem-square-sqrt frac-2neg.c diff-sin