Details

rewrite2.9s (1.0%)

Algorithm

32×	rewrite-expression-head

Calls

94 calls:

281.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
268.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*))))
213.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*)))))
183.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
175.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*)))))

Rules

384×	add-sqr-sqrt
335×	add-exp-log
301×	pow1
300×	*-un-lft-identity
258×	add-cube-cbrt
197×	add-cbrt-cube
183×	associate-*r*
143×	prod-exp
110×	sqrt-pow1
107×	log-pow
106×	unpow-prod-down
104×	add-log-exp
102×	associate-*r/ log-prod
86×	cbrt-prod
85×	sqrt-prod
77×	pow-prod-down
68×	times-frac
66×	associate-*l*
60×	pow1/2
59×	cbrt-unprod
53×	distribute-rgt-in distribute-lft-in
49×	flip-- flip3--
40×	pow-exp
38×	unswap-sqr
37×	exp-prod
32×	sub-neg frac-sub
24×	sqrt-div pow-to-exp
23×	*-commutative pow-prod-up
22×	sqr-pow
21×	difference-of-squares distribute-lft-out--
18×	div-exp
16×	pow-unpow associate--l+
13×	pow-sqr
12×	rem-log-exp
9×	pow1/3 pow-pow
8×	cube-prod swap-sqr rem-sqrt-square associate-/r*
7×	unpow-prod-up
6×	sum-log div-inv associate-/l*
4×	sinh-def
3×	cbrt-undiv pow-plus acos-asin exp-sum pow2
2×	associate-/l/ associate-+r+ unpow3 cube-mult +-commutative flip3-+ sqrt-pow2 flip-+ associate-/r/ clear-num frac-2neg pow-sub
1×	rem-square-sqrt e-exp-1 sqrt-unprod rem-exp-log div-sub unpow2