Details

rewrite2.4s (1.0%)

Algorithm

25×	rewrite-expression-head

Calls

84 calls:

286.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*))))
210.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*)))))
195.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
193.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
192.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

302×	add-sqr-sqrt
280×	add-exp-log
239×	*-un-lft-identity
193×	add-cube-cbrt
173×	pow1
162×	add-cbrt-cube
133×	associate-*r*
120×	prod-exp
101×	unpow-prod-down
100×	add-log-exp
68×	associate-*r/ times-frac
45×	pow-prod-down
43×	cbrt-unprod
42×	flip-- cbrt-prod flip3--
37×	pow-exp
36×	associate-*l*
31×	unswap-sqr
26×	sqrt-prod
24×	frac-sub sqr-pow
23×	difference-of-squares distribute-lft-out-- pow-to-exp
20×	cube-prod sub-neg
19×	pow-unpow sqrt-pow1
18×	distribute-rgt-in distribute-lft-in sqrt-div log-prod
17×	div-exp
15×	*-commutative
13×	log-pow
12×	associate--l+ cbrt-div
10×	pow1/2
9×	exp-prod pow-pow
8×	sum-log associate-/r*
7×	pow1/3
6×	cube-mult unpow3 rem-sqrt-square div-inv associate-/l*
5×	rem-log-exp
4×	+-commutative flip3-+ acos-asin flip-+ unpow-prod-up
3×	cbrt-undiv rem-cube-cbrt exp-sum
2×	associate-/l/ associate-+r+ associate-*l/ sqrt-pow2 associate-/r/ clear-num frac-2neg cosh-def exp-to-pow pow-sub sinh-def
1×	distribute-rgt-neg-in distribute-lft-neg-out rem-exp-log distribute-lft-neg-in neg-mul-1 rem-cbrt-cube div-sub