Details

rewrite2.4s (1.0%)

Algorithm

25×	rewrite-expression-head

Calls

76 calls:

458.0ms	(* (- t (fma 2.0 (/ l (/ Om l)) (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) 2.0))) (- U U*)))) (* (* 2.0 n) U))
258.0ms	(* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) 2.0))) (- U U*))
117.0ms	(* (- t (fma 2.0 (/ l (/ Om l)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
102.0ms	(sqrt (* (- t (fma 2.0 (/ l (/ Om l)) (+ (* (pow (/ l Om) 2.0) (* n (- U U*))) (* n (* (pow (/ l Om) 2.0) (+ U* (- U*))))))) (* (* 2.0 n) U)))
98.0ms	(sqrt (* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U)))

Rules

402×	add-sqr-sqrt
351×	*-un-lft-identity
295×	add-cube-cbrt
256×	add-exp-log
213×	pow1
153×	add-cbrt-cube
144×	prod-diff
121×	unpow-prod-down
108×	prod-exp
86×	cbrt-prod
80×	add-log-exp
79×	associate-*r*
78×	distribute-rgt-in distribute-lft-in
77×	log1p-expm1-u
76×	associate-*l* expm1-log1p-u
73×	sqrt-prod
68×	unpow-prod-up
59×	pow-prod-down
57×	times-frac
54×	cbrt-unprod
52×	sqrt-pow1
41×	pow-unpow
31×	pow-pow
30×	log-prod
29×	log-pow
27×	unswap-sqr
26×	pow-exp
25×	difference-of-squares distribute-lft-out--
24×	exp-prod
23×	pow1/2
18×	pow-to-exp
17×	sqr-pow
16×	associate-*l/ sub-neg
14×	flip-- flip3--
13×	*-commutative
12×	associate-*r/
11×	div-exp
9×	pow1/3
8×	sqrt-div associate-/r*
6×	associate-/l* sqrt-pow2 swap-sqr rem-sqrt-square pow-prod-up rem-log-exp pow-sub
5×	distribute-lft-out div-inv
4×	distribute-rgt-out distribute-lft-neg-in
3×	cbrt-undiv expm1-udef rem-exp-log exp-sum distribute-rgt-neg-in
2×	associate-/l/ pow-plus pow-sqr acos-asin associate-/r/ neg-mul-1 clear-num sin-diff frac-2neg distribute-rgt1-in exp-to-pow sinh-def
1×	expm1-log1p div-sub flip-+ flip3-+ fma-udef pow2