Details

rewrite841.0ms (0.7%)

Algorithm

27×	rewrite-expression-head

Calls

84 calls:

83.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
62.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*))))
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*)))))
52.0ms	(sqrt (* (* (* 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*)))))
50.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

414×	add-sqr-sqrt
374×	*-un-lft-identity
304×	add-cube-cbrt
276×	add-exp-log
195×	pow1
174×	prod-diff
154×	add-cbrt-cube
117×	prod-exp
98×	associate-*r/
96×	unpow-prod-down
95×	distribute-rgt-in distribute-lft-in
91×	associate-*r*
85×	log1p-expm1-u
84×	add-log-exp expm1-log1p-u
83×	times-frac
79×	cbrt-prod
66×	unpow-prod-up
58×	flip-- flip3--
53×	pow-prod-down
46×	sqrt-prod
45×	log-prod
42×	cbrt-unprod
41×	associate-*l*
40×	associate--l+
36×	pow-exp
35×	pow-unpow
34×	distribute-lft-out--
32×	difference-of-squares frac-sub
30×	sub-neg
28×	sqrt-pow1
24×	sqrt-div cbrt-div
21×	pow-to-exp
20×	unswap-sqr log-pow
18×	div-exp
17×	pow1/3
16×	exp-prod
14×	sqr-pow pow1/2
13×	pow-pow
12×	*-commutative
10×	swap-sqr
9×	rem-log-exp
8×	associate-/r*
7×	div-inv
6×	associate-/l* rem-sqrt-square
5×	pow-sub
4×	frac-times
3×	cbrt-undiv expm1-udef sqrt-pow2 exp-sum
2×	expm1-log1p associate-/l/ pow-sqr associate-*l/ div-sub acos-asin associate-/r/ pow-prod-up clear-num frac-2neg
1×	pow-plus rem-exp-log log-div sin-diff pow2