Details

rewrite2.7s (1.5%)

Algorithm

23×	rewrite-expression-head

Calls

73 calls:

230.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
225.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
180.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
178.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
175.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

351×	add-sqr-sqrt
267×	add-exp-log
216×	*-un-lft-identity
211×	unpow-prod-down
195×	pow1
185×	sqrt-prod
184×	add-cube-cbrt
147×	add-cbrt-cube
124×	prod-exp
110×	associate-*r/
98×	associate-*r*
79×	add-log-exp
66×	pow-prod-down
64×	unswap-sqr
59×	flip-- flip3--
50×	cbrt-prod
48×	times-frac
47×	associate-*l*
46×	swap-sqr
45×	cbrt-unprod
44×	frac-sub
42×	pow-exp sub-neg
37×	sqr-pow
31×	unpow-prod-up
30×	sqrt-div
29×	pow-to-exp
28×	sqrt-pow1
26×	distribute-rgt-in distribute-lft-in
22×	associate--l+
21×	log-prod
20×	pow-unpow
16×	difference-of-squares distribute-lft-out-- log-pow
15×	div-exp
13×	pow1/2
12×	*-commutative
11×	exp-prod
10×	pow-sub
9×	pow-pow
8×	pow1/3 associate-/r*
6×	associate-/l* rem-sqrt-square
5×	rem-log-exp
4×	associate--r+ div-inv
3×	cbrt-undiv exp-sum diff-log
2×	associate-/l/ associate-*l/ sqrt-pow2 acos-asin associate-/r/ pow-prod-up clear-num frac-times frac-2neg pow2 pow-sqr
1×	div-sub e-exp-1 rem-exp-log associate--l- pow3 exp-to-pow