Details

rewrite941.0ms (0.9%)

Algorithm

29×	rewrite-expression-head

Calls

88 calls:

66.0ms	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* n (* (pow (/ l Om) 2.0) (- U U*)))))))
65.0ms	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
65.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* n (* (pow (/ l Om) 2.0) (- U U*))))))
58.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
55.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

357×	add-sqr-sqrt
295×	*-un-lft-identity
255×	add-cube-cbrt
231×	pow1
208×	add-exp-log
168×	add-cbrt-cube prod-diff
164×	distribute-rgt-in distribute-lft-in
145×	associate-*r/
92×	sqrt-prod
91×	expm1-log1p-u
90×	add-log-exp
89×	log1p-expm1-u
80×	associate--l+
75×	associate-*r*
73×	pow-prod-down
70×	prod-exp
60×	associate-*l*
56×	flip-- flip3--
48×	times-frac
46×	cbrt-unprod
44×	sqrt-pow1
40×	sub-neg frac-sub
39×	sqrt-div
30×	unpow-prod-down pow1/2
26×	unswap-sqr
21×	exp-prod log-pow
18×	log-prod
16×	difference-of-squares distribute-lft-out--
15×	*-commutative
12×	rem-sqrt-square
10×	pow-exp
8×	swap-sqr div-exp cosh-def associate-/r*
7×	associate-*l/
6×	associate-/l* rem-log-exp
5×	expm1-udef pow-to-exp pow-prod-up
4×	expm1-log1p distribute-lft-out acos-asin flip-+ log1p-udef sqrt-unprod div-inv log1p-expm1 sqr-pow flip3-+ sinh-def
3×	cbrt-undiv cbrt-prod pow-sqr
2×	rem-exp-log fma-udef associate-/r/ associate-/l/ clear-num frac-2neg
1×	pow-plus rem-square-sqrt div-sub hypot-def pow1/3 frac-times sin-diff pow2