Details

rewrite2.7s (0.9%)

Algorithm

32×	rewrite-expression-head

Calls

106 calls:

287.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*))))
203.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 (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
192.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*)))))
190.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

415×	add-sqr-sqrt
325×	*-un-lft-identity
314×	add-exp-log
286×	pow1
269×	add-cube-cbrt
184×	add-cbrt-cube
130×	sqrt-prod
122×	prod-exp
117×	associate-*r*
111×	unpow-prod-down
108×	add-log-exp
104×	associate-*r/
85×	cbrt-prod
80×	sqrt-pow1
73×	associate-*l*
68×	times-frac
63×	pow-prod-down
52×	flip-- flip3--
51×	log-prod
50×	pow1/2
47×	cbrt-unprod
38×	sub-neg pow-exp log-pow
34×	unswap-sqr pow-unpow
32×	distribute-rgt-in sqrt-div frac-sub distribute-lft-in
28×	difference-of-squares swap-sqr distribute-lft-out-- sinh-def
27×	pow1/3 pow-pow
22×	pow-to-exp cbrt-div
18×	div-exp
17×	*-commutative
16×	associate--l+
15×	unpow-prod-up exp-prod sqr-pow
14×	rem-sqrt-square pow-prod-up
11×	exp-sum
10×	pow-sqr
9×	rem-log-exp
8×	associate-/r*
6×	associate-/l* sqrt-pow2 div-inv pow-sub
4×	associate-*l/ pow-plus frac-times pow2
3×	cbrt-undiv rem-exp-log cosh-def
2×	associate-/l/ rem-square-sqrt acos-asin sqrt-unprod associate-/r/ clear-num frac-2neg exp-to-pow
1×	div-sub e-exp-1