Details

rewrite2.8s (1.1%)

Algorithm

25×	rewrite-expression-head

Calls

76 calls:

288.0ms	(* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) 2.0))) (- U U*))
281.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) 2.0))) (- U U*))))
237.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
220.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
198.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

288×	add-sqr-sqrt
253×	add-exp-log
233×	*-un-lft-identity
221×	pow1
187×	add-cube-cbrt
156×	add-cbrt-cube
108×	unpow-prod-down
107×	prod-exp
104×	associate-*r/
93×	associate-*r*
86×	cbrt-prod
85×	add-log-exp
73×	sqrt-prod
64×	pow-prod-down
56×	cbrt-unprod
53×	sqrt-pow1
51×	flip-- flip3--
48×	times-frac
41×	pow-unpow
38×	distribute-rgt-in sub-neg distribute-lft-in
36×	frac-sub
31×	pow-pow
30×	associate-*l* log-prod
29×	log-pow
27×	unswap-sqr
24×	exp-prod sqrt-div pow-exp
23×	pow1/2
22×	difference-of-squares distribute-lft-out-- associate--l+
17×	pow-to-exp
16×	sqr-pow
14×	unpow-prod-up
13×	*-commutative
10×	div-exp
9×	pow1/3
8×	associate-/r*
6×	associate-/l* sqrt-pow2 swap-sqr rem-sqrt-square pow-prod-up rem-log-exp pow-sub
4×	associate--r+ div-inv
3×	diff-log cbrt-undiv rem-exp-log exp-sum
2×	associate-/l/ sinh-def pow-plus pow-sqr acos-asin associate-/r/ clear-num frac-2neg exp-to-pow
1×	div-sub associate--l- distribute-lft-out pow2