Details

rewrite2.2s (2.1%)

Algorithm

33×	rewrite-expression-head

Calls

103 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*)))))
212.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*))))))
145.0ms	(* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
140.0ms	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
140.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))

Rules

500×	add-sqr-sqrt
426×	*-un-lft-identity
392×	add-cube-cbrt
316×	add-exp-log
283×	pow1
252×	prod-diff
192×	add-cbrt-cube
179×	distribute-rgt-in distribute-lft-in
163×	unpow-prod-up
127×	associate-*r*
124×	associate-*r/
121×	prod-exp
106×	unpow-prod-down
105×	log1p-expm1-u
104×	add-log-exp
103×	expm1-log1p-u
90×	sqrt-prod
70×	pow-prod-down
60×	associate--l+
58×	times-frac
50×	flip-- flip3--
49×	cbrt-unprod
47×	pow-exp associate-*l*
46×	sqrt-pow1
44×	sub-neg
43×	pow-unpow
42×	sqrt-div log-prod
36×	frac-sub
32×	pow1/2
30×	pow-to-exp cbrt-prod unswap-sqr
28×	sinh-def
24×	swap-sqr
23×	sqr-pow log-pow
20×	pow-pow
19×	exp-prod
18×	*-commutative
17×	difference-of-squares distribute-lft-out-- div-exp
15×	pow-prod-up
12×	cube-prod
9×	exp-sum pow-sqr
8×	cbrt-div rem-log-exp associate-/r*
6×	associate-/l*
5×	pow1/3 div-inv
4×	cube-mult associate-*l/ unpow3 frac-times
3×	cbrt-undiv rem-exp-log rem-square-sqrt pow-plus e-exp-1 rem-cube-cbrt sqrt-unprod pow2 expm1-udef
2×	expm1-log1p associate-/l/ sqrt-pow2 acos-asin rem-sqrt-square fma-udef associate-/r/ clear-num frac-2neg pow-sub
1×	div-sub exp-to-pow rem-cbrt-cube cosh-def sin-diff