Details

rewrite25.7s (4.1%)

Algorithm

125×	rewrite-expression-head

Calls

411 calls:

1.2s	(* (* (* (cbrt (sqrt (+ (/ 1 b) (/ 1 a)))) (cbrt (sqrt (+ (/ 1 b) (/ 1 a))))) (cbrt (sqrt (+ (/ 1 b) (/ 1 a))))) (sqrt (+ (/ 1 b) (/ 1 a))))
1.0s	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))
915.0ms	(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
656.0ms	(* (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
609.0ms	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))

Rules

7450×	times-frac
7368×	*-un-lft-identity
6369×	add-sqr-sqrt
3923×	add-cube-cbrt
1254×	sqrt-prod
1224×	add-exp-log
1030×	difference-of-squares
1025×	sqrt-div
1013×	distribute-lft-out
959×	add-cbrt-cube
877×	frac-times
831×	pow1
828×	distribute-lft-out--
771×	add-log-exp
731×	associate-/l*
684×	unpow-prod-down
656×	cbrt-div
631×	associate-*l*
526×	associate-*r*
480×	frac-sub
436×	flip-+ flip3-+
410×	flip-- flip3--
404×	associate-*l/
389×	cbrt-prod
388×	associate-/r*
360×	div-inv
337×	cube-prod
304×	frac-add associate-*r/
266×	prod-exp
240×	div-exp
232×	sqr-pow
224×	log-prod
219×	unswap-sqr
218×	swap-sqr
194×	associate-/r/
168×	cbrt-unprod cbrt-undiv
163×	sqrt-pow1
158×	log-pow
134×	distribute-rgt-neg-in
122×	sub-neg
119×	associate-/l/
117×	diff-log
108×	pow-unpow
106×	pow-prod-down
94×	exp-prod
91×	pow1/2
79×	*-commutative
78×	sum-log
73×	frac-2neg clear-num
69×	pow1/3
68×	pow-exp
66×	log-div
64×	pow-to-exp
55×	unpow2
51×	pow-prod-up
45×	distribute-rgt-in +-commutative associate--l+ distribute-lft-in
39×	pow-pow
38×	rem-sqrt-square sum-cubes
37×	div-sub
33×	pow-sqr
32×	1-exp rec-exp
31×	associate--r+ exp-sum
29×	neg-sub0
26×	rem-log-exp
24×	complex-mul-def
23×	unpow3 cube-mult
21×	associate-+l+
20×	exp-diff tan-quot
19×	associate--l-
18×	cube-div exp-to-pow
13×	pow-plus neg-log associate-+l-
11×	rem-cube-cbrt associate-+r- exp-neg pow2
10×	pow-flip
9×	associate-+r+
8×	sqrt-unprod inv-pow
7×	difference-cubes sin-mult
6×	cos-mult *.c-commutative
5×	unsub-neg rem-square-sqrt
4×	un-div-inv associate--r- +.c-commutative complex-add-def
3×	rem-exp-log distribute-lft-neg-in distribute-rgt-out-- rem-cbrt-cube
2×	cos-sum sin-cos-mult associate-+l+.c sub-div pow-sub difference-of-sqr-1 associate-*l*.c tan-sum pow-neg sin-sum
1×	diff-atan diff-cos distribute-rgt-out sqr-cos neg-mul-1 diff-sin