Details

rewrite3.1s (1.1%)

Algorithm

29×	rewrite-expression-head

Calls

96 calls:

275.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* (* (/ l Om) n) (/ l Om)) (- U U*))))
262.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
224.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* (* (/ l Om) n) (/ l Om)) (- U U*)))))
214.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
205.0ms	(* (* (* n (/ l Om)) (/ l Om)) (- U U*))

Rules

593×	add-sqr-sqrt
448×	*-un-lft-identity
404×	add-cube-cbrt
279×	add-exp-log
246×	prod-diff
238×	pow1
229×	add-cbrt-cube
223×	associate-*r/
214×	sqrt-prod
207×	unpow-prod-down
162×	unpow-prod-up
126×	associate-*r*
112×	flip3-- flip--
106×	prod-exp
104×	frac-sub
102×	add-log-exp
97×	expm1-log1p-u log1p-expm1-u
96×	insert-posit16
93×	associate-*l/ cbrt-prod
92×	frac-times
87×	associate-*l*
84×	distribute-lft-in distribute-rgt-in
75×	cbrt-unprod
74×	pow-prod-down
72×	swap-sqr
65×	unswap-sqr
60×	sqrt-div
58×	times-frac
54×	sqrt-pow1
51×	exp-prod
42×	sub-neg
40×	associate--l+
36×	sqr-pow
30×	pow-unpow
24×	pow-exp
22×	pow1/2 distribute-lft-out-- difference-of-squares
21×	pow-to-exp
20×	log-pow
19×	pow1/3
18×	div-exp
16×	*-commutative pow-pow
15×	log-prod cbrt-undiv
14×	pow-sub
10×	pow-prod-up
8×	pow-sqr associate-/r*
6×	rem-exp-log associate-/l* rem-sqrt-square
5×	rem-log-exp div-inv
4×	sqrt-pow2
3×	expm1-udef pow2
2×	sinh-def unpow2 associate-/l/ frac-2neg associate-/r/ fma-udef acos-asin clear-num sin-diff
1×	div-sub expm1-log1p rem-square-sqrt log1p-expm1 pow-plus sqrt-unprod log1p-udef