Details

rewrite520.0ms

Algorithm

17×	rewrite-expression-head

Calls

56 calls:

Slowest

57.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
53.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
46.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
36.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
32.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

Rules

173×	associate-*r/
118×	pow1
116×	add-sqr-sqrt
115×	add-cube-cbrt *-un-lft-identity
110×	cbrt-prod
91×	add-exp-log
89×	add-cbrt-cube
72×	flip3-- flip--
69×	frac-times
60×	sinh-def frac-sub
58×	associate-*r*
56×	add-log-exp expm1-log1p-u insert-posit16 log1p-expm1-u
55×	associate-*l/
37×	distribute-lft-in distribute-rgt-in
36×	sqrt-div
28×	associate-*l*
24×	sub-neg
19×	pow-prod-down
18×	cbrt-unprod prod-exp prod-diff
16×	*-commutative
14×	pow1/3 pow-prod-up cbrt-div
13×	pow-plus
12×	associate--l+
11×	log-pow
10×	sqrt-prod
9×	exp-prod times-frac
7×	pow2
6×	log-prod
5×	unpow-prod-down
4×	pow1/2 associate-/l* pow3 div-inv
3×	associate-/r* acos-asin
2×	rem-log-exp frac-2neg associate-/r/ rem-cbrt-cube clear-num associate-/l/ cosh-def
1×	div-exp unpow2 div-sub cbrt-undiv log1p-udef rem-sqrt-square