Details

rewrite821.0ms (0.8%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

77.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
60.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*))))
57.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*)))))
49.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
47.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

383×	add-sqr-sqrt
339×	add-exp-log
282×	pow1
271×	*-un-lft-identity
231×	add-cube-cbrt
178×	add-cbrt-cube
151×	prod-exp
145×	associate-*r*
122×	unpow-prod-down
108×	add-log-exp
106×	sqrt-prod
96×	associate-*r/
76×	pow-exp
70×	pow-prod-down sqrt-pow1
69×	associate-*l*
68×	times-frac
58×	pow1/2
49×	cbrt-unprod
46×	flip-- flip3-- unswap-sqr
39×	pow-to-exp
38×	log-pow
32×	sub-neg frac-sub
30×	swap-sqr
29×	pow-prod-up
28×	distribute-rgt-in distribute-lft-in
27×	exp-prod
24×	sqr-pow sqrt-div
22×	pow-unpow
20×	difference-of-squares distribute-lft-out--
19×	*-commutative pow-sqr
18×	pow-pow div-exp
17×	cbrt-prod
16×	unpow-prod-up associate--l+
14×	log-prod
12×	rem-sqrt-square
8×	cube-prod sum-log pow2 associate-/r*
7×	pow1/3
6×	sqrt-pow2 pow-plus unpow1/2 div-inv associate-/l*
5×	sqrt-unprod rem-log-exp
4×	+-commutative flip3-+ flip-+ exp-sum pow-sub
3×	cbrt-undiv rem-square-sqrt
2×	associate-/l/ sinh-def associate-+r+ unpow3 cube-mult acos-asin rem-exp-log associate-/r/ clear-num frac-2neg
1×	div-sub