Details

rewrite1.9s (0.6%)

Algorithm

27×	rewrite-expression-head

Calls

84 calls:

188.0ms	(sqrt (* (* (cbrt U) (cbrt U)) (* (cbrt U) (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))) 2.0))))
164.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
118.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
111.0ms	(* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) 2.0))
106.0ms	(sqrt (* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) 2.0)))

Rules

333×	add-sqr-sqrt
319×	add-exp-log
299×	pow1
275×	*-un-lft-identity
233×	add-cube-cbrt
163×	prod-exp
162×	add-cbrt-cube
155×	exp-prod
131×	log-prod
113×	exp-sum
109×	pow-prod-down
89×	log-pow
88×	sqrt-prod
85×	add-log-exp log1p-expm1-u
84×	expm1-log1p-u
72×	associate-*r*
59×	sqrt-pow1
54×	associate-*r/ prod-diff
49×	cbrt-unprod
45×	times-frac
42×	associate-*l* pow-exp
36×	pow1/2
33×	distribute-lft-in distribute-rgt-in
30×	unpow-prod-down
26×	unswap-sqr
24×	sqrt-div associate-*l/
22×	div-exp swap-sqr
21×	pow-to-exp
20×	sinh-def
18×	pow-prod-up pow-sqr
16×	flip3-- flip--
15×	difference-of-squares distribute-lft-out--
14×	exp-diff log-div
12×	*-commutative
10×	rem-sqrt-square
8×	rem-exp-log
6×	rem-log-exp sub-neg
5×	associate-/r* associate-/l*
4×	sqr-pow
3×	expm1-udef div-inv
2×	associate-/r/ frac-times associate-/l/ pow2 pow-plus acos-asin sin-diff
1×	div-sub expm1-log1p cbrt-undiv frac-2neg clear-num