Details

rewrite15.5s (7.0%)

Algorithm

122×	rewrite-expression-head

Calls

417 calls:

992.0ms	(* (/ (sqrt 1.0) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (/ (/ (sqrt 1.0) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
669.0ms	(- (+ (/ (sin x) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos x))) (/ (sin eps) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos eps)))) (/ (sin x) (cos x)))
536.0ms	(+ (- (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ (cbrt 1.0) (cbrt (+ x 1.0)))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
322.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 (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))
291.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

9888×	*-un-lft-identity
9133×	times-frac
7140×	add-sqr-sqrt
6499×	sqrt-prod
4560×	add-cube-cbrt
2137×	distribute-lft-out
1289×	add-exp-log
1175×	associate-*r*
1143×	cbrt-prod
1006×	add-cbrt-cube
896×	difference-of-squares
737×	add-log-exp
736×	distribute-lft-out--
725×	pow1
626×	associate-/l* associate-*l*
576×	unpow-prod-down
460×	log-prod
360×	associate-/r*
348×	cube-prod
304×	unswap-sqr
300×	div-inv prod-exp
274×	associate-/r/
260×	div-exp
256×	sqr-pow
233×	flip-+ flip3-+
216×	flip-- swap-sqr flip3--
195×	sqrt-div
190×	cbrt-undiv
189×	cbrt-unprod
174×	cbrt-div
170×	log-pow
120×	sub-neg
118×	diff-log
116×	distribute-rgt-neg-in
84×	pow-prod-down pow1/3
83×	associate-/l/ associate-*l/
77×	exp-prod
76×	pow-unpow associate-+l+
73×	*-commutative
71×	clear-num frac-2neg
69×	associate-*r/
65×	pow-exp
63×	pow-to-exp
61×	frac-times log-div
53×	sum-log
47×	unpow2
41×	distribute-rgt-in distribute-lft-in rem-log-exp
39×	sqrt-pow1
37×	pow1/2
36×	+-commutative
34×	frac-add
33×	associate-+r+ 1-exp
30×	associate--l+
29×	rem-sqrt-square tan-quot
26×	rec-exp frac-sub
25×	exp-sum
24×	complex-mul-def
21×	div-sub
19×	unpow3 cube-mult
18×	associate--r+
16×	pow-pow neg-sub0 sum-cubes
13×	difference-cubes rem-exp-log pow-sqr associate--l- pow-prod-up
12×	associate-+l-
11×	exp-to-pow
10×	distribute-rgt-out--
9×	exp-diff
8×	pow-flip neg-log sin-mult
7×	pow2 sqrt-undiv pow-plus
6×	rem-cube-cbrt inv-pow *.c-commutative
5×	associate-+r- difference-of-sqr-1 cos-mult
4×	sqrt-unprod sub-div +.c-commutative complex-add-def
3×	un-div-inv
2×	cube-div cos-sum associate-+l+.c associate--r- exp-neg pow-sub associate-*l*.c tan-sum rem-cbrt-cube frac-2neg.c pow-neg sin-sum
1×	sin-cos-mult diff-atan diff-cos exp-lft-cube diff-sin unpow1/2