Details

rewrite1.6s (0.9%)

Algorithm

23×	rewrite-expression-head

Calls

69 calls:

197.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (cbrt n) (cbrt n)) (* (cbrt n) (* (pow (/ l Om) 2.0) (- U U*))))))
153.0ms	(* (* (cbrt n) (cbrt n)) (* (cbrt n) (* (pow (/ l Om) 2.0) (- U U*))))
139.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
126.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
112.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

249×	add-sqr-sqrt
238×	add-exp-log
214×	pow1
195×	*-un-lft-identity
159×	add-cube-cbrt
148×	add-cbrt-cube
124×	associate-*r/
102×	prod-exp
73×	sqrt-prod
69×	add-log-exp
65×	pow-prod-down
63×	associate-*r* unpow-prod-down
59×	associate-*l*
58×	distribute-rgt-in distribute-lft-in times-frac
54×	cbrt-unprod
48×	flip3-- flip--
43×	sqrt-pow1
40×	sub-neg
32×	frac-sub sqrt-div
31×	pow1/2
27×	log-prod
20×	pow-exp unswap-sqr
18×	distribute-lft-out-- difference-of-squares
16×	swap-sqr associate--l+
15×	log-pow
14×	sinh-def
13×	*-commutative
12×	pow-to-exp pow-unpow
11×	div-exp
10×	pow-prod-up sqr-pow
8×	unpow-prod-up associate-/r* pow-pow
7×	exp-prod
6×	associate-/l* rem-sqrt-square pow-sqr
5×	rem-log-exp div-inv
4×	cbrt-prod
3×	cbrt-undiv exp-sum associate-*l/
2×	associate-/r/ frac-times associate-/l/ pow1/3 rem-square-sqrt frac-2neg pow2 pow-plus pow-sub acos-asin sqrt-unprod clear-num sqrt-pow2
1×	div-sub rem-exp-log pow3 cbrt-div sin-mult rem-cbrt-cube