Details

rewrite1.7s (0.6%)

Algorithm

27×	rewrite-expression-head

Calls

86 calls:

189.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
112.0ms	(* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))) 2.0))
111.0ms	(* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) 2.0))
108.0ms	(sqrt (* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))) 2.0)))
96.0ms	(sqrt (* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) 2.0)))

Rules

453×	add-sqr-sqrt
410×	*-un-lft-identity
316×	add-cube-cbrt
273×	add-exp-log
247×	pow1
157×	add-cbrt-cube
124×	cbrt-prod
121×	times-frac
115×	prod-exp
110×	sqrt-prod
108×	unpow-prod-down prod-diff
93×	associate-*r*
87×	log1p-expm1-u
86×	add-log-exp expm1-log1p-u
69×	pow-prod-down
66×	unpow-prod-up
65×	associate-*l*
64×	cbrt-div
61×	sqrt-pow1
58×	associate-*r/
46×	cbrt-unprod
41×	flip3-- flip--
38×	pow1/2
35×	distribute-lft-out--
34×	pow-exp
33×	distribute-rgt-in distribute-lft-in
32×	associate-*l/
31×	difference-of-squares
30×	pow-unpow
28×	unswap-sqr swap-sqr
26×	pow-pow
24×	frac-times
20×	pow-to-exp
19×	associate-/r*
18×	associate-/l/
17×	div-exp
16×	pow1/3
15×	rem-sqrt-square
14×	sqr-pow flip-+ flip3-+ *-commutative
13×	associate-/l*
12×	sub-neg
10×	distribute-lft-out sqrt-div
9×	pow-prod-up
8×	log-pow
7×	pow-sqr div-inv
6×	associate-/r/ exp-prod pow-sub sqrt-pow2 log-prod
3×	expm1-udef cbrt-undiv frac-2neg pow2 pow-plus clear-num
2×	rem-log-exp acos-asin sin-diff
1×	expm1-log1p div-sub rem-square-sqrt sqrt-unprod