Details

rewrite746.0ms (0.7%)

Algorithm

27×	rewrite-expression-head

Calls

84 calls:

81.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
61.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*))))
57.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*)))))
46.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
46.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

310×	add-sqr-sqrt
287×	add-exp-log
270×	*-un-lft-identity
206×	add-cube-cbrt
203×	pow1
157×	add-cbrt-cube
120×	prod-exp
98×	associate-*r/
96×	unpow-prod-down
91×	associate-*r*
86×	times-frac
84×	add-log-exp
73×	cbrt-prod
55×	flip-- flip3-- pow-prod-down
46×	sqrt-prod
43×	cbrt-unprod
41×	associate-*l*
36×	log-prod pow-exp
35×	pow-unpow
32×	frac-sub
31×	distribute-lft-out--
30×	sub-neg
29×	difference-of-squares
28×	sqrt-pow1
26×	distribute-rgt-in distribute-lft-in
24×	sqrt-div
23×	pow1/3
22×	div-exp
21×	pow-to-exp
20×	unswap-sqr log-pow
18×	cbrt-div
16×	exp-prod associate--l+
14×	sqr-pow pow1/2
13×	pow-pow
12×	*-commutative unpow-prod-up
10×	swap-sqr
9×	pow-flip associate-/l* rem-log-exp associate-/r*
8×	div-inv
6×	rem-sqrt-square
5×	cbrt-undiv pow-sub
4×	pow-sqr pow-prod-up frac-times
3×	sqrt-pow2 exp-sum clear-num frac-2neg
2×	associate-/l/ 1-exp pow-plus associate-*l/ div-sub rec-exp acos-asin associate-/r/ pow2
1×	rem-exp-log log-div inv-pow