Details

rewrite3.4s (1.3%)

Algorithm

31×	rewrite-expression-head

Calls

105 calls:

314.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*))))
224.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
217.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*)))))
193.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
192.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

657×	add-sqr-sqrt
434×	sqrt-prod
347×	add-exp-log
343×	*-un-lft-identity
307×	add-cube-cbrt
282×	pow1
244×	unpow-prod-down
199×	associate-*r*
195×	add-cbrt-cube
152×	prod-exp
144×	cbrt-prod
130×	unswap-sqr
126×	associate-*l*
120×	add-log-exp
106×	swap-sqr
102×	associate-*r/
69×	pow-prod-down
68×	times-frac
62×	sqrt-pow1
53×	cbrt-unprod
50×	pow1/2
48×	pow-exp
46×	flip-- flip3-- sqr-pow
40×	sqrt-div
38×	sub-neg
33×	pow-to-exp
32×	frac-sub
31×	log-prod
28×	unpow-prod-up
24×	distribute-rgt-in distribute-lft-in
23×	*-commutative
21×	pow-prod-up
20×	exp-prod
19×	log-pow
18×	difference-of-squares rem-sqrt-square distribute-lft-out-- div-exp
16×	associate--l+
15×	pow-sqr
14×	cosh-def sinh-def
12×	pow1/3 exp-sum
10×	pow-unpow pow-sub
8×	cube-prod sum-log associate-/r*
7×	pow2
6×	log-div associate-/l* pow-pow associate-*l/ frac-times div-inv rem-log-exp
5×	pow-plus acos-asin
4×	exp-diff +-commutative flip-+ sqrt-unprod flip3-+
3×	cbrt-undiv rem-square-sqrt rem-exp-log
2×	associate-/l/ unpow3 cube-mult sqrt-pow2 associate-+r+ associate-/r/ clear-num frac-2neg
1×	div-sub