Details

rewrite1.1s

Algorithm

18×	rewrite-expression-head

Calls

48 calls:

Slowest

144.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
130.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
114.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
105.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
85.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))

Rules

283×	add-sqr-sqrt
238×	*-un-lft-identity
208×	add-cube-cbrt
188×	add-exp-log
171×	pow1
157×	associate-*r/
154×	add-cbrt-cube
126×	prod-diff
107×	distribute-lft-in distribute-rgt-in
89×	associate-*r*
77×	prod-exp times-frac
72×	flip3-- flip--
65×	pow-prod-down
60×	frac-sub
59×	cbrt-unprod
49×	frac-times
48×	add-log-exp expm1-log1p-u insert-posit16 log1p-expm1-u
43×	associate-*l*
36×	sqrt-div
34×	associate-*l/
33×	sqrt-prod
31×	unpow-prod-down
30×	associate--l+
28×	sqrt-pow1
23×	log-pow
22×	sub-neg
21×	log-prod
20×	unswap-sqr
19×	exp-prod
15×	distribute-lft-out-- difference-of-squares
14×	div-exp *-commutative
13×	pow1/2 pow-unpow
11×	cbrt-undiv
10×	pow-exp
8×	associate-/r* swap-sqr
7×	div-inv
6×	associate-/l*
5×	rem-log-exp pow-prod-up sqr-pow
4×	unpow2 pow-to-exp pow-pow
3×	exp-sum acos-asin pow-sqr
2×	sinh-def associate-/l/ frac-2neg associate-/r/ fma-udef clear-num
1×	div-sub rem-exp-log rem-square-sqrt pow2 rem-sqrt-square pow-plus sqrt-unprod