Details

rewrite647.0ms (1.3%)

Algorithm

15×	rewrite-expression-head

Calls

39 calls:

94.0ms	(sqrt (* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U)))
88.0ms	(* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
70.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
60.0ms	(/ (- x lo) (- hi lo))
33.0ms	(fmod (cosh c) (log1p a))

Rules

183×	add-sqr-sqrt
157×	*-un-lft-identity
121×	add-cube-cbrt
99×	pow1
78×	add-exp-log
64×	add-cbrt-cube
54×	prod-diff
49×	sqrt-prod
46×	log1p-expm1-u
44×	unpow-prod-up
40×	expm1-log1p-u
39×	add-log-exp
28×	times-frac
24×	sqrt-pow1
23×	pow-unpow
21×	unpow-prod-down pow1/2
19×	pow-prod-down
18×	associate-*r* difference-of-squares distribute-lft-out-- prod-exp associate-*l*
16×	swap-sqr
12×	cbrt-unprod
11×	distribute-rgt-in distribute-lft-in
10×	pow-prod-up
9×	pow-pow
8×	unswap-sqr expm1-udef associate-/r*
7×	expm1-log1p pow-exp
6×	associate-/l* sub-neg pow-to-exp pow-sqr
5×	flip-- flip3-- sqr-pow
4×	*-commutative associate-*l/ div-exp pow-sub
3×	cbrt-undiv log1p-udef log1p-expm1
2×	associate-/l/ rem-square-sqrt sqrt-pow2 pow-plus rem-sqrt-square sqrt-unprod associate-/r/ sqrt-div clear-num associate-*r/ frac-2neg div-inv pow2 sinh-def
1×	div-sub acos-asin sin-diff