Details

rewrite742.0ms (0.7%)

Algorithm

25×	rewrite-expression-head

Calls

82 calls:

56.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
52.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
51.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
50.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
44.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

363×	add-sqr-sqrt
320×	*-un-lft-identity
282×	add-cube-cbrt
227×	pow1
207×	add-exp-log
165×	prod-diff
148×	add-cbrt-cube
96×	associate-*r/
84×	sqrt-prod add-log-exp
83×	log1p-expm1-u
82×	expm1-log1p-u
78×	unpow-prod-down
75×	times-frac
73×	prod-exp
69×	pow-prod-down
68×	distribute-rgt-in distribute-lft-in
54×	associate-*r*
51×	flip-- flip3--
49×	cbrt-prod
47×	pow-exp
44×	unpow-prod-up
42×	associate--l+ sqrt-pow1
40×	cbrt-unprod
38×	pow-unpow
36×	frac-sub
32×	sqrt-div
27×	sub-neg pow1/2
24×	pow-to-exp
23×	pow-pow
22×	associate-*l*
20×	difference-of-squares
19×	distribute-lft-out--
14×	swap-sqr
13×	fma-neg
12×	rem-sqrt-square unswap-sqr log-pow
11×	sqr-pow
10×	*-commutative pow1/3
9×	exp-prod pow-prod-up log-prod
8×	associate-/r*
7×	expm1-udef pow-sqr div-inv
6×	associate-/l* div-exp
4×	sin-diff unpow1/2 sqrt-pow2 fma-udef pow2 pow-sub
3×	expm1-log1p cbrt-undiv sqrt-unprod rem-log-exp
2×	associate-/l/ pow-plus acos-asin asin-acos associate-/r/ clear-num frac-2neg
1×	rem-square-sqrt div-sub flip-+ flip3-+ associate--r- distribute-lft-out diff-log cosh-def