Details

rewrite2.5s (0.7%)

Algorithm

29×	rewrite-expression-head

Calls

88 calls:

280.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
256.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
221.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
201.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
103.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))

Rules

514×	add-sqr-sqrt
423×	*-un-lft-identity
375×	add-cube-cbrt
262×	unpow-prod-down
249×	pow1
247×	sqrt-prod
241×	add-exp-log
204×	prod-diff
176×	unpow-prod-up
170×	add-cbrt-cube
111×	cube-prod
103×	associate-*r*
99×	cbrt-prod
89×	log1p-expm1-u add-log-exp
88×	expm1-log1p-u
82×	sqrt-pow1
81×	prod-exp
63×	pow-prod-down
57×	times-frac
52×	associate-*r/
49×	pow-unpow
47×	pow1/2
46×	cbrt-unprod
42×	distribute-rgt-in distribute-lft-in
39×	pow-pow
38×	associate-*l*
37×	unswap-sqr
32×	pow-exp
31×	flip-- flip3--
30×	sqr-pow log-prod
28×	sub-neg
27×	log-pow
24×	difference-of-squares distribute-lft-out--
21×	pow-to-exp
20×	associate--l+
16×	rem-sqrt-square associate-*l/ sqrt-div frac-sub
13×	*-commutative exp-prod
12×	pow-sub
10×	div-exp
9×	sqrt-pow2
8×	swap-sqr associate-/r*
6×	associate-/l* cube-mult unpow3 pow-prod-up
5×	div-inv rem-log-exp
4×	cube-div
3×	cbrt-undiv rem-cube-cbrt pow-sqr pow1/3
2×	associate-/l/ acos-asin fma-udef associate-/r/ rem-cbrt-cube clear-num frac-2neg cbrt-div sinh-def
1×	rem-exp-log expm1-log1p pow-plus rem-square-sqrt div-sub sqrt-unprod exp-lft-cube expm1-udef exp-to-pow pow2