Details

rewrite14.5s (6.6%)

Algorithm

121×	rewrite-expression-head

Calls

397 calls:

864.0ms	(* 2.0 (+ (/ 1 (pow x 7)) (+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))))
414.0ms	(/ (/ (/ 1.0 (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
358.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ (/ 1.0 (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (cbrt (- x 1.0))))
290.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
286.0ms	(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (cbrt x)))

Rules

22791×	sqrt-prod
20976×	*-un-lft-identity
20966×	times-frac
10813×	add-sqr-sqrt
8836×	add-cube-cbrt
6194×	distribute-lft-out
1577×	add-exp-log
1056×	associate-/l*
1025×	add-cbrt-cube
781×	difference-of-squares
768×	associate-*r*
695×	add-log-exp
663×	sqrt-div
644×	pow1
631×	unpow-prod-down distribute-lft-out--
557×	associate-/r/
528×	associate-/r*
505×	div-exp
472×	associate-*l*
419×	div-inv
350×	cbrt-prod
340×	prod-exp
325×	flip-+ flip3-+
324×	log-prod
323×	pow-unpow
320×	flip3-- flip--
297×	sqr-pow
235×	unswap-sqr
229×	cbrt-undiv
220×	cbrt-div
185×	associate-*l/
174×	cbrt-unprod
148×	unpow2
146×	cube-prod
145×	log-pow
144×	exp-prod
136×	frac-times
124×	associate-*r/
123×	1-exp
115×	diff-log
114×	associate-/l/ sub-neg
97×	frac-add
93×	rec-exp
83×	pow-exp
81×	pow-to-exp
80×	clear-num frac-2neg
74×	distribute-rgt-neg-in
73×	pow-prod-down
67×	*-commutative
62×	pow1/3
39×	sum-log sqrt-pow1
35×	pow1/2
32×	distribute-rgt-in tan-quot rem-log-exp distribute-lft-in
29×	log-div exp-sum
28×	div-sub
27×	rem-sqrt-square
25×	frac-sub
24×	complex-mul-def pow-flip
22×	inv-pow +-commutative
21×	pow-pow swap-sqr
19×	neg-sub0
17×	associate--l+
16×	unpow3 cube-mult
14×	associate--r+
13×	exp-diff rem-exp-log associate--l- neg-log
12×	cube-div associate-+l+
11×	exp-to-pow
10×	distribute-rgt-out--
9×	distribute-lft-neg-in neg-mul-1
8×	associate-+l-
7×	difference-cubes pow-sqr sin-mult pow-prod-up
6×	rem-cube-cbrt rem-cbrt-cube *.c-commutative
5×	cos-mult
4×	pow-div associate-+r+ pow2 +.c-commutative pow-plus complex-add-def
3×	un-div-inv sqrt-unprod associate-+r- log-rec
2×	cos-sum associate-+l+.c exp-neg difference-of-sqr-1 distribute-frac-neg tan-sum frac-2neg.c associate-*l*.c sin-sum
1×	sin-cos-mult diff-atan sqr-sin diff-cos unsub-neg +-inverses distribute-rgt-neg-out distribute-neg-frac diff-sin