Details

rewrite9.0s (3.8%)

Algorithm

122×	rewrite-expression-head

Calls

403 calls:

688.0ms	(+ (- (/ (/ 1.0 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (+ x 1.0))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
310.0ms	(/ (/ (cbrt 1) (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a)) c)) (cbrt a))
220.0ms	(* (* (cbrt (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))) (cbrt (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))) (cbrt (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))))
174.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
157.0ms	(/ (+ (/ (- (/ 1 x)) x) (* 1/144 (* x x))) (- (* 1/12 x) (/ 1 x)))

Rules

33737×	times-frac
20574×	*-un-lft-identity
19425×	add-sqr-sqrt
14104×	add-cube-cbrt
8750×	cbrt-prod
4264×	sqrt-prod
2452×	difference-of-squares
2376×	distribute-lft-out--
1741×	associate-/l*
1624×	add-exp-log
1155×	add-cbrt-cube
1016×	distribute-rgt-neg-in
968×	distribute-lft-out
851×	unpow-prod-down
762×	add-log-exp
743×	associate-*l*
741×	pow1
661×	associate-*r*
546×	div-inv
443×	div-exp
414×	prod-exp
364×	log-prod
347×	associate-/r*
325×	associate-*l/
306×	sqr-pow
281×	flip3-- flip--
261×	cbrt-undiv
258×	unswap-sqr
256×	cbrt-unprod
250×	associate-/r/
216×	flip-+ flip3-+
207×	cbrt-div
157×	log-pow
152×	cube-prod
134×	sub-neg
133×	diff-log
128×	unpow2
120×	sqrt-div
111×	associate-/l/
105×	frac-times
100×	associate-*r/
90×	pow-prod-down
88×	frac-add
87×	swap-sqr
78×	sqrt-pow1
76×	pow1/3
75×	pow-to-exp *-commutative pow-exp
72×	frac-2neg clear-num
70×	exp-prod
68×	pow-unpow
61×	frac-sub
60×	sum-log
57×	rec-exp 1-exp
52×	pow1/2 distribute-lft-neg-in
43×	log-div
35×	distribute-rgt-in +-commutative distribute-lft-in
34×	associate-+r+ rem-log-exp
33×	rem-sqrt-square
29×	associate-+l+ pow-flip div-sub
25×	associate--l+
24×	complex-mul-def neg-sub0
22×	pow-prod-up
20×	exp-sum
19×	associate--l-
18×	neg-log
17×	associate--r+
16×	pow-sqr cos-mult
14×	tan-quot pow-plus
13×	pow-pow cube-mult
12×	exp-diff distribute-rgt-out-- unpow3
11×	associate-+l-
10×	pow-div cube-div inv-pow pow2
9×	sin-mult
7×	difference-cubes
6×	un-div-inv *.c-commutative exp-to-pow
5×	rem-cube-cbrt rem-exp-log associate-+r-
4×	sub-div +.c-commutative sqr-cos complex-add-def neg-mul-1
3×	sqrt-unprod distribute-rgt-out
2×	cos-sum associate-+l+.c exp-neg difference-of-sqr-1 associate-*l*.c log-rec tan-sum rem-cbrt-cube sin-sum
1×	sin-cos-mult pow3 diff-atan diff-cos distribute-frac-neg +-inverses frac-2neg.c distribute-neg-frac diff-sin