Details

rewrite2.1s (1.9%)

Algorithm

33×	rewrite-expression-head

Calls

107 calls:

249.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*)))))
175.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*))))))
146.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
144.0ms	(* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
125.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

399×	add-sqr-sqrt
340×	add-exp-log
301×	*-un-lft-identity
287×	pow1
267×	add-cube-cbrt
204×	add-cbrt-cube
165×	associate-*r*
133×	prod-exp
124×	associate-*r/
122×	unpow-prod-down
117×	add-log-exp
90×	sqrt-prod
70×	pow-prod-down
59×	associate-*l*
58×	times-frac
53×	cbrt-unprod
51×	pow-exp
50×	flip-- distribute-rgt-in flip3-- distribute-lft-in
46×	sqrt-pow1
44×	sub-neg unswap-sqr
43×	pow-unpow
42×	sqrt-div log-prod
37×	unpow-prod-up
36×	frac-sub
34×	pow-to-exp
32×	pow1/2
31×	sqr-pow
30×	cbrt-prod
28×	sinh-def
24×	swap-sqr associate--l+ log-pow
22×	*-commutative
21×	exp-prod
20×	pow-pow cube-prod
17×	difference-of-squares distribute-lft-out-- div-exp
15×	pow-prod-up
9×	exp-sum pow-sqr
8×	cbrt-div rem-log-exp associate-/r*
6×	associate-/l* cube-mult unpow3 sum-log
5×	pow1/3 div-inv
4×	associate-*l/ frac-times
3×	cbrt-undiv rem-square-sqrt pow-plus e-exp-1 rem-exp-log rem-cube-cbrt sqrt-unprod pow2
2×	associate-/l/ +-commutative sqrt-pow2 acos-asin associate-+r+ flip-+ flip3-+ rem-sqrt-square associate-/r/ clear-num frac-2neg pow-sub
1×	div-sub rem-cbrt-cube cosh-def