Details

rewrite1.1s (0.4%)

Algorithm

27×	rewrite-expression-head

Calls

92 calls:

101.0ms	(sqrt (* (* (cbrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))) (cbrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))))
80.0ms	(* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
75.0ms	(* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
70.0ms	(sqrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))
59.0ms	(cbrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))

Rules

360×	add-sqr-sqrt
342×	*-un-lft-identity
329×	pow1
306×	add-cube-cbrt
175×	times-frac
168×	add-exp-log
153×	add-cbrt-cube
108×	sqrt-pow1
94×	expm1-log1p-u log1p-expm1-u
92×	add-log-exp
89×	unpow-prod-up
82×	log-pow
79×	pow-prod-down
72×	prod-diff
69×	exp-prod
59×	pow-pow
51×	unpow-prod-down
49×	pow1/2
48×	pow-unpow
47×	sqrt-prod
46×	cbrt-prod
45×	pow-prod-up
39×	pow1/3
35×	prod-exp
33×	cbrt-unprod
31×	associate-/r*
26×	log-prod
23×	pow-plus pow-sqr
22×	associate-*r*
18×	distribute-lft-out-- difference-of-squares
14×	fma-udef
12×	associate-*l* pow-exp
11×	pow2 sqr-pow div-inv associate-/l*
9×	pow-to-exp
8×	sub-neg rem-sqrt-square
7×	div-exp cbrt-undiv distribute-lft-in distribute-rgt-in *-commutative
6×	rem-log-exp sin-sum unswap-sqr sqrt-pow2 swap-sqr pow-sub
4×	associate-/r/
3×	expm1-udef frac-2neg pow3 clear-num
2×	sinh-def expm1-log1p associate-/l/ flip3-- flip-- log1p-expm1 acos-asin sqrt-unprod log1p-udef
1×	div-sub rem-exp-log exp-sum cosh-def sin-diff e-exp-1