Details

rewrite3.2s (1.1%)

Algorithm

29×	rewrite-expression-head

Calls

99 calls:

276.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
257.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
204.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
203.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
193.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

411×	add-sqr-sqrt
397×	*-un-lft-identity
317×	add-cube-cbrt
313×	add-exp-log
244×	pow1
207×	cbrt-prod
193×	add-cbrt-cube
166×	unpow-prod-down
156×	times-frac
127×	prod-exp
108×	associate-*r* add-log-exp
106×	associate-*r/
98×	cube-prod
97×	sqrt-prod
69×	pow-prod-down
61×	sqrt-pow1
55×	flip-- flip3--
50×	cbrt-unprod
42×	pow-exp log-prod
41×	pow-unpow
40×	frac-sub
33×	exp-prod
32×	sqr-pow sqrt-div associate-*l*
30×	sub-neg
28×	pow-to-exp
26×	distribute-rgt-in distribute-lft-in unswap-sqr
24×	pow1/2
23×	pow-pow
22×	pow1/3 log-pow
21×	distribute-lft-out
20×	associate--l+
19×	difference-of-squares distribute-lft-out--
18×	cube-mult unpow3
17×	div-exp
15×	*-commutative
10×	cube-div
9×	div-inv
8×	sinh-def rem-cube-cbrt swap-sqr unpow-prod-up pow-prod-up associate-/r*
7×	rem-log-exp
6×	pow-sqr rem-cbrt-cube associate-/l*
5×	cbrt-div sqrt-pow2 cosh-def
4×	cbrt-undiv flip-+ flip3-+ rem-sqrt-square pow-sub
3×	+-commutative sum-log acos-asin rem-exp-log
2×	associate-/l/ associate-/r/ clear-num frac-2neg
1×	pow-plus rem-square-sqrt div-sub sqrt-unprod pow2