Details

rewrite3.0s (1.1%)

Algorithm

29×	rewrite-expression-head

Calls

97 calls:

974.0ms	(* (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
233.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
110.0ms	(* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
105.0ms	(sqrt (* (- t (fma 2.0 (* l (/ l Om)) (* (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (* (* 2.0 n) U)))
105.0ms	(* (- t (fma 2.0 (* l (/ l Om)) (* (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (* (* 2.0 n) U))

Rules

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