Details

rewrite2.0s (0.7%)

Algorithm

29×	rewrite-expression-head

Calls

93 calls:

164.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (fma (- U*) 1 (* U* 1)))
161.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
131.0ms	(* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) 2.0))
119.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)))
113.0ms	(* 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
393×	add-exp-log
385×	*-un-lft-identity
333×	add-cube-cbrt
308×	pow1
192×	prod-exp
182×	add-cbrt-cube
162×	prod-diff
98×	associate-*r*
94×	log1p-expm1-u
93×	add-log-exp expm1-log1p-u
88×	unpow-prod-up
84×	unpow-prod-down
77×	sqrt-prod
76×	cbrt-prod
73×	pow-prod-down
67×	distribute-rgt-in distribute-lft-in
63×	times-frac
60×	sinh-def
58×	cbrt-unprod
56×	associate-*r/ pow-exp
50×	pow-unpow
48×	sqrt-pow1
42×	associate-*l*
39×	pow1/3
38×	associate-*l/
32×	pow-to-exp
29×	div-exp pow-prod-up
28×	pow-pow
26×	distribute-lft-out-- difference-of-squares
25×	pow1/2
23×	unswap-sqr pow-plus
22×	frac-times
18×	sub-neg swap-sqr *-commutative
15×	log-prod flip3-- flip-- pow-sqr
14×	log-pow cbrt-div
13×	exp-prod
12×	sqr-pow
11×	pow2
10×	sqrt-div rem-sqrt-square
9×	pow-flip
8×	associate-/l*
7×	pow-sub
6×	associate-/r* sqrt-pow2
5×	pow3 fma-udef div-inv
4×	rem-log-exp acos-asin
3×	cbrt-undiv exp-sum
2×	expm1-udef div-sub associate-/l/ frac-2neg 1-exp associate-/r/ rec-exp clear-num rem-cbrt-cube
1×	exp-diff expm1-log1p rem-exp-log cosh-def sin-diff inv-pow log-div