Details

rewrite2.0s (0.8%)

Algorithm

27×	rewrite-expression-head

Calls

86 calls:

254.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
189.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
159.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
155.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
135.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))

Rules

385×	add-sqr-sqrt
342×	*-un-lft-identity
283×	add-exp-log
246×	add-cube-cbrt
230×	pow1
158×	add-cbrt-cube
124×	times-frac cbrt-prod
119×	prod-exp
109×	sqrt-prod
108×	unpow-prod-down associate-*r/
105×	associate-*r*
86×	add-log-exp
72×	flip3-- flip--
64×	cbrt-div
58×	pow-prod-down
57×	sqrt-pow1
55×	associate-*l*
44×	cbrt-unprod
37×	pow1/2
36×	pow-exp distribute-lft-out--
32×	difference-of-squares frac-sub
30×	sub-neg pow-unpow
28×	unswap-sqr swap-sqr
26×	pow-pow
24×	distribute-rgt-in frac-times sqrt-div distribute-lft-in
22×	associate-/r*
21×	pow-to-exp
20×	div-exp
18×	associate-/l/
16×	pow1/3 associate--l+
15×	rem-sqrt-square
14×	sqr-pow flip-+ flip3-+ *-commutative associate-/l*
12×	unpow-prod-up associate-*l/
10×	distribute-lft-out
9×	pow-prod-up
8×	log-pow div-inv
7×	pow-sqr
6×	associate-/r/ exp-prod pow-sub sqrt-pow2 log-prod
5×	cbrt-undiv
4×	frac-2neg clear-num
3×	pow2 pow-plus
2×	rem-log-exp acos-asin
1×	div-sub rem-square-sqrt sqrt-unprod