Details

rewrite1.9s (0.7%)

Algorithm

23×	rewrite-expression-head

Calls

64 calls:

237.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
189.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
175.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* (/ l (cbrt Om)) (/ l (cbrt Om))) (cbrt Om)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
164.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* (/ l (cbrt Om)) (/ l (cbrt Om))) (cbrt Om)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
160.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* (/ l (cbrt Om)) (/ l (cbrt Om))) (cbrt Om)))) (* (/ n (* (/ Om l) (/ Om l))) (- U U*))))

Rules

230×	add-sqr-sqrt
219×	pow1
214×	add-exp-log
205×	*-un-lft-identity
188×	add-cbrt-cube
175×	add-cube-cbrt
102×	associate-*r/
96×	prod-diff
76×	prod-exp
73×	distribute-lft-in distribute-rgt-in
65×	log1p-expm1-u
64×	add-log-exp expm1-log1p-u insert-posit16 associate-*r*
61×	cbrt-unprod
60×	pow-prod-down
49×	flip3-- flip--
45×	times-frac
36×	frac-sub
34×	associate-*l*
32×	associate--l+
30×	sqrt-div
24×	div-exp
21×	log-prod cbrt-undiv
20×	sub-neg
19×	pow-prod-up log-pow pow-plus
16×	exp-prod
15×	difference-of-squares sqrt-pow1 unpow-prod-down distribute-lft-out-- *-commutative
13×	unswap-sqr sqrt-prod
12×	frac-times
9×	associate-/l* associate-/r*
8×	associate-/r/
7×	pow2 associate-*l/ pow-sqr
6×	rem-log-exp pow1/2 pow-exp
5×	div-inv
4×	flip3-+ pow3 flip-+ frac-add
3×	exp-sum frac-2neg rem-sqrt-square fma-udef clear-num swap-sqr pow-to-exp
2×	expm1-udef sinh-def unpow2 associate-/l/ sqr-pow acos-asin
1×	div-sub expm1-log1p pow1/3 rem-exp-log rem-cbrt-cube distribute-lft-out sin-diff cbrt-prod