Details

rewrite1.8s (0.8%)

Algorithm

27×	rewrite-expression-head

Calls

89 calls:

223.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
110.0ms	(sqrt (* (- t (fma 2.0 (/ l (/ Om l)) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (* (* 2.0 n) U)))
103.0ms	(* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
97.0ms	(sqrt (* (- t (fma 2.0 (/ l (/ Om l)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U)))
95.0ms	(* (- t (fma 2.0 (/ l (/ Om l)) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (* (* 2.0 n) U))

Rules

393×	add-sqr-sqrt
343×	*-un-lft-identity
291×	add-cube-cbrt
280×	add-exp-log
208×	pow1
159×	add-cbrt-cube
126×	prod-diff
117×	prod-exp
108×	unpow-prod-down
93×	log1p-expm1-u associate-*r*
89×	add-log-exp expm1-log1p-u
88×	unpow-prod-up
68×	times-frac
64×	log-pow
58×	sqrt-prod
54×	exp-prod
53×	pow-prod-down
43×	associate-*l*
42×	cbrt-unprod
36×	pow-exp log-prod
33×	distribute-rgt-in distribute-lft-in
32×	sqrt-pow1
31×	cbrt-prod
30×	pow-unpow
26×	difference-of-squares distribute-lft-out--
21×	pow-to-exp
20×	unswap-sqr pow1/2
18×	associate-*l/ div-exp pow-pow
16×	sqr-pow
14×	flip-- flip3-- sub-neg
12×	*-commutative
11×	expm1-udef pow1/3
10×	rem-sqrt-square
8×	sqrt-div rem-log-exp associate-/r*
6×	expm1-log1p associate-/l* sqrt-pow2 swap-sqr associate-*r/ sin-sum div-inv pow-sub
4×	acos-asin
3×	cbrt-undiv exp-diff log-div
2×	associate-/l/ pow-sqr fma-udef associate-/r/ pow-prod-up clear-num frac-2neg sin-diff
1×	pow-plus div-sub log1p-udef log1p-expm1 pow2