Details

rewrite1.9s (1.8%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

206.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*))))
181.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*)))))
179.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*)))))
158.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
141.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

331×	add-sqr-sqrt
279×	add-exp-log
261×	*-un-lft-identity
223×	pow1
219×	add-cube-cbrt
161×	add-cbrt-cube
112×	prod-exp
108×	unpow-prod-down
102×	associate-*r/
101×	associate-*r*
98×	add-log-exp
94×	sqrt-prod
78×	times-frac
52×	pow-prod-down
48×	sqrt-pow1
47×	flip-- flip3--
41×	associate-*l*
40×	cbrt-unprod
36×	pow-exp
32×	frac-sub pow1/2
28×	sub-neg
27×	log-prod
24×	pow-unpow sqrt-div unswap-sqr
22×	distribute-rgt-in rem-sqrt-square distribute-lft-in
21×	difference-of-squares distribute-lft-out-- log-pow
20×	pow-to-exp
18×	div-exp
17×	pow-pow
16×	exp-prod associate--l+ cbrt-prod
15×	sqr-pow
12×	*-commutative
11×	unpow-prod-up
8×	associate-/r*
7×	div-inv rem-log-exp
6×	associate-/l* pow1/3 swap-sqr
4×	sqrt-pow2 acos-asin pow-sub
3×	cbrt-undiv exp-sum cosh-def
2×	diff-log associate-/l/ sinh-def pow-sqr associate-/r/ pow-prod-up clear-num frac-2neg
1×	exp-diff pow-plus div-sub e-exp-1 rem-exp-log log-div pow2