Details

rewrite1.7s (1.0%)

Algorithm

19×	rewrite-expression-head

Calls

59 calls:

Slowest

513.0ms	(* (* n (* (/ l Om) (/ l Om))) (- U U*))
347.0ms	(* (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (/ l Om))) (/ l Om)) (- U U*))
192.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
87.0ms	(* (* (* n (/ l Om)) (/ l Om)) (- U U*))
84.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

Rules

360×	add-sqr-sqrt
303×	add-exp-log
297×	*-un-lft-identity
279×	pow1
274×	add-cbrt-cube
263×	add-cube-cbrt
210×	prod-diff
197×	distribute-lft-in distribute-rgt-in
149×	prod-exp
143×	cbrt-unprod
115×	pow-prod-down
97×	associate-*r/
89×	sqrt-prod
75×	associate-*r*
59×	add-log-exp expm1-log1p-u insert-posit16 log1p-expm1-u
58×	sqrt-pow1
46×	associate-*l*
39×	pow1/2
38×	times-frac
32×	flip3-- flip--
30×	frac-times
29×	div-exp
28×	cbrt-undiv
26×	sub-neg
24×	unswap-sqr swap-sqr
22×	sqrt-div
21×	pow-prod-up associate-*l/
17×	distribute-lft-out-- difference-of-squares *-commutative
16×	sinh-def
10×	associate--l+
9×	pow-sqr
8×	frac-sub log-pow associate-/r*
6×	exp-prod log-prod associate-/l*
5×	pow-plus
4×	fma-udef sqrt-unprod
3×	rem-square-sqrt pow2 rem-sqrt-square div-inv
2×	rem-log-exp associate-/r/ associate-/l/ frac-2neg cube-unmult acos-asin clear-num pow-exp
1×	div-sub pow-to-exp