Details

rewrite2.0s (1.5%)

Algorithm

33×	rewrite-expression-head

Calls

109 calls:

201.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*))))
174.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*)))))
157.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
137.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
135.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

476×	add-sqr-sqrt
400×	*-un-lft-identity
319×	add-exp-log
306×	add-cube-cbrt
278×	pow1
187×	add-cbrt-cube
166×	sqrt-prod
147×	unpow-prod-down
120×	prod-exp
116×	times-frac
111×	add-log-exp
107×	associate-*r*
102×	log-prod
100×	associate-*r/
79×	cbrt-prod
72×	sqrt-pow1
61×	pow-prod-down
57×	associate-*l*
55×	flip-- flip3--
46×	distribute-lft-out-- pow1/2
45×	cbrt-unprod
40×	difference-of-squares pow-exp
35×	sub-neg
34×	pow-unpow
33×	frac-sub exp-sum
32×	sqrt-div unswap-sqr log-pow
28×	swap-sqr sinh-def
27×	pow-pow
25×	pow1/3
24×	distribute-rgt-in pow-to-exp distribute-lft-in exp-prod
23×	unpow-prod-up
22×	cbrt-div
20×	div-exp
19×	sqr-pow
18×	associate-/r*
16×	associate--l+
15×	*-commutative
14×	rem-sqrt-square pow-prod-up rem-log-exp
12×	associate-/l*
10×	associate-/r/ div-inv pow-sqr pow-sub
6×	sqrt-pow2
5×	cbrt-undiv
4×	log-div associate-*l/ pow-plus frac-times clear-num frac-2neg pow2
3×	rem-exp-log distribute-rgt-out-- cosh-def
2×	associate-/l/ exp-diff rem-square-sqrt acos-asin sqrt-unprod
1×	div-sub e-exp-1 sub-div diff-log