Details

rewrite1.9s (0.7%)

Algorithm

29×	rewrite-expression-head

Calls

93 calls:

149.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
146.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (fma (- U*) 1 (* U* 1)))
129.0ms	(* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) 2.0))
102.0ms	(sqrt (* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) 2.0)))
91.0ms	(sqrt (* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (+ (* (pow (/ l Om) (/ 2.0 2)) (* (* (pow (/ l Om) (/ 2.0 2)) n) (- U U*))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (fma (- U*) 1 (* U* 1))))))) 2.0)))

Rules

436×	add-sqr-sqrt
404×	add-exp-log
389×	*-un-lft-identity
331×	add-cube-cbrt
312×	pow1
195×	prod-exp
185×	add-cbrt-cube
144×	prod-diff
98×	associate-*r*
94×	log1p-expm1-u
93×	add-log-exp expm1-log1p-u
85×	cbrt-prod
84×	unpow-prod-down
81×	times-frac
75×	pow-prod-down
68×	pow-unpow
66×	unpow-prod-up
65×	sqrt-prod
60×	sinh-def
59×	cbrt-unprod
56×	distribute-rgt-in pow-exp associate-*r/ distribute-lft-in
48×	pow1/3
44×	sqrt-pow1
42×	associate-*l*
38×	associate-*l/
33×	div-exp
32×	pow-to-exp
31×	pow-prod-up
29×	distribute-lft-out-- difference-of-squares
28×	pow-pow
24×	pow-plus
23×	unswap-sqr
22×	frac-times
21×	pow1/2
18×	pow-flip swap-sqr *-commutative
17×	pow-sqr
16×	sub-neg
15×	flip3-- flip-- log-prod
14×	log-pow cbrt-div
13×	exp-prod
12×	pow2 sqr-pow
11×	associate-/l*
10×	sqrt-div
8×	pow-sub
7×	associate-/r* div-inv
6×	rem-sqrt-square sqrt-pow2
5×	cbrt-undiv pow3 fma-udef
4×	1-exp rec-exp rem-log-exp acos-asin
3×	div-sub exp-sum frac-2neg clear-num
2×	expm1-udef associate-/l/ associate-/r/ rem-cbrt-cube inv-pow
1×	exp-diff expm1-log1p rem-exp-log log-div sin-diff cosh-def