Details

rewrite1.4s (0.6%)

Algorithm

29×	rewrite-expression-head

Calls

93 calls:

85.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0)))))
81.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0))))
74.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0)))))
65.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0)))))
64.0ms	(sqrt (* (* (cbrt (* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0))))) (cbrt (* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0)))))) (cbrt (* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0)))))))

Rules

361×	add-sqr-sqrt
315×	pow1
310×	*-un-lft-identity
268×	add-cube-cbrt
190×	add-exp-log
153×	add-cbrt-cube
94×	log1p-expm1-u
93×	add-log-exp expm1-log1p-u
88×	unpow-prod-up
84×	unpow-prod-down
79×	associate-*r* cbrt-prod
77×	sqrt-prod
72×	pow-prod-down prod-diff
63×	times-frac
60×	sinh-def
59×	sqrt-pow1
51×	pow1/3
50×	pow-unpow
48×	prod-exp
40×	cbrt-unprod
38×	pow-prod-up
31×	associate-*l*
29×	pow-plus
28×	pow-pow
25×	pow1/2
23×	unswap-sqr
22×	frac-times associate-*l/
21×	distribute-lft-out-- difference-of-squares
18×	swap-sqr pow-sqr
15×	distribute-rgt-in distribute-lft-in log-prod
14×	log-pow cbrt-div associate-*r/
13×	pow2 exp-prod fma-udef *-commutative
12×	pow-exp sqr-pow
10×	pow-to-exp rem-sqrt-square
9×	pow-flip
8×	sub-neg associate-/l*
7×	div-exp pow-sub
6×	pow3 associate-/r* sqrt-pow2
5×	div-inv
4×	rem-log-exp acos-asin
3×	cbrt-undiv exp-sum
2×	expm1-udef div-sub associate-/l/ flip3-- flip-- frac-2neg 1-exp associate-/r/ rec-exp clear-num rem-cbrt-cube
1×	exp-diff expm1-log1p rem-exp-log log-div sin-diff cosh-def inv-pow