Details

rewrite1.3s (0.5%)

Algorithm

24×	rewrite-expression-head

Calls

73 calls:

201.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
121.0ms	(sqrt (* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) 2.0)))
100.0ms	(sqrt (* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))) 2.0)))
94.0ms	(* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))) 2.0))
86.0ms	(* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))) 2.0))

Rules

303×	add-sqr-sqrt
239×	*-un-lft-identity
236×	add-exp-log
209×	add-cube-cbrt
195×	pow1
128×	add-cbrt-cube
102×	prod-exp
81×	associate-*r*
75×	add-log-exp
74×	log1p-expm1-u
73×	expm1-log1p-u unpow-prod-down
65×	times-frac
64×	sqrt-prod
54×	prod-diff
50×	pow-prod-down
49×	associate-*l*
40×	sqrt-pow1
34×	associate-*r/
33×	cbrt-unprod distribute-lft-in distribute-rgt-in
32×	pow-exp
28×	pow1/2
27×	log-prod
25×	log-pow exp-prod
24×	unswap-sqr
17×	pow-to-exp
16×	swap-sqr
15×	div-exp distribute-lft-out-- difference-of-squares
14×	associate-*l/
12×	flip3-- flip--
11×	sqr-pow *-commutative
10×	pow-prod-up pow-unpow
8×	sqrt-div rem-sqrt-square
7×	rem-log-exp
6×	sub-neg pow-sqr
5×	associate-/l* associate-/r* div-inv
3×	expm1-udef rem-exp-log pow1/3 unpow-prod-up exp-sum cbrt-prod pow-pow
2×	sinh-def associate-/l/ rem-square-sqrt pow2 associate-/r/ pow-plus acos-asin sqrt-unprod sin-diff
1×	div-sub expm1-log1p cbrt-undiv frac-2neg clear-num e-exp-1