Details

rewrite1.2s (1.1%)

Algorithm

19×	rewrite-expression-head

Calls

60 calls:

240.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
149.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
71.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
65.0ms	(/ (- x lo) (- hi lo))
56.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))

Rules

388×	add-sqr-sqrt
291×	unpow-prod-down
222×	*-un-lft-identity
217×	sqrt-prod
192×	add-cube-cbrt
178×	cbrt-prod
132×	add-exp-log
117×	pow1
87×	add-cbrt-cube
80×	unswap-sqr
65×	associate-*r*
64×	swap-sqr associate-*l*
60×	add-log-exp
45×	sqr-pow
40×	unpow-prod-up prod-exp
33×	cube-prod
28×	times-frac
27×	pow1/3
26×	sub-neg pow-exp
24×	associate-*r/
21×	pow-prod-down pow-to-exp
19×	pow-unpow
16×	cbrt-unprod
15×	difference-of-squares distribute-lft-out--
14×	sqrt-pow1
13×	flip-- flip3--
12×	pow-sub
11×	pow1/2
10×	pow-pow
9×	pow-prod-up
8×	*-commutative pow-sqr rem-sqrt-square frac-sub associate-/r*
6×	distribute-rgt-in distribute-lft-in exp-sum sqrt-div associate-/l* log-prod
5×	exp-prod pow2 unpow2
4×	pow-plus associate--l+ div-exp
3×	cbrt-undiv cube-mult unpow3
2×	associate-/l/ cube-div rem-cube-cbrt associate-*l/ sqrt-pow2 associate-/r/ clear-num frac-2neg div-inv frac-times log-pow sinh-def
1×	cbrt-div div-sub acos-asin rem-exp-log pow3 rem-cbrt-cube