Details

rewrite2.3s (0.9%)

Algorithm

23×	rewrite-expression-head

Calls

73 calls:

288.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*))))
219.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
216.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
211.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*)))))
176.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))

Rules

367×	add-sqr-sqrt
251×	add-exp-log
241×	*-un-lft-identity
217×	unpow-prod-down
209×	add-cube-cbrt
190×	sqrt-prod
169×	pow1
130×	add-cbrt-cube
111×	prod-exp
83×	associate-*r*
80×	associate-*r/
78×	add-log-exp cbrt-prod
75×	times-frac
58×	unswap-sqr
46×	swap-sqr pow-prod-down
44×	flip-- flip3--
43×	pow-exp
41×	associate-*l*
39×	sqr-pow log-prod
34×	sub-neg
32×	frac-sub cbrt-unprod
31×	unpow-prod-up
30×	pow-to-exp
26×	sqrt-pow1
24×	sqrt-div
23×	pow-unpow
21×	log-pow
18×	distribute-rgt-in distribute-lft-in
16×	difference-of-squares distribute-lft-out--
15×	div-exp
14×	associate--l+
13×	pow1/2 pow1/3
10×	pow-pow exp-prod pow-sub
9×	*-commutative
8×	associate-/r*
7×	div-inv rem-log-exp
6×	associate-/l* cube-prod rem-sqrt-square
4×	associate--r+
3×	cbrt-undiv exp-sum cbrt-div diff-log
2×	associate-/l/ unpow3 cube-mult associate-*l/ sqrt-pow2 acos-asin associate-/r/ pow-prod-up clear-num frac-times frac-2neg pow2 pow-sqr
1×	div-sub e-exp-1 rem-exp-log rem-cube-cbrt associate--l- rem-cbrt-cube