Details

rewrite2.9s (1.1%)

Algorithm

29×	rewrite-expression-head

Calls

98 calls:

275.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
221.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
192.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
186.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
182.0ms	(* (- (- t (* 2.0 (/ l (/ Om l)))) (* (- U U*) (* n (pow (/ l Om) (* 2 (/ 2.0 2)))))) (* (* 2.0 n) U))

Rules

338×	add-sqr-sqrt
309×	add-exp-log
290×	*-un-lft-identity
244×	add-cube-cbrt
241×	pow1
189×	add-cbrt-cube
127×	prod-exp
110×	unpow-prod-down
109×	add-log-exp
106×	cbrt-prod
104×	associate-*r*
69×	pow-prod-down
68×	associate-*r/
65×	sqrt-prod
60×	sqrt-pow1
55×	flip-- flip3--
50×	cbrt-unprod
48×	times-frac
42×	cube-prod log-prod
40×	associate-*l/ frac-sub pow-exp
38×	pow-unpow
36×	associate-*l*
33×	exp-prod
30×	sqrt-div
27×	sqr-pow pow-to-exp
26×	unswap-sqr
23×	pow1/2
22×	sub-neg log-pow
21×	pow1/3
20×	pow-pow
19×	difference-of-squares distribute-lft-out--
18×	distribute-rgt-in distribute-lft-in
16×	div-exp
15×	*-commutative
13×	cube-mult unpow3
12×	associate--l+
10×	cube-div
8×	sinh-def swap-sqr unpow-prod-up pow-prod-up associate-/r*
7×	rem-log-exp
6×	rem-cube-cbrt pow-sqr flip-+ flip3-+ associate-/l*
5×	cbrt-div rem-cbrt-cube cosh-def
4×	+-commutative sqrt-pow2 sum-log rem-sqrt-square distribute-lft-out div-inv pow-sub
3×	cbrt-undiv acos-asin rem-exp-log
2×	associate-/l/ associate-/r/ clear-num frac-2neg
1×	pow-plus rem-square-sqrt div-sub sqrt-unprod pow2