Details

rewrite860.0ms (0.8%)

Algorithm

19×	rewrite-expression-head

Calls

54 calls:

195.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
160.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
90.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
59.0ms	(/ (- x lo) (- hi lo))
53.0ms	(* (* 1/2 (cos 1)) (* (- b a) (log (atan2 b b))))

Rules

156×	add-sqr-sqrt
149×	*-un-lft-identity
115×	add-cube-cbrt
110×	pow1 add-exp-log
96×	add-cbrt-cube
66×	cbrt-prod
54×	add-log-exp
39×	log-prod
29×	distribute-rgt-in prod-exp distribute-lft-in
28×	times-frac
26×	pow-prod-down associate-*r/
25×	sqrt-prod
24×	associate-*r*
23×	cbrt-unprod
17×	difference-of-squares distribute-lft-out--
16×	flip-- flip3--
15×	unpow-prod-down
13×	pow-unpow
12×	associate-*l*
11×	sqrt-pow1
10×	pow1/3 sub-neg
8×	frac-sub pow1/2 log-pow associate-/r*
7×	pow-pow
6×	*-commutative associate-/l* sqrt-div
5×	pow-exp
4×	associate-*l/ unpow-prod-up associate--l+ div-exp pow-to-exp
3×	cbrt-undiv rem-sqrt-square sqr-pow
2×	associate-/l/ unswap-sqr sqrt-pow2 associate-/r/ clear-num frac-2neg div-inv rem-log-exp pow-sub sinh-def
1×	div-sub acos-asin