Details

rewrite2.9s (1.1%)

Algorithm

29×	rewrite-expression-head

Calls

97 calls:

975.0ms	(* (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
229.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
128.0ms	(* (- t (fma 2.0 (/ l (/ Om l)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
106.0ms	(* (- t (fma 2.0 (/ l (/ Om l)) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- 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

506×	add-exp-log
384×	add-sqr-sqrt
358×	*-un-lft-identity
304×	add-cube-cbrt
290×	prod-exp
224×	pow1
191×	add-cbrt-cube
108×	prod-diff
103×	cbrt-prod
102×	add-log-exp
100×	expm1-log1p-u
99×	log1p-expm1-u
97×	unpow-prod-down
75×	pow-exp
64×	sqrt-prod associate-*r*
59×	cbrt-unprod
58×	pow-prod-down
56×	sqrt-pow1
48×	times-frac
44×	distribute-rgt-in distribute-lft-in unpow-prod-up
43×	pow-to-exp
42×	log-prod
41×	pow-unpow
37×	cube-prod
36×	associate-*l*
35×	div-exp
33×	exp-prod
24×	difference-of-squares distribute-lft-out--
22×	pow1/2 log-pow
21×	pow-pow
20×	pow1/3 sqr-pow
16×	associate-*l/
14×	flip-- flip3--
12×	cube-mult unpow3 unswap-sqr sub-neg
11×	*-commutative
10×	cube-div associate-*r/
8×	sinh-def swap-sqr sqrt-div pow-prod-up associate-/r*
7×	rem-cube-cbrt rem-log-exp
6×	pow-sqr associate-/l*
5×	cbrt-div fma-udef rem-cbrt-cube cosh-def
4×	expm1-udef sqrt-pow2 rem-sqrt-square div-inv pow-sub
3×	expm1-log1p cbrt-undiv rem-exp-log acos-asin flip-+ log1p-udef distribute-lft-out fma-def flip3-+ log1p-expm1
2×	associate-/l/ associate-/r/ clear-num frac-2neg
1×	pow-plus +-commutative rem-square-sqrt div-sub sum-log sqrt-unprod pow2 sin-diff