Details

rewrite6.4s (3.2%)

Algorithm

122×	rewrite-expression-head

Calls

372 calls:

317.0ms	(log (exp (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))))
235.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
141.0ms	(* (sqrt (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))) (sqrt (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))))
134.0ms	(- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))
132.0ms	(- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))

Rules

11274×	*-un-lft-identity
9849×	add-sqr-sqrt
9806×	times-frac
7547×	add-cube-cbrt
6016×	prod-diff
3273×	unpow-prod-down
2134×	sqrt-prod
1389×	cube-prod
1246×	add-exp-log
1077×	distribute-lft-out
1035×	difference-of-squares
937×	sqr-pow
895×	add-cbrt-cube
820×	distribute-lft-out--
690×	pow1
631×	add-log-exp
588×	div-inv
571×	log-prod
570×	fma-neg
519×	associate-/r/ distribute-rgt-neg-in
512×	associate-*r*
504×	associate-/l*
474×	associate-*l*
442×	exp-sum
436×	cbrt-prod
377×	distribute-lft-neg-in
360×	log1p-expm1-u
357×	expm1-log1p-u
337×	associate-/r*
316×	div-exp
315×	flip-- flip3--
277×	prod-exp
248×	associate-+l+
220×	log-pow
198×	unswap-sqr
197×	unpow3 cube-mult
196×	sqrt-div
184×	cbrt-undiv
176×	exp-prod
147×	flip-+ flip3-+
146×	cbrt-unprod
132×	neg-mul-1
121×	sqrt-pow1
117×	unpow2
110×	diff-log
106×	fma-def
98×	sub-neg
90×	swap-sqr
83×	pow1/2
81×	pow-prod-down
72×	associate-/l/
71×	frac-2neg clear-num
70×	pow-unpow
69×	pow-exp
66×	pow-to-exp
59×	associate-*r/
57×	associate-*l/
52×	1-exp rec-exp
49×	log-div
47×	*-commutative
44×	cbrt-div
42×	pow-prod-up frac-times
38×	tan-quot
35×	rem-log-exp
33×	pow1/3
31×	rem-sqrt-square fma-udef
30×	sum-log
29×	div-sub
24×	complex-mul-def
22×	+-commutative
20×	neg-sub0
16×	associate--l- associate-+r+ frac-sub
14×	frac-add pow-sqr pow-flip
13×	neg-log
12×	pow-pow
11×	inv-pow
9×	un-div-inv associate--r+
8×	associate--l+
7×	exp-diff rem-cube-cbrt sqrt-unprod
6×	cube-div associate-+r- *.c-commutative difference-of-sqr-1 associate-+l-
5×	difference-cubes
4×	pow-div +.c-commutative complex-add-def cos-mult distribute-rgt-out-- expm1-udef
3×	rem-exp-log sin-cos-mult log1p-udef sub-div pow2 expm1-log1p pow-plus sin-mult rem-cbrt-cube
2×	distribute-neg-out distribute-rgt-in associate-+l+.c expm1-def exp-neg log1p-expm1 unsub-neg rem-square-sqrt associate-*l*.c cos-sum tan-sum distribute-neg-frac sin-sum distribute-lft-in mul-1-neg
1×	diff-atan diff-cos distribute-frac-neg log1p-def frac-2neg.c exp-to-pow diff-sin