Details

rewrite2.0s (1.8%)

Algorithm

29×	rewrite-expression-head

Calls

96 calls:

184.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (pow (/ l Om) (/ 2.0 2)) n) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
181.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*))))
142.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
141.0ms	(* (* (* (pow (/ l Om) (/ 2.0 2)) n) (pow (/ l Om) (/ 2.0 2))) (- U U*))
126.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

447×	add-sqr-sqrt
410×	add-exp-log
289×	*-un-lft-identity
268×	unpow-prod-down
253×	add-cube-cbrt
214×	pow1
199×	prod-exp
190×	sqrt-prod add-cbrt-cube
137×	associate-*r*
100×	add-log-exp
90×	associate-*r/
76×	unswap-sqr
75×	pow-exp
73×	associate-*l*
58×	times-frac
57×	sqr-pow
54×	pow-prod-down
52×	cbrt-unprod
51×	pow-to-exp
47×	unpow-prod-up
46×	flip-- flip3-- swap-sqr sub-neg
42×	log-prod
36×	cbrt-prod
33×	pow-unpow
32×	distribute-rgt-in cube-prod frac-sub sqrt-pow1 distribute-lft-in
28×	log-pow
26×	div-exp
24×	sqrt-div
20×	exp-prod
18×	difference-of-squares distribute-lft-out--
17×	*-commutative
16×	pow-pow associate--l+
14×	pow1/2
10×	unpow3 cube-mult pow-sub
9×	rem-log-exp
8×	associate-/r*
6×	associate-/l* rem-sqrt-square exp-sum cosh-def
5×	rem-cube-cbrt div-inv
4×	log-div
3×	cbrt-undiv pow1/3 rem-cbrt-cube
2×	associate-/l/ sinh-def +-commutative flip3-+ sqrt-pow2 sum-log acos-asin flip-+ rem-exp-log associate-/r/ pow-prod-up clear-num frac-2neg frac-times pow2 associate-*l/ pow-sqr
1×	exp-diff e-exp-1 div-sub