Details

rewrite1.8s (1.7%)

Algorithm

27×	rewrite-expression-head

Calls

86 calls:

180.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*))))
161.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*)))))
141.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
134.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*)))))
128.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

376×	add-sqr-sqrt
338×	*-un-lft-identity
300×	add-cube-cbrt
293×	add-exp-log
194×	pow1
183×	prod-diff
159×	add-cbrt-cube
125×	prod-exp
109×	unpow-prod-down
106×	distribute-rgt-in distribute-lft-in
96×	associate-*r/
89×	log1p-expm1-u
87×	expm1-log1p-u
86×	add-log-exp
83×	associate-*r*
81×	cbrt-prod
77×	unpow-prod-up
68×	times-frac
53×	pow-exp
52×	pow-prod-down
46×	flip-- flip3--
41×	cbrt-unprod
40×	associate--l+
37×	sqrt-prod
36×	log-prod
33×	associate-*l*
32×	frac-sub sqrt-pow1
31×	sub-neg
30×	cube-prod
29×	pow-to-exp
26×	pow-unpow
24×	sqrt-div
22×	log-pow
20×	sqr-pow
19×	difference-of-squares distribute-lft-out--
18×	div-exp
16×	unswap-sqr pow-pow
14×	pow1/2
13×	exp-prod
11×	*-commutative
8×	expm1-udef associate-/r*
7×	cube-mult unpow3 rem-log-exp
6×	associate-/l* rem-sqrt-square div-inv
5×	expm1-log1p
3×	cbrt-undiv sqrt-pow2 rem-cube-cbrt pow1/3 log1p-udef log1p-expm1 sin-diff pow-sub exp-sum
2×	associate-/l/ sinh-def acos-asin associate-/r/ clear-num frac-2neg unpow1/2
1×	pow-sqr div-sub rem-exp-log sqrt-unprod rem-cbrt-cube pow-prod-up pow2