Details

rewrite514.0ms (0.3%)

Algorithm

17×	rewrite-expression-head

Calls

52 calls:

50.0ms	(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))
47.0ms	(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))
45.0ms	(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))
36.0ms	(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))
32.0ms	(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))

Rules

238×	pow1
161×	add-sqr-sqrt
157×	*-un-lft-identity
133×	add-cube-cbrt
114×	pow-prod-down
109×	times-frac
101×	add-cbrt-cube
100×	add-exp-log
55×	sqrt-pow1
53×	expm1-log1p-u
52×	add-log-exp insert-posit16 log1p-expm1-u
26×	cbrt-unprod prod-exp
24×	cbrt-prod
21×	associate-/r*
15×	log-pow fma-udef
14×	sqrt-prod
12×	exp-prod distribute-lft-out-- distribute-lft-in difference-of-squares distribute-rgt-in
11×	pow1/2 associate-/l*
9×	log-prod associate-*l* associate-*r*
8×	pow1/3
7×	div-inv
5×	div-exp cbrt-undiv *-commutative
4×	acos-asin
3×	rem-log-exp frac-2neg associate-/r/ clear-num
2×	sinh-def associate-/l/ flip3-- flip-- unswap-sqr cosh-def
1×	div-sub log1p-expm1 log1p-udef