Details

rewrite1.7s

Algorithm

17×	rewrite-expression-head

Calls

52 calls:

Slowest

201.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
199.0ms	(* (* (- (* (* -2 (/ l Om)) l) (* (* (* (/ l Om) (/ l Om)) n) (- U U*))) (* U 2)) n)
158.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
149.0ms	(* (- (* (* -2 (/ l Om)) l) (* (* (* (/ l Om) (/ l Om)) n) (- U U*))) (* (* U 2) n))
119.0ms	(* (- (* (* -2 (/ l Om)) l) (* (* (* (/ l Om) (/ l Om)) n) (- U U*))) (* U 2))

Rules

271×	add-sqr-sqrt
219×	*-un-lft-identity add-exp-log
209×	associate-*l/
204×	add-cbrt-cube
184×	pow1
179×	add-cube-cbrt
100×	associate-*r/
99×	associate-*r*
97×	prod-exp
88×	cbrt-unprod
84×	prod-diff
76×	pow-prod-down
73×	sqrt-prod
54×	add-log-exp associate-*l* distribute-lft-in distribute-rgt-in
52×	expm1-log1p-u insert-posit16 log1p-expm1-u
51×	frac-times
45×	times-frac
41×	frac-sub
39×	flip3-- flip--
31×	sqrt-div
26×	sqrt-pow1 unswap-sqr
23×	pow1/2
19×	*-commutative
17×	div-exp
16×	distribute-lft-out-- difference-of-squares
15×	cbrt-undiv unpow-prod-down
12×	sub-neg
11×	log-pow
10×	associate--l+ cosh-def
9×	exp-prod flip3-+ flip-+
8×	swap-sqr
6×	log-prod sub-div sqrt-unprod
5×	pow-prod-up rem-sqrt-square associate-/r* associate-/l*
4×	distribute-lft-out pow-exp fma-udef
3×	fma-def acos-asin div-inv pow-sqr
2×	rem-log-exp associate-/r/ sinh-def unpow2 associate-/l/ pow-to-exp sqr-pow
1×	div-sub rem-square-sqrt frac-2neg sum-log pow2 +-commutative pow-plus clear-num