Details

rewrite1.1s

Algorithm

15×	rewrite-expression-head

Calls

44 calls:

Slowest

169.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
143.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
101.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
82.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))
79.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (/ (* (/ n (/ Om l)) (- U U*)) (/ Om l))))

Rules

2230×	times-frac
1196×	add-sqr-sqrt
1149×	*-un-lft-identity
1115×	add-cube-cbrt
630×	associate-*l*
222×	prod-diff
175×	add-exp-log
147×	add-cbrt-cube
136×	pow1
135×	distribute-lft-in distribute-rgt-in
126×	div-inv
88×	associate-*r/
57×	prod-exp
52×	associate-*r* pow-prod-down flip3-- flip--
45×	add-log-exp
44×	expm1-log1p-u insert-posit16 log1p-expm1-u
42×	cbrt-unprod
40×	frac-sub associate--l+
34×	associate-/r*
30×	div-exp
28×	sqrt-div
27×	cbrt-undiv
25×	associate-/r/
24×	sub-neg
21×	log-prod
18×	unpow-prod-down
17×	difference-of-squares distribute-lft-out--
16×	sqrt-pow1
15×	unswap-sqr
12×	frac-times associate-/l* log-pow
9×	*-commutative
8×	exp-prod pow-exp
6×	associate-*l/
5×	rem-log-exp
4×	pow1/2 pow-unpow frac-2neg clear-num pow-to-exp sqrt-prod
3×	unpow-prod-up exp-sum sqr-pow cosh-def
2×	associate-/l/ unpow2 acos-asin
1×	exp-to-pow div-sub rem-exp-log e-exp-1 pow-pow