Details

rewrite20.9s (2.9%)

Algorithm

123×	rewrite-expression-head

Calls

402 calls:

697.0ms	(cbrt (* (* (* (* (cos x) (cos x)) (cos x)) (* (* (cos x) (cos x)) (cos x))) (* (* (cos x) (cos x)) (cos x))))
546.0ms	(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
535.0ms	(/ (/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
466.0ms	(* (/ (- (- (log 1.0) (* (* (/ x 1.0) (/ x 1.0)) 1/2)) (* 1.0 x)) (+ (* -1/2 (* (/ x 1.0) (/ x 1.0))) (+ (log 1.0) (* 1.0 x)))) (/ (- (- (log 1.0) (* (* (/ x 1.0) (/ x 1.0)) 1/2)) (* 1.0 x)) (+ (* -1/2 (* (/ x 1.0) (/ x 1.0))) (+ (log 1.0) (* 1.0 x)))))
453.0ms	(* (/ (+ (* (- (* 1.0 x) (* (+ x 1.0) 2.0)) (- x 1.0)) (* (* (+ x 1.0) x) 1.0)) (* (* (+ x 1.0) x) (- (* (* x x) x) (* (* 1.0 1.0) 1.0)))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))

Rules

23215×	sqrt-prod
18867×	*-un-lft-identity
17752×	times-frac
8741×	add-sqr-sqrt
7485×	add-cube-cbrt
6109×	distribute-lft-out
1406×	add-exp-log
1273×	add-cbrt-cube
1238×	pow1
827×	associate-/l*
663×	add-log-exp
565×	associate-/r/
508×	difference-of-squares
494×	sqrt-div
474×	associate-*r*
473×	associate-*l*
431×	prod-exp
405×	flip-+ flip3-+
393×	cbrt-unprod
355×	cbrt-prod
351×	div-inv
331×	distribute-lft-out--
330×	pow-prod-down
295×	associate-/r*
293×	associate-*l/
247×	log-prod flip3-- flip--
231×	div-exp
217×	unpow-prod-down
207×	associate-*r/
200×	cbrt-undiv
191×	frac-times
146×	unswap-sqr
133×	sqr-pow
123×	cbrt-div
122×	pow-prod-up
110×	pow-unpow
107×	pow1/3
106×	frac-add
105×	sub-neg
99×	diff-log
96×	swap-sqr associate-/l/
90×	tan-quot
89×	distribute-rgt-neg-in
88×	*-commutative
81×	cube-prod
74×	pow-plus distribute-lft-neg-in
72×	pow-sqr
70×	frac-2neg clear-num
60×	sqrt-pow1
57×	log-pow
46×	pow1/2
45×	exp-prod
44×	distribute-rgt-in distribute-lft-in
43×	pow2
39×	exp-sum
37×	sum-log
34×	rem-sqrt-square
28×	div-sub
27×	+-commutative
25×	log-div
20×	associate--r+ distribute-neg-frac
19×	pow-pow
18×	associate-+l+ associate--l+
17×	frac-sub 1-exp rec-exp neg-mul-1
16×	pow-flip cos-mult
15×	rem-log-exp
14×	complex-mul-def
13×	pow3
12×	pow-exp pow-to-exp
10×	sqr-cos
9×	neg-sub0 associate--l-
8×	difference-cubes
7×	exp-to-pow
6×	exp-diff
5×	cube-unmult neg-log rem-cbrt-cube
4×	pow-div rem-exp-log
3×	associate-+r+ *.c-commutative sqrt-unprod un-div-inv +.c-commutative distribute-rgt-out--
2×	sin-sum rem-cube-cbrt exp-neg unpow3 distribute-frac-neg inv-pow associate-+l- cos-sum tan-sum associate-*l*.c cube-mult distribute-neg-in complex-add-def distribute-rgt-out
1×	diff-atan frac-2neg.c distribute-rgt-neg-out sin-mult sub-div diff-sin associate-+l+.c diff-cos