Details

rewrite1.3s (0.6%)

Algorithm

27×	rewrite-expression-head

Calls

87 calls:

104.0ms	(sqrt (* (* (* 2.0 n) U) (* (* (cbrt (fma (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U* U)) (fma l (* (/ l Om) (- 2.0)) t))) (cbrt (fma (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U* U)) (fma l (* (/ l Om) (- 2.0)) t)))) (cbrt (fma (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U* U)) (fma l (* (/ l Om) (- 2.0)) t))))))
83.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* n (pow (/ l Om) 2.0)) (fma (* (/ l Om) l) (- 2.0) t)))
83.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (fma (* (/ l Om) l) (- 2.0) t)))
76.0ms	(* (* (cbrt n) (cbrt n)) (* (pow (/ l Om) (/ 2.0 2)) (cbrt n)))
73.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (fma (* (/ l Om) l) (- 2.0) t))))

Rules

298×	add-sqr-sqrt
262×	*-un-lft-identity
230×	add-cube-cbrt
226×	pow1
180×	add-exp-log
126×	add-cbrt-cube
88×	unpow-prod-down log1p-expm1-u
87×	add-log-exp expm1-log1p-u
82×	sqrt-prod
81×	log-prod
68×	pow-prod-down
66×	unpow-prod-up
54×	prod-diff
53×	cbrt-prod
50×	prod-exp associate-*r*
45×	times-frac
44×	sqrt-pow1
29×	cbrt-unprod
27×	pow-unpow
25×	log-pow
24×	exp-prod
22×	pow1/2
18×	pow-exp
17×	pow1/3 pow-pow
16×	difference-of-squares associate-*l* distribute-lft-out--
13×	rem-log-exp
12×	exp-sum unswap-sqr rem-sqrt-square sqr-pow pow-to-exp
9×	fma-udef
7×	*-commutative
6×	sub-neg swap-sqr pow-sub
5×	div-exp associate-/r* acos-asin associate-/l*
4×	sqrt-pow2
3×	distribute-lft-in rem-exp-log distribute-rgt-in div-inv log-div
2×	expm1-udef pow-prod-up associate-/l/ pow-sqr flip3-- flip-- associate-/r/
1×	exp-diff div-sub expm1-log1p cbrt-undiv frac-2neg pow2 pow-plus clear-num sin-diff