Details

rewrite4.2s (2.1%)

Algorithm

123×	rewrite-expression-head

Calls

404 calls:

134.0ms	(* (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))) (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))))
49.0ms	(* (/ (* (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt (+ (exp x) (exp (- x)))))) (sqrt (sqrt 2.0))) (* (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt (sqrt 2.0))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))))
38.0ms	(- (/ (- b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
37.0ms	(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))
36.0ms	(* (/ (exp x) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (+ (pow (exp x) 3) (pow 1.0 3))))

Rules

6992×	*-un-lft-identity
6952×	times-frac
6337×	add-sqr-sqrt
3821×	add-cube-cbrt
1606×	sqrt-prod
1499×	add-exp-log
1158×	add-cbrt-cube
1039×	cbrt-prod
1024×	difference-of-squares
904×	distribute-lft-out--
798×	associate-*l*
793×	associate-*r*
790×	pow1
755×	add-log-exp
698×	distribute-lft-out
607×	unpow-prod-down
546×	associate-/l*
470×	associate-/r*
427×	log-pow
405×	prod-exp
327×	div-exp
319×	exp-prod
307×	flip-- flip3--
301×	associate-/r/
299×	sqr-pow
281×	log-prod
273×	cbrt-unprod
269×	unswap-sqr
244×	div-inv
236×	cbrt-undiv
231×	swap-sqr
201×	associate-*l/
183×	flip-+ flip3-+
166×	cube-prod
144×	distribute-rgt-neg-in
137×	diff-log
135×	sub-neg
132×	sqrt-div
110×	pow-prod-down
109×	associate-/l/ associate-*r/
108×	frac-times
107×	unpow2
86×	*-commutative
79×	frac-2neg clear-num
70×	pow-exp
68×	pow-to-exp
57×	sum-log
52×	frac-add cbrt-div
49×	log-div
46×	pow1/2 sqrt-pow1
45×	pow1/3
42×	distribute-rgt-in distribute-lft-in exp-sum
41×	pow-unpow
36×	1-exp rec-exp
34×	tan-quot rem-log-exp
29×	associate-+l+
28×	+-commutative
26×	div-sub
25×	rem-sqrt-square associate-+r+
24×	complex-mul-def
22×	neg-sub0
21×	pow-prod-up
20×	frac-sub
18×	associate--l- associate--l+
17×	pow-sqr
15×	neg-log associate--r+
14×	exp-diff
13×	unpow3 pow-flip cube-mult associate-+l-
12×	difference-cubes
11×	pow-pow rem-exp-log inv-pow
10×	cos-mult
8×	associate-+r-
7×	pow2 pow-plus sin-mult
6×	cube-div *.c-commutative
5×	rem-cube-cbrt un-div-inv sqrt-unprod difference-of-sqr-1 exp-to-pow
4×	sum-cubes +.c-commutative complex-add-def log-rec
3×	rem-cbrt-cube
2×	sqrt-undiv associate-+l+.c exp-neg sub-div pow-sub rem-square-sqrt associate-*l*.c cos-sum tan-sum pow-neg sin-sum
1×	sin-cos-mult associate--r- diff-atan distribute-rgt-out-- diff-cos unsub-neg frac-2neg.c diff-sin