Details

rewrite1.2s (0.4%)

Algorithm

29×	rewrite-expression-head

Calls

96 calls:

151.0ms	(* U (* (* n (/ l Om)) (- (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
70.0ms	(* n (- (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))
63.0ms	(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))
61.0ms	(* (/ l Om) (* n (- U* U)))
61.0ms	(* (/ l Om) (* n (- U* U)))

Rules

316×	add-sqr-sqrt
296×	pow1
253×	*-un-lft-identity
235×	add-exp-log
217×	add-cbrt-cube add-cube-cbrt
110×	sqrt-pow1 associate-*l*
96×	add-log-exp insert-posit16
94×	sqrt-prod
75×	pow-prod-down
73×	prod-exp
71×	times-frac
68×	associate-*r/
67×	cbrt-unprod
66×	pow1/2
62×	associate-*r*
60×	distribute-lft-in distribute-rgt-in pow-pow
40×	unpow-prod-down
36×	sub-neg
30×	pow-unpow
25×	pow-prod-up
22×	unswap-sqr
20×	*-commutative
18×	distribute-lft-out-- difference-of-squares
17×	flip3-- flip-- cbrt-prod
16×	distribute-neg-in rem-sqrt-square
15×	pow-sqr
14×	swap-sqr
12×	frac-times unpow-prod-up
11×	div-exp cbrt-undiv
10×	pow-exp sqr-pow
9×	distribute-neg-frac
8×	sqrt-div log-pow pow-to-exp
7×	pow1/3
6×	exp-prod associate-*l/ sqrt-pow2 div-inv log-prod pow-sub
5×	associate-/l* flip3-+ associate-/r* flip-+
4×	pow2 pow-plus
3×	distribute-rgt-neg-out sqrt-unprod
2×	rem-log-exp sinh-def associate-/l/ associate-/r/ acos-asin
1×	div-sub distribute-lft-neg-in frac-2neg rem-square-sqrt distribute-lft-out clear-num neg-mul-1 distribute-rgt-neg-in