Details

rewrite1.2s (0.4%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

142.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
139.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
104.0ms	(* (* (/ l Om) (* (- (* (/ l Om) n)) U)) (- U U*))
58.0ms	(sin (* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a))))
55.0ms	(* (* U (- (* (/ l Om) (* n (/ l Om))))) (- U U*))

Rules

361×	add-sqr-sqrt
304×	*-un-lft-identity
264×	add-cube-cbrt
218×	pow1
186×	add-exp-log
172×	add-cbrt-cube
115×	sqrt-prod
102×	prod-diff
95×	log1p-expm1-u
94×	add-log-exp expm1-log1p-u insert-posit16
67×	associate-*r*
66×	unpow-prod-up
63×	unpow-prod-down
48×	prod-exp times-frac
47×	sqrt-pow1
46×	pow-prod-down associate-*r/
45×	cbrt-unprod
40×	distribute-rgt-in distribute-lft-in
36×	pow1/2
35×	associate-*l* cbrt-prod
30×	pow-unpow
29×	associate-*l/
26×	pow-pow
20×	flip3-- flip-- distribute-lft-out-- difference-of-squares
19×	distribute-neg-frac
18×	frac-times unswap-sqr
17×	rem-sqrt-square
16×	log-pow
14×	sub-neg swap-sqr
12×	exp-prod sqrt-div log-prod *-commutative
10×	pow1/3 fma-udef associate--l+
8×	frac-sub pow-exp sqr-pow associate-/r*
7×	div-exp pow-prod-up pow-to-exp
6×	cbrt-undiv associate-/l* sqrt-pow2 pow-sub
5×	pow-sqr
4×	rem-log-exp distribute-lft-neg-in distribute-lft-neg-out div-inv neg-mul-1 distribute-rgt-neg-in
3×	expm1-udef flip3-+ distribute-lft-out cbrt-div flip-+
2×	sinh-def unpow2 associate-/l/ frac-2neg pow2 associate-/r/ distribute-rgt-neg-out pow-plus acos-asin clear-num sin-diff
1×	div-sub expm1-log1p rem-square-sqrt sqrt-unprod