Details

rewrite877.0ms (0.8%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

91.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
67.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*))))
65.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*)))))
57.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
55.0ms	(sqrt (* (* (* 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*)))))

Rules

481×	add-sqr-sqrt
405×	*-un-lft-identity
359×	add-cube-cbrt
285×	add-exp-log
246×	pow1
210×	prod-diff
165×	add-cbrt-cube
157×	unpow-prod-down
136×	sqrt-prod
132×	unpow-prod-up
113×	prod-exp
107×	associate-*r*
97×	add-log-exp
95×	log1p-expm1-u distribute-rgt-in associate-*r/ distribute-lft-in
94×	expm1-log1p-u
78×	times-frac
70×	sqrt-pow1
56×	pow-prod-down
48×	pow-unpow
47×	associate-*l*
46×	pow1/2
45×	flip-- flip3--
42×	pow-exp
41×	cbrt-unprod
40×	associate--l+ pow-pow
34×	sub-neg
32×	frac-sub
28×	sqrt-div unswap-sqr
27×	pow-to-exp
23×	difference-of-squares distribute-lft-out--
22×	sqr-pow
18×	div-exp
16×	swap-sqr exp-prod
15×	log-pow
13×	*-commutative
12×	rem-sqrt-square cbrt-prod
11×	cosh-def
10×	pow-prod-up
9×	log-prod
8×	sqrt-pow2 expm1-udef pow-sub associate-/r*
7×	div-inv
6×	associate-/l* pow-sqr sin-diff
4×	pow1/3 fma-udef cbrt-div
3×	cbrt-undiv rem-log-exp
2×	expm1-log1p associate-/l/ sinh-def rem-exp-log rem-square-sqrt pow-plus acos-asin sqrt-unprod associate-/r/ clear-num frac-2neg pow2
1×	associate-*l/ div-sub exp-to-pow frac-times