Details

rewrite1.8s (1.7%)

Algorithm

27×	rewrite-expression-head

Calls

86 calls:

180.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*))))
161.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*)))))
138.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
124.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
123.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

343×	add-sqr-sqrt
301×	add-exp-log
263×	*-un-lft-identity
239×	pow1
225×	add-cube-cbrt
162×	add-cbrt-cube
141×	cbrt-prod
130×	prod-exp
107×	associate-*r*
106×	unpow-prod-down
100×	sqrt-prod
96×	associate-*r/
86×	add-log-exp
68×	times-frac
62×	pow-prod-down
52×	pow-exp
49×	associate-*l*
46×	flip-- flip3-- cbrt-unprod
45×	sqrt-pow1
36×	log-prod
32×	frac-sub unswap-sqr
30×	cube-prod
29×	sub-neg
28×	pow-to-exp
27×	pow1/2
26×	distribute-rgt-in distribute-lft-in
25×	pow-unpow
24×	sqrt-div
22×	log-pow
20×	pow1/3
19×	difference-of-squares swap-sqr distribute-lft-out-- sqr-pow
18×	div-exp
17×	pow-prod-up
16×	associate--l+
15×	pow-pow
14×	*-commutative
13×	exp-prod
11×	rem-sqrt-square
10×	unpow-prod-up
9×	pow-sqr
8×	pow-plus associate-/r*
7×	cube-mult unpow3 rem-log-exp
6×	associate-/l* div-inv
5×	pow2
3×	cbrt-undiv rem-cube-cbrt sqrt-pow2 pow-sub exp-sum
2×	associate-/l/ sinh-def acos-asin sqrt-unprod associate-/r/ clear-num frac-2neg unpow1/2
1×	rem-square-sqrt div-sub rem-exp-log pow3 rem-cbrt-cube