Details

rewrite1.2s (0.6%)

Algorithm

19×	rewrite-expression-head

Calls

58 calls:

159.0ms	(* (* U 2) (+ (* (* (- U* U) (/ n (/ Om l))) (/ n (/ Om l))) (* (fma -2 (/ l (/ Om l)) t) n)))
152.0ms	(* (* U 2) (+ (* (- U* U) (* (/ n (/ Om l)) (/ n (/ Om l)))) (* (fma -2 (/ l (/ Om l)) t) n)))
151.0ms	(* (* U 2) (+ (* (* (- U* U) (/ n (/ Om l))) (* (/ n Om) l)) (* (fma -2 (/ l (/ Om l)) t) n)))
88.0ms	(sqrt (* (* U 2) (+ (* (* (- U* U) (/ n (/ Om l))) (/ n (/ Om l))) (* (fma -2 (/ l (/ Om l)) t) n))))
70.0ms	(sqrt (* (* U 2) (+ (* (* (- U* U) (/ n (/ Om l))) (* (/ n Om) l)) (* (fma -2 (/ l (/ Om l)) t) n))))

Rules

398×	times-frac
389×	add-sqr-sqrt
333×	*-un-lft-identity
303×	add-cube-cbrt
205×	pow1
198×	add-cbrt-cube add-exp-log
132×	associate-*r*
59×	pow-prod-down cbrt-unprod prod-exp
58×	add-log-exp expm1-log1p-u insert-posit16 log1p-expm1-u
54×	sinh-def
51×	associate-*l*
44×	associate-/r* sqrt-prod
35×	div-exp cbrt-undiv
33×	frac-times sqrt-pow1
32×	associate-*r/
30×	associate-*l/
25×	div-inv
24×	unswap-sqr
23×	pow-prod-up
19×	pow1/2
15×	distribute-lft-out-- difference-of-squares *-commutative
14×	associate-/l* cbrt-div
13×	pow-plus
10×	flip3-- flip-- fma-udef
8×	log-pow distribute-rgt-in swap-sqr distribute-lft-in
7×	associate-/r/ pow-sqr
6×	exp-prod log-prod flip3-+ pow3 sqrt-div flip-+
5×	pow2
4×	frac-2neg clear-num
2×	rem-log-exp pow1/3 associate-/l/ rem-cbrt-cube acos-asin sqrt-unprod cbrt-prod
1×	div-sub rem-square-sqrt