Details

rewrite1.7s (1.5%)

Algorithm

29×	rewrite-expression-head

Calls

91 calls:

233.0ms	(* (* (* 2.0 n) (- t (- (* 2.0 (* l (/ l Om))) (* (- (- U U*)) (* n (pow (/ l Om) (* 2 (/ 2.0 2)))))))) U)
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*))))
138.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
130.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*)))))
124.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

381×	add-sqr-sqrt
344×	*-un-lft-identity
298×	add-cube-cbrt
290×	add-exp-log
210×	pow1
165×	add-cbrt-cube
144×	prod-diff
121×	prod-exp
108×	unpow-prod-down
92×	log1p-expm1-u
91×	add-log-exp expm1-log1p-u
86×	sqrt-prod
79×	associate-*r*
69×	unpow-prod-up
68×	associate-*r/
63×	distribute-rgt-in distribute-lft-in
58×	times-frac
54×	pow-unpow
47×	cbrt-prod
46×	pow-prod-down
43×	cbrt-unprod sqrt-pow1
41×	pow-exp
37×	flip-- flip3--
30×	associate--l+ associate-*l* log-prod
29×	pow-pow log-pow
26×	pow1/2
24×	sub-neg frac-sub pow-to-exp
23×	difference-of-squares distribute-lft-out--
19×	exp-prod
18×	sqr-pow sqrt-div div-exp
14×	rem-sqrt-square
12×	unswap-sqr
11×	*-commutative pow1/3
8×	cube-prod rem-log-exp associate-/r*
6×	associate-/l* sqrt-pow2 pow-sub
5×	distribute-lft-neg-in div-inv distribute-rgt-neg-in
4×	acos-asin associate-*l/
3×	cbrt-undiv exp-sum
2×	associate-/l/ cube-mult expm1-udef unpow3 distribute-neg-frac fma-udef associate-/r/ clear-num frac-2neg e-exp-1 sinh-def
1×	expm1-log1p rem-exp-log exp-diff div-sub rem-cube-cbrt log-div neg-mul-1 distribute-lft-neg-out sin-diff