Details

rewrite2.8s (1.1%)

Algorithm

23×	rewrite-expression-head

Calls

73 calls:

327.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*))))
257.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
234.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
232.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
229.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

529×	add-sqr-sqrt
372×	*-un-lft-identity
336×	add-cube-cbrt
259×	add-exp-log
242×	unpow-prod-down
190×	sqrt-prod
186×	prod-diff
178×	pow1
150×	cbrt-prod
130×	add-cbrt-cube
124×	unpow-prod-up
116×	associate-*r*
115×	prod-exp
80×	associate-*r/
79×	associate-*l*
78×	add-log-exp
77×	unswap-sqr
75×	times-frac
74×	log1p-expm1-u
73×	expm1-log1p-u
70×	swap-sqr
63×	distribute-rgt-in distribute-lft-in
48×	pow-prod-down
45×	pow-exp
44×	flip-- flip3--
43×	sqr-pow
39×	log-prod
35×	associate--l+
34×	sub-neg cbrt-unprod
32×	frac-sub pow-to-exp
28×	pow-unpow
26×	sqrt-pow1
24×	sqrt-div
22×	associate--r+
21×	log-pow
19×	pow1/3
16×	difference-of-squares distribute-lft-out--
15×	div-exp
13×	pow1/2 pow-pow
11×	*-commutative
10×	exp-prod pow-sub
8×	associate-/r*
7×	div-inv rem-log-exp
6×	associate-/l* rem-sqrt-square
5×	pow-prod-up
4×	pow-sqr
3×	cbrt-undiv exp-sum fma-neg diff-log pow2 cbrt-div
2×	associate-/l/ pow-plus expm1-udef associate-*l/ sqrt-pow2 acos-asin associate-/r/ distribute-lft-out clear-num frac-2neg frac-times
1×	expm1-log1p div-sub e-exp-1 rem-exp-log associate--l- sin-diff