Details

rewrite794.0ms (0.7%)

Algorithm

29×	rewrite-expression-head

Calls

98 calls:

82.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
62.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*))))
58.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*)))))
53.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
49.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

399×	add-sqr-sqrt
309×	add-exp-log
299×	*-un-lft-identity
253×	add-cube-cbrt
250×	pow1
177×	add-cbrt-cube
173×	unpow-prod-down
145×	associate-*r*
136×	sqrt-prod
125×	prod-exp
113×	add-log-exp
95×	associate-*r/
78×	times-frac
70×	sqrt-pow1
59×	associate-*l*
56×	pow-prod-down
48×	pow-unpow
46×	pow-exp pow1/2
45×	flip-- flip3-- cbrt-unprod
42×	unswap-sqr
40×	pow-pow
34×	sub-neg
32×	frac-sub
31×	pow-to-exp
30×	sqr-pow
28×	sqrt-div
26×	distribute-rgt-in distribute-lft-in
24×	unpow-prod-up
23×	difference-of-squares distribute-lft-out--
18×	div-exp
17×	*-commutative
16×	swap-sqr associate--l+ log-pow
15×	exp-prod
12×	rem-sqrt-square cbrt-prod
11×	cosh-def
10×	pow-prod-up
9×	log-prod
8×	cube-prod sqrt-pow2 sum-log pow-sub associate-/r*
7×	div-inv
6×	pow-sqr associate-/l*
4×	+-commutative flip3-+ pow1/3 flip-+ cbrt-div
3×	cbrt-undiv rem-log-exp
2×	associate-/l/ sinh-def associate-+r+ unpow3 cube-mult rem-square-sqrt pow-plus acos-asin sqrt-unprod associate-/r/ clear-num frac-2neg pow2
1×	associate-*l/ rem-exp-log div-sub frac-times